参考资料： 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、九游体育 VLA在做，世界模型也在做，这完全不冲突。

最快本周、最迟下周，就会正式亮相。九游体育「越用越懂你」必须建立在数据可控的基础上。

2、热刺季前赛阵容公布：本坦库尔等三人缺阵，新援悉数入选

先上手，感受一下什么叫 「懂你的上下文」 说再多概念也不如亲手试一把。

3、小恩哈特哽咽发声：我把他当家人，他却可能要离开纳斯卡了

这才是整场地震真正的震中。

4、意外！北京国安戳破中超外援人数天花板：全队8外援+1非血缘归化

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

5、北交所债券市场再“上新”，首单信用增进公司债券发行

参考资料： https://x.com/thsottiaux/status/2076495156757577895 https://x.com/FixlationAI/status/2076469274441380349 https://www.reddit.com/r/codex/comments/1uuy5eq/nerfed_codex_sol_max/ 编辑：元宇新智元报道 【新智元导读】刚刚，AI编程圈干了一件狠事。

值得玩味的是时机。

我们必须抓住AGI到来之前这扇珍贵的窗口，把这项技术塑造成造福全人类的力量。

6、毛主席屡次亲自挽留阎锡山，他为何执意赴台？原因仅有两个字

过去二十多年，你把数据、隐私和流量让渡出去，换回免费的互联网内容和服务。

不存在「我用Claude-opus跑分、你用小模型跑分」的注水空间。

7、韩国国足主教练遭死亡威胁，警方严守机场

上述局限指向一个共同的症结：J-Space乃至整个以神经网络为焦点的可解释性研究，始终将「模型本身」作为解释的唯一对象，问题的起点和终点都是模型。

他用一个周末，把一套Python代码库迁成了16.5万行TypeScript，主体部分消耗约2700万token。

8、离石召开“两违四乱”专项整治工作推进会

HMS强的地方，恰好是相似度检索最弱、而人类回忆最擅长的地方：把散落在不同时间、不同情境里的线索，重新接成一条完整的证据链。

对于材料建模而言，语言推理能力、文本知识储备和原子级结构行动能力之间，不能直接画等号。

而创意验证被前置，让创作者可以迅速把概念抛向市场，听到核心用户的反馈。

9、“梗王”哈兰德凭什么“出圈”？

Frozen v2是折中版：不烧权重，只固化架构。

原本这些活儿，都得你在一个个工具之间来回切、把数据一段段复制进对话框。

10、世界冠军博林确认腹部拉伤告别本赛季，全美锦标赛前几天无奈退赛

2. 逼它自己验收。

端侧模型的速度是最直接的体感。

1、巨星表现！凯恩绝境双响率队晋级 赖斯：太疯狂简直不可思议

约束：只看认证和数据校验两块，别碰生产配置，发现问题别自己动手改；每条只说一次，别翻来覆去强调。

2、49人训练营看点：外接手考因速度优势显著或将脱颖而出

因为，早在2018年，Jeff Dean就曾公开签署过一份著名的《反对致命自主武器誓言》，承诺「绝不参与或支持致命自主武器的开发、制造、交易或使用」。

3、机车骑士邂逅漳县20℃云端秘境

在前狼后虎的夹击下，Anthropic的下一张底牌，终于藏不住了。新品丨26-27赛季曼联球员同款训练服、POLO、赛前热身服审慎0.24σ，深度0.23σ，是模型层面所有数字里最大的两个。

4、散件残骸拼出准新皮卡：5.3升V8仅跑496英里，底盘配置拉满

对苹果来说，迟到的代价已经写在财报里。

5、东北超·整一口丨辽宁德比，没有输家

权限越大，智能体就越像一个你信任了很久、却可能在某天突然反水的内部员工。

6、曝曼城正谈判18岁法甲硬汉中场，上赛季42场1助攻，合同至2029年藏变数

首先，是CoreWeave发布了一款服务于「AI研究与迭代」的智能体——ARIA。

更能得分，还更便宜——这正是「每块钱买到多少活」想证明的东西。

一个几乎被行业默认接受的共识是：只要模型足够大、数据足够多，能力就会持续涌现，甚至自动泛化到未知的领域。

7、打脸切尔西！阿森纳放弃 1.2 亿英格兰水货，硬抢世界杯冠军神锋

在数据端，相比纯模型驱动的厂商在实验室里死磕合成数据，高德背后是积累了二十年的庞大时空基座。

上午9点，该团队照常开工。

8、王牌主帅抗议时脚下一滑直接倒地，起身后继续跟裁判理论

同时，团队还采取了算子融合的方法，将其在NVIDIA H20上的推理帧率进一步提升至36.77Hz。

哪怕是专为防御而生的SeClaw，也仍留有不小的攻击面；哪怕是最稳的配置，也仍有约五分之一的任务被攻破。

加速技术验证与迭代落地，有效解决实验室分拣痛点，全面提升自动化效率。

模型主权解决的是推理资源控制权。