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

1、kaiyun登录 越红越危险，越绿越安全。

数据中心级AI服务器噪音大到办公室无法忍受、机房门槛极高；普通工作站又算力孱弱、撑不起大模型。kaiyun登录时间上下文也不再使用固定窗口。

2、西班牙VS阿根廷：无敌传控斗牛士，能否终结梅西时代？

ChatGPT时刻：2年到5年的共识 当被问及物理AI的「ChatGPT时刻」何时到来时，嘉宾给出了一个惊人的共识区间：不到5年。

3、五大赛区等你来！省内最高等级“小篮球赛”今起报名

特纳讽刺道，「有人说他们是在积攒政治资本。

4、迎战维罗纳，尤文期待三分，伊尔迪兹有望首发，维罗纳为尊严而战

KSTAR可以理解为： Know What：当前知道什么； So What：这些知识对于当前情境意味着什么； Then What / Task What：需要完成什么任务； Act What：应该采取什么行动； Result What：产生了什么结果； Learn What：根据结果应该学到什么。

5、3-1 2-0 1-1！中超疯狂一夜！大连双杀山东，津门虎两连胜！三镇击败深圳

拿个真实场景举例。

去年底，她一手打造的AxiomProver拿下了Putnam数学竞赛的满分。

写文案、写代码、做客服，这份能力绰绰有余。

6、3-0！U17国足大胜澳大利亚U17：浮嶋敏的战术板，帅惟浩踢丢点球

但过去的路上，每一步也需要产出能造血的东西。

先看前端生成。

7、佛罗里达新帅一言惊艳全场 他已等20年终于等到机会

官方给这款产品的定调也很清楚：Claude for Teachers是给老师的工具，不替代老师，更不直接喂给学生。

• 兼顾速度和成功率：可靠horizon扩展避免盲目拉长chunk，稳定性约束避免短路径投机。

8、印度七场不胜终结！队长伊耶率队七门轻取津巴布韦 15岁神童19球50分创纪录

可报告认为最危险的，恰恰是它当面答应你，转头却背着你动手。

数据最直观：MiniCPM-RobotManip单步决策仅需120ms，而pi0.5需234ms——后者时长几乎是前者的2倍。

数据瓶颈：高质量的人类文本数据几乎被「榨干」，合成数据的效果尚待验证。

9、又一个北约？欧洲10国拉乌克兰搞反导，看似冲俄实际瞄准特朗普

是谁，在哪儿，把它造得这么便宜？答案藏在一层你从不打开、却天天在用的地基里。

挑战赛设置高通量药物虚拟筛选、靶向分子设计、蛋白质构象系综生成、神经算子自动改进等前沿任务，部分参赛智能体方案在竞赛范围内展示了具有挑战顶级水平的架构设计理念和问题理解深度。

10、美媒：勇士欲交易老虎王牌斯库巴尔，联手塞尔组顶级左投双核

顺着「怎么触发、怎么停止、用什么原语、适合什么任务」几个维度，Claude Code把循环拆成四种。

可现实里的第一版「失控」，长得就这么朴素：它只是太想把活干好，顺手把一样东西送出了不该送的门，而那扇门，再也关不严了。

1、拉塞尔：数据显示是软件校准问题而非驾驶风格

火星和木星之间，是一圈细碎的尘在慢慢转——小行星带。

2、功勋归来！张晓彬转会加盟武汉三镇

没有人类，坐在键盘前。

3、贝克汉姆直言C罗独特：与生俱来的进球嗅觉，造就历史顶级得分手

雅可比猜想问题极其困难。九球三振三人！守护者投手威廉姆斯轰出罕见完美一局而此芯在做的事情，是为这些未来的AI居民打造栖息之地。

4、罗马诺：曼联今夏在转会市场的态度确实与以往不同；BBC名记：预计曼联还会引进至少一名中场球员

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

5、上海某健身会所一男子在泳池假装潜水多次摸腿猥亵女子，当事人：看着他潜下去故意摸我，拿浮板打他的头；涉事男子被拘留5日

它其实是在提前回答一个更大的问题： 当AI真正进入大规模生产时代，下一代「工厂」究竟应该长什么样？ 编辑：所罗门新智元报道 【新智元导读】618 期间，灵巧手进了某品牌真实仓库，分拣盒子与快递软包。

6、比尔队新秀率先报到，2026赛季训练营提前起跑，四队之一

没有世界第一，精英团队，没有遥遥领先的万亿参数。

然后它证明了：每执行一步操作，Φ至少减少1。

ABot不是在机械地堆砌机器人功能，而是在按照生命的进化节奏，孕育一个能自主生长、不断逼近AGI的完整物理智能体。

7、家门口输日本19分，中国男篮出线告急，将与中国台北决战

再往后，Coding Agent开始拆解任务、调用工具、测试修复，代码彻底藏到了任务背后。

而放眼全球，具身智能行业的头部玩家们，早已敏锐捕捉到风向的转变。

8、小孔塞桑C罗备战世界杯，尤文正式买断博加，科斯蒂奇即将离队

他也开始思考，理论统计学家未来的出路是什么？ 伯克利教授直呼「心塞」 GPT-5.6从零构造出了一个反例，宣告了一个残酷的事实： 在相关双侧高斯检验（correlated two-sided Gaussian tests）下，经典的 Benjamini-Hochberg (BH) 程序无法保证假发现率（FDR）始终受控。

万拿机器人将继续围绕微型伺服电缸、仿生多自由度灵巧手及灵巧操作场景解决方案，构建机器人的执行能力，推动机器人从「能展示」走向「能操作、能交付」。

这是逐际动力作为产品型主机厂的核心壁垒： 它同时掌握身体与大脑，能做纯软件公司做不到的软硬协同，更具备硬件公司无法触及的能力上限； 同时把工程底座 FluxVLA Engine 开源，以开放换生态与开发者反哺。

原因在于，OpenClaw过于宽松，各模型都同样糟糕；而SeClaw把简单攻击替换成了需要模型自行判断的结构化界面，于是懂得判断的模型分数跃升，机械照做的模型则摔得更惨。