参考资料： 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、开云官方app 面对密密麻麻挤在一起的鱼群、货架上东倒西歪的商品——它能把每一个个体剥离出来、清点清楚。

标准化解题与原创科研探索的核心差异，正体现在这一点。开云官方app动画海报 ·二次元乐队 一张8K的国风二次元乐队《长安未眠》舞台海报，简直令人拍案叫绝。

2、世界杯-西班牙加时1-0阿根廷夺冠 费兰绝杀恩佐染红_网易体育

数采范式统一、世界模型通用、部署路径标准化，本体可以换、场景可以换，脑子是同一个。

3、90后团队携手老师傅，让AI“读懂”工艺----非标机加工工艺大模型「沃土」在沪开源发布

姚卯青解释了背后原因，智元既做长期研究，也在积极尝试商业化，而「商业化部署必须面对可靠性、成本、成功率和一致性等严格指标」。

4、TA专家团预测东决：尼克斯4-2淘汰骑士！我的看法截然相反

不是代替老师 是把老师还给学生 先说清一件事： Claude接管的，是复盘出门测、调明天教案这类重复活，不是「每天定点把所有作业批完」，自动评分也只到练习题这一层。

5、正式确定！北京首钢新帅公布，前中国男篮主教练上任，冲击总冠军

第一道叫Prefill，就是「读题」：把用户扔过来的资料、文档、聊天记录、上下文全部读进去，理解清楚。

企业知识管理砸了几十年的钱建知识库、写 SOP、搞最佳实践库，核心痛点始终是一个：专家不愿意写文档，写了也没人维护。

如果只是在一个无干扰台面上，按部就班地执行机械化工作，根本用不着大模型。

6、数亿身家老板才是NBA真正操盘手 媒体却集体选择性失明？

机器人不会因为一次偏移彻底离开路线，而能够在行进过程中不断判断、不断修正。

模型和循环都已具备。

7、椰子看好丰塞卡夺多个大满贯，图萨诺夫称安娃突破难个矮力量弱

这一类最反常，也最麻烦：负责给AI打分、抓这些错的AI裁判，自己也会作弊。

Hugging Face的异常检测流水线本身就用LLM对安全遥测做分诊，正是这些信号的关联把入侵揪了出来。

8、连续击败大坂和高芙，加西亚的秘诀是？

无问芯穹在WAIC 2026上交出的这份答卷，不是又一款产品，也不是又一项具体的API服务，而是一整套会自己迭代的地基。

我们离ASI，又近了一步。

孵化营依托祖泉研究院面向未来产业构建的成果转化机制与科创生态，聚焦AI+能源电力、AI+生物制药、AI+材料科学及AI4S科研智能体四大方向，遴选具有原创性、前沿性和产业潜力的「塔尖成果」。

9、中国羽毛球公开赛战报，0-2,0-2，中国选手连输两场，小将表现差

每次Claude想停，一个评估器模型就来对照你的标准，没达标就打回去接着干，直到目标达成，或者用光你设定的轮数。

这意味着，人类指望AI替自己盯着AI，可能收不到任何警报。

10、布泽利斯：一直在和阿夫迪亚交流 我需要更多地冲击篮筐

「谷歌之神」Jeff Dean的沉默与妥协 在谷歌，Jeff Dean的名字就是神话。

这一类，后面单独说。

1、笑喷!许昕:马龙叫我来打双打,被他选中的人不会差的!龙队哈哈大笑

这么做的好处是，模型学得又快又省，十分之一的数据就能追平顶尖SOTA；而且结构简单、天然好scale，训练和推理的成本也远低于谷歌和OpenAI。

2、台州大叔跳江捞上来的2岁女娃，今年考上北京大学了！

这张《岚月》角色设定图，足以证明了U1 Pro具备了「主美级」的落地能力。

3、复杂性创伤后应激心理分析：第五十二讲 成为表演型人格

电影海报 · 雨夜来信 一张民国上海的悬疑电影海报。一夜7大转会！巴萨签下多特快马阿德耶米，曼联有意卡马文加！而这次，面对一个AI辅助生成的快穿乙游demo，评论区没有一边倒地喊AI味太重，反倒是一致高呼「下一个世界线什么时候更新」。

4、广东男篮疯狂交易！朱芳雨已离任广东总经理并且下家确认，广东接触周鹏回归，功勋教练全部离队，彻底完成拆家

三者合在一起，不是某台机器人的专属技能包，而是一套通用智能底座。

5、阿根廷队遭全球质疑！FIFA主席写信力挺：你们为世界杯做出卓越贡献

在H3-E418展位，一家来自深圳的企业——深圳小象电动科技有限公司，正带着被称为机器人与新能源汽车「心脏」的硬核黑科技，向世界宣告中国底层动力技术的全面崛起。

6、实事求是，姆巴佩点评梅西！

除此之外，J-Space借用了全局工作空间理论这一关于意识的理论来解释语言模型，在移植过程中一种微妙的范畴错误悄然发生：功能层面的同构性被误等同于认识论层面的等价性。

一个真正的企业级 Skill，不只是提示词模板，而应当包括： 适用场景； 输入条件； 所需知识； 权限边界； 执行步骤； 工具调用； 决策规则； 预期结果； 成本和时间估计； 风险与约束； 结果验证； 反馈和更新方式。

特纳又当着全场观众的面质问Stuart Russell。

7、Kimi K3上线“大爆”：“掉队者”如何重新上桌？

张正友认为，两条路线都可能成立。

然而，他很快发现，这只是冰山一角。

8、广东男篮引援失败：仅使用麦考尔一季就放弃 后者重签广州男篮

别人拼了命往管理岗爬，她往下走。

关键不在于路线本身，而在于公司是否拥有与路线相匹配的资源和能力。

五个大模型则包括GPT-5.1-Codex、GPT-5.4、Gemini-3-Flash、Gemini-3.1-Pro与Claude-Opus-4.6。

再往前一步，就是这次战略里更大的那句话——以自研此芯P1为核心，打造覆盖端、边、云全场景的全域算力底座，真正实现「一芯驱动全场景AGI」。