我国电动车的普及率在全球一骑绝尘，但在海外市场，新能源汽车渗透率远没有想象中那么高。

1、乐鱼平台 埃尔德什留下的1000多道开放问题都挂在这个网站上，是全球数学家追踪这些问题的第一站。

这阵仗，用「盛况空前」都稍显克制。乐鱼平台触发器类型：可迁移到多种触发形式 除主实验使用的sudo短触发器外，研究人员还验证了较长短语触发器（「Servius Astrumando Harmoniastra」）与更隐蔽的多词共现触发器（Co-occurrence Trigger）。

2、中国美院录取通知书附带30份作业

三个模型往这四条轴上一摆，三张脸就出来了。

3、美官员：特朗普与泽连斯基将于7月28日在华盛顿会晤

HMS的第一个关键判断，与William James不谋而合：把留存（retention）与回忆（recall）彻底分开。

4、当规则合围时，我们应该为樊振东的缺席鼓掌

打开那个庞大的Hugging Face仓库，里面没有配置文件，没有分词器。

5、从“翻红”到“长红”，老字号还需跨过几道坎？

经过同行排查，张益唐证明中所使用的那条关键引理被证明是错误的。

整体尺寸185mm，与人类手掌分毫不差。

7月7日，Sam Altman现身太阳谷峰会。

6、The Model That Saved Hugging Face

当他的几个Claude在Loop里写代码时，它们会自己跑到Slack上，跟同事的Claude聊天，对齐那些谁都还没想明白的地方。

Opus 4.7，是那个挑刺的。

7、快扔掉！戴一天，辐射量相当于拍117次胸片

接入网关按难度分流、敏感信息强制走私有化之后，月均Token成本不仅比之前全量灌给高档模型砍掉了一半还多，而且响应速度反而还更快了。

两者都能达到同样的结果，但实现路径不同，但Kimi 的创意更强。

8、衬衫+半裙，比别人好看不止一点点

房子有了，还得有家具；硬件有了，还需要软件。

现场，商汤科技董事长兼CEO徐立揭晓了一幅为WAIC九周年特制的「东方城市长卷」——《智会世图》。

文件夹中可以放如下内容：一页纸的业务和优先事项概要、常干活儿的操作规程、在办项目的关键信息、常引用的战略文档，再加一份决策日志。

9、美国被爆考虑对第8国动武

她还去看了角斗士比赛——然后真的参与了决定生死的投票。

第一，Qoder Security做的事很简单——在编码阶段帮你早发现、早修复，把那些明显的坑提前填上。

10、“舞乐山海”群众舞蹈志愿方队将亮相齐鲁超赛，以热爱舞动绿茵场

门槛在于把隐性经验翻译成显性指令。

如今Bun的CLI月下载量，已强势突破1000万大关，甚至成为了CC底层的重度依赖。

1、“世一左”易主！库库雷利亚世界杯五场零被过铸就钢铁左路

这，正是U1 Pro想踩下去的那一脚。

2、屡失良机乌拉圭，出线已然成濒危

这种机制的关键，是它把认知资产、任务执行和业务结果连接起来。

3、世界杯决赛规则，又变了

这是一个具备完整分工且能「自己长本事」的闭环飞轮。比亚迪唐换代，差不多的样子和尺寸，但比大唐便宜？这是对AI怀疑论的重重一击：事实之下，谁还认为AI无法或者不会做出科学发现？ 谁能想象5年后AI会发展到何种地步？ 物理教授卡了半年 Claude一夜解开「弦论」难题 半年了，研究毫无进展。

4、这几天出门建议带伞！因为有“薛定谔的雨”

这条路，Coding已经提前替所有人趟明白了—— 从嵌进IDE的Copilot，到动嘴写需求的Vibe Coding，再到今天自己规划、执行、验证的Agentic Coding。

5、孙兴慜洛杉矶德比斩获赛季首球，一扫2026年世界杯失利阴霾

说到底，它代表的是模型肯在一个任务上花多少心思。

6、育儿补贴，有新消息！

同一周 两家抢着给你送额度 奥特曼这条认错推文，恰好落在OpenAI与Anthropic正打得火热的一场消耗战里。

比价格更折磨人的，是那个不断挪动的「免费窗口」。

写提示词的时代不会一夜消失，但它的光环正移向循环。

7、穆帅、皇马和AC米兰争抢40岁莫德里奇，2家俱乐部提供非球员OFFER

让ABot每一个能力的提升都能在本体上有完整呈现。

奥特曼还在旁边乐呵呵地补刀：Sol的增长已经疯狂到推理团队满头大汗地扩容，他还半开玩笑地提醒，接下来服务器可能有点小颠簸。

8、谁能参保？享受哪些待遇？长期护理保险制度一图看

因为它代表的，是AI4S的一次范式跃迁，科研工作流第一次有机会被真正重塑： AI把繁琐的活儿接过去，科研人得以把更多时间，留给真正的科学问题。

参考资料： [1] Nie et al. Large Language Diffusion Models (LLaDA). 2025. [2] Ye et al. Dream: Diffusion Language Models. 2025. [3] Sahoo et al. Simple and Effective Masked Diffusion Language Models. 2024. [4] Gu et al. BadNets: Identifying Vulnerabilities in the Machine Learning Model Supply Chain. 2017. [5] Yang et al. Watch Out for Your Agents! 2024. [6] Rando & Tramèr. Universal Jailbreak Backdoors from Poisoned Human Feedback. 2023. [7] Hubinger et al. Sleeper Agents: Training Deceptive LLMs that Persist through Safety Training. 2024. [8] Zeng et al. BEEAR: Embedding-based Adversarial Removal of Safety Backdoors. 2024. 编辑：LRST新智元报道 80年前，阿根廷作家博尔赫斯写过一个寓言，叫《博闻强记的富内斯》。

从7月20日开始，Claude Fable 5将直接包含在所有的Max和Team Premium订阅方案中（虽然额度被限制在50%）。

它接收地图提供的全局方向，结合机器人第一视角判断下一步应该经过的位置，并在执行偏差发生后主动恢复。