执行这场挑战的，是原力灵机最新一代具身通用基础模型——DM0.5，全程自主执行。

1、BOB足球 到今天，这套系统已在全国部署触达超37000P算力、覆盖16种主流芯片。

发布会上，孙文剑正式发布AGX Agentic Compute战略。BOB足球不是野蛮，只是——那就是他们的生活。

2、“镐山”，特朗普的下一个目标？

J-Space研究的根本取向是内在主义的——它将可解释性的核心问题设定为「理解模型内部发生了什么」，试图像神经科学家用fMRI扫描人脑一样，用J-lens扫描语言模型的神经活动。

3、这个暑假，新疆将新增多条航线

AI 已熟练掌握高效编码、标准化解题的能力，但在未知领域的自主探索、原创科研创新上，仍存在明显短板。

4、讨厌冬天的第一大理由，是它

彭博社的一则独家报道如同一盆冰水，浇灭了所有人的热情：Gemini 3.5 Pro发布延期了，而且不是延期几天，是数月的大延期！ 本该是载入史册的发布，被谷歌自己按下了暂停。

5、曼恩2026年上半年销量增长8%，电动车型增速更为强劲

晓途：一脑多形，7×24小时在岗 它依托通用智能大脑（Agentic AI），同一个脑子能适配多种形态的四足机器人本体，室内外无缝衔接、动静态避障、多机协同调度，全程无需人工干预。

配文下方，是一个简洁的数学公式。

跨基准结果显示，PolicyTrim在ManiSkill上最高达到2.36倍加速，在Meta-World上达到2.52倍加速。

6、石河子大学吴新锋教授不幸去世，年仅43岁，绝笔信曝光

就这样，游戏行业最沉重的试错成本和管线门槛，一下子被打掉。

一种是烧进模型权重里的知识，它读过的大半个互联网，凝固成了先天常识，像一部无比渊博却再也不会更新的百科全书。

7、早上8点 世界杯打响2240米高原对决！东道主冲8强+百年纪录

因为一个亲手宣布旧规矩死亡的人，接下来要做的事只剩一件——去立新的。

另一项覆盖数百万次美国数学互动、跨度十年的研究也指向同一个结论：聊天机器人一来，题做得更快，学得却更少。

8、世界杯：西班牙2-0法国！时隔16年再进决赛，波罗破门+姆巴佩哑火

而具身智能这两年最深的一道坎，恰恰是高质量数据的稀缺与割裂。

第一个把「会传递」写进协议底层的人，Shadoweave已经在路上。

不过，也有人从这波狂飙里嗅出了别的味道。

9、詹姆斯父子再同队难度暴增！湖人不愿轻易交易布朗尼 除非有重磅筹码

接上MCP之后，Claude不再只会回答问题，而是能查数据库、读邮件、建任务、调企业系统的API。

Physical Intelligence、Genesis AI、Dyna Robotics、Sunday Robotics等海外明星机构，与智元、清华大学、腾讯Robotics X等学术与产业力量同台，一众具身智能核心人物悉数到场。

10、太适合广东队！CBA休赛期又一后场“大鱼”，或被朱芳雨捡漏？

正是依靠该机制，智能体在比赛中复盘多次动力学模拟的失败后，自主识别出问题不在主链构象，而在全原子侧链冲突，于是将优化重点转向侧链物理修复。

参考资料： https://x.com/elonmusk/status/2079758604656316619 https://x.com/heavypulp/status/2079629058287997221 https://www.mediaite.com/media/entertainment/elon-musk-teases-ai-generated-odyssey-to-take-down-chris-nolans-woke-blockbuster/ 编辑：所罗门新智元报道 2026年世界人工智能大会，上海世博展馆人声鼎沸。

1、看着特别真诚，结果全是演的！组织严密，话术极具针对性，警方出手：团灭，更多细节曝光

最近一个非常有意思的行业现象是：大量的海外开发者，也开始嫌弃OpenAI、Anthropic的模型API太贵了。

2、千万别买，8种最没用的家具，实用不太行，“浪费”第一名！

一个用图表证明自己更划算，一个直接把闸门开大让你自己试。

3、宏远速递！崔永熙公布重要决定，徐昕向男篮请假，徐杰正式归队

但光是「能跑」还不够。6轴巨无霸自卸车！12×4驱动+50吨总重，斯堪尼亚500 G自卸车实拍厂商省的每个token 用户都感觉得到 再回到Tibo口中的那场实验。

4、第二个许家印！又一首富栽了！世界500强竟是假的，千亿帝国清零

参考资料： https://x.com/kimmonismus/status/2079193746944790666?s=20 https://castlecrypto.gg/news/alphabet-shares-rise-following-reports-of-ultra-efficient-ai-chip/ 编辑：所罗门新智元报道 这一天，整个数学圈震撼了。

5、春秋航空就机票超售问题致歉_网易订阅

就这样，广义上的雅可比猜想，被彻底证伪。

6、折价30%！上饶银行5586万股股权1.56亿起拍，背后是王忠明欠债16.8亿

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

随着投稿量激增，审稿人的主观打分标准越来越不统一，评审随机性、不公平性逐年加剧。

企业需要衡量的是，智能体的行动是否真正产生了预期的业务结果。

7、战报

「晓新」能灵活适配各星级酒店的非标洗衣房，把衣物「收、放、洗、叠」全流程串起来，还拓展了熨烫功能，把原本高度依赖人工的环节变成无缝闭环的连续作业，节假日订单积压也跟着化解。

在开发复古游戏上，据网友实测，Kimi K3以一半的成本击败了Opus 4.8。

8、Claude Code之父的夜班AI军团，Fable 5两个命令搭好

最后，让我们回到「人」本身。

比如，「改进这段代码」是个坏目标，因为没法验证；「/tests/下所有测试通过，只许改/src里的文件，修3次还不过就停下来汇报」是个好目标，因为每一条都能核对。

它让单一模型具备了处理多类科学任务的能力，并能输出符合专业规范、高度可验证的成果。

谁手里攥着最庞大的物理世界数据，谁就可能率先触碰到智能的上限。