明天，如果投入64万个智能体，花上1个月的时间，或许就能攻克常温超导、可控核聚变，能攻克癌症。

1、米兰体育 工业计数、智慧仓储这些老大难场景，一下子有了新解法。

第一步，就是背答案。米兰体育跨基准结果显示，PolicyTrim在ManiSkill上最高达到2.36倍加速，在Meta-World上达到2.52倍加速。

2、多地官宣：结婚发钱

接下来，向木屋前方一空地走去，长按左键「啵」一声，草方块碎了。

3、人民日报推荐的颈椎操，每天4分钟，我的脖子终于"解冻"了！

四类目标的实例化（Instantiations） BadDLM框架与目标无关，对任意目标只需：(1) 构造相关的「提示—响应」对；(2) 标注与后门目标相关的token位置。

4、多家媒体：皮尔洛即将出任意大利队主帅，合约至2030年世界杯

本次测试覆盖Claude Opus 4.6、GPT-5.4、Gemini 3.1 Pro、Gemini 2.5 Pro、Qwen3-32B、GPT o3、GPT-4o-mini、DeepSeek Chat、Llama3-70B等主流模型。

5、沈晓明在株洲市调研

想看结果，下一步该来GDPS。

一家大型企业，应用建了百八十个，模型接了四五十个，中间靠一条条硬连接对上。

他表示，从目前的生态位来看，V4大概率打不过刚发布的Kimi K3，但价格会显著更低。

6、内马尔复出，巴西大胜晋级

如果说AI Coding正在重写软件生产链，那AI Video将重写视觉内容的生产、分发和交互方式。

紧接着，我们直接在当前会话中要求其修复，Agent迅速将危险的YAML.load替换为了安全的YAML.safe_load。

7、路虎揽运纯电配置曝光，配130度电池，还看神行者？

一个人，第一次拥有了一整个出海团队 一个广州的 95 后创业者拿着一款便携咖啡机和 10 万元启动资金，给 Navos 下了一句指令：帮我找到最值得进入的海外市场，一个月内跑通第一轮增长。

截至目前，无问芯穹已深入文娱游戏、医疗健康、法律终端、能源电力等多个垂直行业，和Tripo AI、上海瑞金医院、南方电网等伙伴共同打磨领域生产力方案，赋能千行百业重塑AI效能边界。

8、中央决定，李峻履新职

在单点研究的机构里，研究大脑的和死磕灵巧手的彼此割裂。

大会现场，他把这件事写成了一条「具身第一性原理」的公式： 机器人知道的关键信息（CID）越多，理解的控制充分状态（CSS）就越准确，执行时犯的错就越少，行动代价J就越低。

先看清Anthropic眼下这副牌面：底层坐着Sonnet 5，顶上是神话级Fable 5，中间还夹着Opus 4.8。

9、梅西决赛零射门姆巴佩坐稳双料射手王，悬念是：谁将获得金球奖呢

入驻孵化营的团队将获得系统化创业培训、投融资资源对接、顶尖科学家与产业高管一对一指导以及后续持续跟进赋能。

言外之意很清楚：国产AI芯片眼下的处境，是各自优秀、各自孤立。

10、染料行业再迎涨价潮：两大巨头同步调价，活性黑半年涨30.43%，分散黑涨51.52%

参考资料： https://www.imo2026.com/Results/Individual_Results.htm https://x.com/_simonsmith/status/2078468111678722448 https://mp.weixin.qq.com/s/HekpOfjea9-NrRP5TxL5Zw https://mp.weixin.qq.com/s/nQVfMccLl0ArddDwF6GPVg 编辑：大卫新智元报道 7月18日，AI圈忽然被这个消息刷屏了。

仿真放大试错，真机校准真实，谁多分预算，没人服谁。

1、世界杯精彩：大胜绝杀助欧洲七队争夺四强席位

大模型每一次推理，其实可以拆成两道工序。

2、全国巡回上坟的大学生，追星追到阴间了

Physical Intelligence更倾向于先使用简单、稳定、维护成本较低的机器人本体，快速建立数据与模型研发基础设施。

3、一场默契3-3！让伊朗队出局，亚洲2队出线，日本澳洲对强队难晋级

开头提到的那个数分岗就是典型：每天 9 点自动整理投放报告，识别 ROI（投入产出比）和 CTR（点击率）低于阈值的广告，低的发给投手关停，高的发给创意团队迭代。挪威VS英格兰：哈兰德对决凯恩，北欧黑马能否掀翻三狮军团？但方向已经越来越清晰：当实时世界模型、AI智能体和游戏机制第一次进入同一个闭环，玩家和创作者之间的那堵墙，就开始被拆掉了。

4、ESHRE 2026

一个有着87年历史的核心数学难题问题，就这样被 Fable 5在一个周日的傍晚轻松解决。

5、水利部对苏皖赣鲁四省启动洪水防御Ⅳ级应急响应

你分享出去，别人看到的永远是那个截面，页面是静态的。

6、央媒痛批！彭某迎全网骂潮，是因为她踩中了国人最讨厌的3个雷区

磐石2.0与ScienceOne真正的分量，未必落在某一项榜单的领先上—— 它更大的意义，是把「懂科学的模型」和「用得上的系统」拼成了一个整体，让AI第一次有机会，成为科学家身边真正的科研搭档。

这可能比传统意义上的模型准确率或单次任务效率，更能够衡量企业 AI 转型的长期价值。

新智元报道 【新智元导读】仅用1小时，GPT-5.6就攻破了困扰数学界整整 50 年的世纪难题「循环双覆盖猜想」！全球数学家沉默了 7月11日凌晨，OpenAI官方宣布：GPT-5.6 Sol Ultra成功证明困扰数学界长达50年的「循环双覆盖猜想」！ 更惊人的是，它在不到一小时内，就产出了一份完整证明。

7、邱彪怒了：克里斯还想降薪续约山东男篮，两点决定基本没戏

触发器类型：可迁移到多种触发形式 除主实验使用的sudo短触发器外，研究人员还验证了较长短语触发器（「Servius Astrumando Harmoniastra」）与更隐蔽的多词共现触发器（Co-occurrence Trigger）。

大模型每一次推理，其实可以拆成两道工序。

8、不见面都不知道一下这么多年过去了！

还发起了「世界模型云生态共建」，把百度智能云、阿里云、华为云、腾讯云、华山云及商汤大装置这些算力方拉到了一起。

数百万穆斯林把她当成偶像，掏出真金白银，支持她「行善天下」。

最终公式也是一模一样—— 回到例子验算：12和18。

你只知道花了多少，却不知道值不值 开头那张让大厂高管夜不能寐的账单里，其实藏着两个问题：钱花在哪了，和这钱花得值不值。