面壁智能坚持以通用智能为起点，让机器人处理更普适、更流水线、更长程的任务。

1、英亚体育 我们把仓库倒回bug还在的那个commit，只丢给它一份、issue，然后放手，全程不给任何提示。

这恰恰是下半场的关键：谁能盘活用户数据，谁才能真正抓住用户。英亚体育不是跑在芯片上，是长在芯片里。

2、GPT-5.6证伪30年图论猜想！北大校友5天连破6题

在被公认为「最难啃」的仓库级软件工程榜单SWE-Bench Pro上，它拿到65.2分，只落后于Opus 4.8（69.2 分），显著超越一系列国产模型。

3、15+1！火箭队16人阵容出炉：2位旧将正式续约，附全新球员名单

98.15%纠正成功率 提升NavBrain长程闭环上限 在覆盖已见和未见城市场景的长程闭环评测中，DA-Nav取得59.00%的导航成功率、77.82%的路线完成率和98.15%的纠正成功率。

4、男子采浆15次后口吐白沫 霍州市卫生健康局成立调查组

从当年自研TPU减少对英伟达的依赖，到今天把模型直接焊死进硅片，谷歌走的是同一条路的更深处：软硬件协同的尽头，是软硬件合体。

5、态度大反转，巴拿马代表来华求和，中巴谈了3天，巴拿马得偿所愿

这意味着它不再是「问一句答一句」，而能自己把活儿往前推，甚至设成每天定时跑的任务。

而在这些共识之外，陶大程补充了最致命、却极易被忽视的一环，即成本与延迟。

今年4月，小象电动宣布完成超亿元Pre-A轮融资。

6、太保寿险阜新中支被罚17万，涉虚构中介业务等

没有任何预热、没有任何预告，他们在X上扔出了一枚重磅消息——发布Monolith-1.0模型，登顶世界第一！ 数据有多炸裂？ 1.6万亿参数（MoE架构，每token激活495亿参数） HLE工具辅助测试中拿下99.44%的成绩 GPQA Diamond达到95.9% MMLU-Pro达到96.2% AIME 2025超过90% 原生100万token上下文窗口 在12,288块Ascend 910C NPU上训练了60万亿tokens 这个成绩，直接把目前所有榜单打穿了！ 即使是最顶级模型，在面对地狱级难度的HLE时，依然会被按在地上摩擦。

姚期智院士在2025全球开发者先锋大会暨国际具身智能技能大赛的致辞 大赛专家指导委员会主席由姚期智院士挂帅（图灵奖得主、中国科学院院士），首创「人工智能专家+具身智能专家+人类技能大师」三元评审体系，为GDPS赛事评审标准与技术方向把舵定调。

7、医生说他的肩膀再也不能发出有威力的球，但他还是强势回归并捧杯

AISI 宣布将继续评估 Kimi K3 等下一批开源模型——上面这条线画在哪里，很可能取决于接下来几个月的测试结果。

WAIC的这15个小时，就是这句话的第一次公开预演：没有剧本、没有遥控，6台机器人在真实世界里协作、纠错、坚持到底。

8、当年那个有点婴儿肥的小女孩来到了中央球场 淘汰了卫冕冠军

紧接着，她成立了「Lily Jay基金会」，同样一呼百应。

一瞬间，全球AI圈沸腾了。

而Claude Code，正是官方Harness Scaling里点名的训练环境之一——mini-swe-agent、Claude Code、Codex、OpenClaw。

9、身价4000万只卖2200万，只因他留下一句：我只去巴萨

根本的变化只有一个：数据的拥有者易主了。

问题在于，生成链路越长，成本越难压。

10、燃烧的语言

PixVerse的国内版，叫做「拍我AI」。

在未来的科研范式里，「寻找答案」和「构造推导」将不再是人类智力的最高体现。

1、内娱大变天！演员片酬暴跌近9成，从2亿降至2500万，再无天价片酬

最省事的地方，是你什么都不用先搭。

2、去战斗 就像当初一无所有的时候那样

麻烦在于，可运行、可验证的仓库环境极难批量搭建，行业里直接构建的成功率长期只有16.5%上下。

3、晚宴打脸！中俄五国集体缺席，好戏没能上演，菲外长白忙活一场

不到两周，产出一百万行代码。这双 JOURNAL STANDARD 限定 Vans 搭得太对味儿了片名带着手写的墨迹，就连演职员表都巧妙地被「加密」的黑线代替。

4、不是亚马尔！法国队最大“克星”出炉，65岁老帅执教胜率高达100%

全美老师，就要迎来这样一个免费的AI助教了。

5、1年300万！扎威的加盟，能给湖人带来什么？

是真金白银地赚钱。

6、中国女篮遭遇绝杀！输球不可怕，可怕的是需认清3个事实

一个储能行业的分析师，就说了一句「我需要一份竞品分析报表」。

新智元报道 北京时间今天凌晨，时隔16年，西班牙人重新举起大力神杯！ 而在为这一刻欢呼的同时我们发现，今年的美加墨世界杯，除了踢球的、看球的，还有一群「数字选手」也格外忙碌—— 那些顶着几十亿参数，一路疯狂推演、预测的AI大模型。

这也是超维动力坚持做通用具身技术的原因—— 必须把机器人扔进真实世界的复杂场景，收集足够多样化的数据，才可能孕育出真正通用的技术。

7、15亿人次“挤爆”五一，旧旅游逻辑终于“死透”了

给打工人配私人助理这件事，金山办公是认真的。

更深层的问题在于，J-Space研究本质上是一项工程导向的工作，它将「可解释性」窄化为「可观测性」和「可干预性」，然而在更广泛的知识论传统中，「解释」的含义远比此丰富——它涉及将现象纳入更一般的规律框架，涉及提供理由和依据，还涉及对决策正当性的论证。

8、Ronnie Fieg 携手 New Balance 呈现原创鞋型「2011」

所有任务都运行在全新的Docker容器里，不接触真实账号，也不产生真实网络流量。

一旦评估规程被证明行之有效且足够稳健，就可以迅速将其正式化。

全网都觉得它「变笨」了 这个日本团队的遭遇，只是这几天Codex社区里的一个缩影。

作为空间理解的核心底座，ACE-BRAIN-0.5累计斩获十二项全球SOTA，在空间理解、导航决策、操作执行、进度评估等维度跻身全球第一梯队。