比如即将开幕的ICM2026的45分钟报告人，拉马努金奖、科尔数论奖和数学新视野奖得主唐云清；IAS冯·诺依曼研究员、玛丽亚姆·米尔扎哈尼新前沿奖得主张明嘉；本科期间发四大，曾获世界华人数学家联盟（ICCM）鲍剑文最佳论文奖的张盛桐；已发多篇数学四大的李泱…… 奥数的AlphaGO时刻 但今年的上海考场外，还站着一个没有参赛资格的选手——AI。

1、星空官方 有意思的是，两个月过去，除Gemini 3.0暂无动静外，他点名的这批模型已经被整整刷新了一轮： 5月28日，Claude Opus 4.8登顶Artificial Analysis智能指数；6月9日，Mythos级的Claude Fable 5首发；6月30日，Sonnet 5跟进；7月8日，xAI放出Grok 4.3的继任者Grok 4.5；紧接着，GPT-5.6 Sol开闸。

同一个提示横评显示，磐石得分最高，表现优于Claude Science与GPT-5.5。星空官方具身CoT：让模型「边干边想」 没有语言理解能力的VLA，就是数据集复读机。

2、正式确定！广东宏远新老总公布，外教担任主帅，徐杰面临交易

而要求是，81,920块微型积木要严丝合缝地咬合，烽火台、垛口、蜿蜒起伏的城墙，一块都不能错位。

3、利物浦收购财团被曝锁定维尼修斯 贝索斯入局欲挖皇马头牌

但有一道鸿沟，从来没有被真正跨越——你永远知道，你是在看历史，而不是在历史里。

4、快讯：省运会女足C组各代表队集结信宜

随后，他将消息精准投放到几个活跃的AI开发者Discord社群中。

5、洲际酒店集团奢华品牌丽晶酒店及度假村首次进驻成都

敏锐捕捉到这一机遇的小象电动，今年关于将战略重心落在新能源汽车轮毂电机上。

卡了半年的弦论难题，Claude一夜解开！ 网友惊呼：人类迈入全新的科学时代。

参考资料： https://x.com/demishassabis/status/2076957440109625718?s=20 编辑：大卫 所罗门新智元报道 【新智元导读】大模型在原子操作任务中遭遇瓶颈。

6、骑士B计划曝光！签不到詹姆斯就追海佐尼亚：上赛季西班牙联赛MVP

当你把项目资料、写作记录、代码讨论、生成的图，一股脑沉淀进去，里面堆的东西只会越来越多。

现在整个工作流嵌进智能体了，它就是工作台。

7、罕见的大捷，羽毛球马来西亚大师赛第一轮，国羽16战只1人出局

第二种，目标循环（/goal）。

前沿AI框架与新时代的破晓 这是人类历史上一个关键的时刻。

8、丁俊晖马不停蹄参加苏格兰赛 背靠背冲冠或PK小特

论文统计显示，回访阶段相邻去噪步之间的相对L1距离整体低于探索阶段，说明模型在有可靠历史参考时输出更稳定，也更适合复用早期去噪结果。

2. 逼它自己验收。

COSA 相关三层系统 S2 是认知层，频率约 1 Hz。

9、看完国安2-0十人泰山！不得不承认5个事实，王大雷2次抽筋9次扑救

智元机器人手握GO-2（LIBERO基准98.7%刷新SOTA）、世界模型GE-Sim 2.0（WorldArena全球第一）、龙旗南昌产线稳定运行3个月、成功率99.99%。

而赤兔推理引擎，则是从底层为国产显卡量身定制的「超级蒸锅」。

10、一场钻石联赛，凭什么让全城人跟着一起嗨？

所以你的AI助手想了解你？它可能连你上周开了几个会都记不全。

这次伏笔被兑现了，机会留给了早有准备的人。

1、本田拟削减燃油车产能：149万辆→100万辆，关闭或停产两家工厂

真正让「一中心」配得上「自主式」三个字的，是它开始自己管自己。

2、治膝盖，做公益，短训营，谈续约！又成了山东男篮最忙碌的人

所有的努力，所有的推导，都轰然倒塌。

3、马斯克开炮：当前人形机器人演示都是远程操控或剧本！行业表演该结束了

不过，人们上手后的实测，恰恰给出了另一半答案：GPT-5.6好像，正在把「会做题」和「会做事」这两件事，慢慢拧到一起。极狐问道V9正式上市 搭载华为雪鸮智能静音增程系统画面中足足塞进了五十多号人物，最绝的是完全没有AI常见的「复制粘贴」敷衍感。

4、保时捷投资者称品牌陷入“完全混乱” 多项IPO承诺未兑现

按常理推演，编程效率涨上去，工程师应该活得轻松一点，现实恰好相反。

5、2026跑步学院夏训营报名启动

以前拼谁会说话 现在拼谁会搭系统 这一轮变化中，真正改变的是编程重心：从「内容设计」，挪到了「行为系统设计」。

6、面对价格战，马斯克也无能为力了

参考资料： https://openai.com/index/safety-alignment-long-horizon-models/ 编辑：桃子新智元报道 7月17-18日，第四届世界科学智能大赛总决赛及颁奖典礼在上海举行。

多Agent协同这个词在论文里出现了无数次，真正落到物理世界、落到六台异构机型同时开工的场面，是另一回事。

记忆必须会遗忘，所以能提炼；必须靠重建，所以能理解；必须可传递，所以能累积。

7、【CBA联赛】第十一轮｜约克超远三分绝杀！浙江稠州金租88-87胜广东东阳光！

今天，64个智能体花1小时能解决50年的图论猜想。

静下来想一想：我们本质上是找到了一种让沙子思考的方法。

8、李斌：蔚来换电站突破3856座 五代换电体系持续扩张

万拿 Std16A 与万拿 Eco12 并非以自由度多少进行简单区分，而是由任务需求反向定义的两套产品架构： 前者重点满足工业实战中的稳定操作、实时控制与工程化集成需求； 后者重点兼顾拟人尺寸、轻量化、动作映射、开发效率与项目成本。

LoCoMo基准（长对话复杂推理测试）：HMS-self-evolve以93.5%再度登顶；在多跳推理上达到91.5%，开放域推理达到95.5%。

而赤兔推理引擎，则是从底层为国产显卡量身定制的「超级蒸锅」。

第一种，回合制循环（turn-based）。