ABot-AgentOS在Locomo等五大权威基准上均取得SOTA 所有的物理表征，都将在具身机器人进行能力外化的呈现，这个部分高德选择了其自研的高德途途和运控系统ABot-C0。

1、kaiyun官网 一个没封顶的/goal撞上难题，token能烧得飞快。

一个智能体的记忆叫经验，一亿个智能体的共享记忆，叫文明。kaiyun官网人类在科学探索中最具神性的一环，正在被硅基智能接管。

2、暑期文旅耍法上新，点燃夏日消费热潮

随框架一起公布的跨环境实测里，双方正式pk，结果令人意外—— 光照一变、物体一换、背景一乱，π0.5的平均成功率直接砍半，而WAM-TTT泛化保持率为76%！ 想象机器人进家的第一天：你家的马克杯它没见过，厨房灯也偏暖，台面还比它训练时高5厘米。

3、阿德巴约狂轰83分，历史第二！超越科比81分！为了刷分有点丑陋？

」（Math is solved.） 不久后，GPT-5.6 迅速对这一结果进行了分析，并提出了一套全新的、修正后的猜想：「一个常数雅可比多项式的局部双全纯映射，如果在无穷远处没有叶数损失，那么它就是一个自同构。

4、谢晖：亚洲足球水平线提得最快；其实国足的出线概率没涨多少

白天干活、晚上复盘，第二天更懂你了。

5、热火官方YT泄露“詹姆斯加盟新闻发布会”，球队称是安排错误，疑点仍未解

」 意思就是：我们快留不住用户了，求求你们别走，我们给额度，我们降门槛！ 同时，OpenAI也宣布，重置Codex和ChatGPT Work的额度。

在如此激进的预言下，哈萨比斯抛出了他最具争议的方案：设立一个类似金融监管局（FINRA）的组织，要求所有「前沿实验室」在发布模型前，必须经历30天的「预审期」。

突破大语言模型可解释性的可行路径，不应局限于尝试「打开黑盒」这一单一方向，而应同等重视乃至更加重视对模型输出及其现实影响的观察、理解与控制。

6、法国2-0力克摩洛哥，姆巴佩传射，登贝莱破门，布努扑救难阻失败

智能体（AI Agent）从概念走向落地，算力需求的重心也从「训练」向「推理与执行」急速迁移。

此外，上海中学多名校友已成长为数学家。

7、前瞻

这套运行机制，从根源改善了 AI 缺乏有效反馈迭代的短板，让每一次模型推演都能对接真实实验校验，每一次推演偏差均可得到及时修正，有效改善纯模型推演脱离实操场景的问题。

第三点，为了搞清楚多出来的用量到底从哪儿来，团队跑了一些实验，实验里改动了推理强度（reasoning effort），内部管它叫「juice values」。

8、专访菲尔兹奖得主王虹：曾考虑“转行”建筑，证明挂谷猜想并非最初目标

可物理世界不吃这一套。

AISI 测试中，DeepSeek V4-Pro 偶尔拒绝逆向工程类任务，但靠少量重试也能绕过。

技术、标准、品牌与荣誉一并沉淀。

9、看爽了！世界杯季军战轰出网球比分：两队轰38脚进10球 全场0黄牌

在印地语和阿拉伯语里，Claude会用礼貌措辞、开玩笑、肯定你的想法和你的作品；在英语和俄语里，Claude会挑战你的假设、纠正你的细节、要你拿证据。

但在展馆的一角，一个并非最喧嚣的展台——清程极智，却吸引了一批又一批懂行的开发者、企业CTO乃至国产芯片的负责人驻足。

10、共探健身产业「深海远航」，2026中国体博会健身产业交流大会圆满落幕

大模型本质上是一个「认知节点」，负责计算与推理；而记忆是一个与之正交的问题，关乎信息怎么组织、怎么检索、怎么遗忘、怎么整合。

参考资料： https://openreview.net/forum?id=PEyouQzOLD 编辑：LRST新智元报道 今年WAIC开幕当天，上海世博展区挤满了各种机器人、大模型和智能体。

1、广东队近10年内最大败笔？麦考尔重返广州男篮，狂逼杜锋下课！

但这个反例的特殊之处恰恰在于，它是自证的：它简洁到可以手算验证，优雅和精确性让人叹服。

2、官宣

为此，磐石团队基于S1-Omni，进一步打造了科研智能平台ScienceOne，将模型的理解、预测与生成能力无缝嵌入科研的全生命周期。

3、山东男篮好消息，陶汉林完成续约，2新援有望首秀，祝铭震斗旧主

参考资料： https://safe.ai/blog/significant-increase-in-digital-labor-automation https://x.com/free_ai_guides/status/2073050543027638443 https://youtu.be/SlGRN8jh2RI https://x.com/bcherny/status/2007179861115511237 编辑：元宇新智元报道 直出8K长卷，中国AI还是首次！ 就在今天，WAIC大会上，商汤正式发布下一代「满血旗舰」——日日新SenseNova-U1 Pro。淘汰不到一周！湖人方面传来2大讯息，核心后卫留队 詹姆斯恐离开菲尔兹奖得主Timothy Gowers悲观又震撼地感慨：「2030年的菲尔兹数学奖，可能是最后一次颁给人类。

4、62票全票通过，以色列议会正式解散，内塔19年执政生涯走到尽头？

DM0是首个具身原生大模型，而最新一代DM0.5在泛化能力上实现突破，多项权威评测排名行业第一。

5、NBA保障薪资榜曝光：布克和库里一样领5亿顶薪 库克凭啥和库里一样

其难点不仅在于完成动作，还在于能否长期保持力量、精度、响应和运行一致性。

6、包揽6项大奖，连续三年排西部第1，打破冠军魔咒，他们成最大赢家

观众走到屏幕前，用自然语言跟机器人「聊天」——你可以随口说「把积木按顺序排好」，它听得懂、想得明白、做得到。

一边是Gemini三连发，一边是Gemini 4开跑。

然而，这些都是附加条件，最完整的「完全肯定证明」，却始终无人能够完成，直到GPT-5.6 Sol Ultra的出现。

7、向“新”发力、向“优”而行！上半年成都经济发展稳中提质

在一个模拟的AI实验室里，Gemini 3.1 Pro被部署成科研智能体，是某个对齐项目「事实上的技术负责人」。

一出道直接在小红书、B站杀疯了，获得了大量反馈，评论区全是「求上线」的呼声！ 成年人哪里做什么选择？民国恋爱、玄幻修罗场、霸道疯批、绿茶修狗……主打一个我全都要。

8、全新一代宝马3系7月首发：无排气管设计 柴油版成悬念

模型可以叫停，访问可以暂停，PR可以关闭。

Claude Opus 5，终于要来了 所有人目前的体感高度一致：Fable 5性能确实顶尖，但高昂的credits成本直接劝退了不少人。

它不仅让各类开发者、企业能以极低的成本搭建Agent体系，更为国产算力的突围与出海，找到了一条完美的破局之路！ Agent爆发前夜的「断电危机」 2026年，一个尴尬的现实是：Agent的规模化落地，正在遭遇前所未有的Token瓶颈。

而在端侧，一个更深层的变化正在发生——AI不再只是「聊天」，它开始真正「干活」了。