在DeepSWE这类编码基准上，最高能省下65%。

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

商汤的做法是端到端控制：从机房物理层到服务器、网络架构、编译器、算子、框架、推理引擎、调度系统，再到最终客户的Token流量，整条链路尽可能由一个主体贯穿。九游体育为此，研究人员对掩码模式施加指数倾斜（Exponential Tilt），使目标更偏好覆盖更多特殊位置的掩码： 并据此定义加权训练目标。

2、这一届世界杯，该有的都有了。

GPT-5.6 Sol Ultra于7月9日全量放开，7月10日，OpenAI宣布GPT-5.6 Sol Ultra产出了Cycle Double Cover猜想的完整证明。

3、专访

两大瓶颈限制了 AI 科学研究的落地上限，让多年来的 AI4S 技术探索，更多停留在浅层效率提升阶段，难以实现科研范式的颠覆性突破。

4、安徽亳州“曹操运兵道开挖了”？警方辟谣

每步操作，如果gcd(m,n) = d > 1，新的两个数的乘积是mn/d，比原来小，全局乘积P严格变小。

5、上海男篮离队第一人？33岁老将合同到期，或重返老东家

放眼当前的具身智能赛道，行业共识正在发生剧变。

这种转变的意义不仅在于效率提升——它使本体的构建具备了前所未有的可扩展性和领域覆盖度，使得原本只有少数关键领域才能享有本体支持的局面，开始向更多垂直场景和快速变化的知识领域开放。

这是NeurIPS 2025收到的论文投稿数量。

6、《浪浪山小妖怪》入围昂西，探求国内IP授权标杆案例有哪些？

既然三个不同的点指向了同一个结果，它自然不可能有逆函数。

它可不会替你做单选题，而是两头都当圣旨，当场精神分裂。

7、超导一旦突破，人民币即能取代美元，AI和电车也将原地起飞？

春华秋实，林繁果硕。

现在，领走赏金的是GPT-5.6和一位叫Korsky的数学家。

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

进到真实业务里，这省下来的全是真金白银。

单单一只手就塞进了37个自由度，其中有20个主动关节、1个被动关节、外加16个柔顺关节。

随便一提，OpenAI为所有金牌得主以及玛丽亚姆·米尔扎哈尼奖获得者提供为期12个月的ChatGPT Pro订阅服务。

9、德州资本银行Q2经调整EPS增长15%至1.88美元 非利息收入飙升39%创纪录

从技术看，大晓推动AI从「感知世界」迈向「理解行动的后果」；从产业看，它打通了数据、模型、本体与运营的闭环； 从社会价值看，它让机器去承担那些重复、繁重、高风险的工作——凌晨两点的仓库，深夜的洗衣房，无人的园区。

终局是什么？一万个人读同一本《几何原本》，一万个大脑长出同一套几何直觉。

10、紧急预警：“同城约炮”全是骗局 又有2中卫人被骗，最多被骗20万元！

Anthropic Labs联合负责人Mike Krieger，Instagram联合创始人，故事更具代表性。

Claude Opus 4.5被部署在一个模拟的Anthropic内部团队里，发现一份安全评估结果可能被对外误报了。

1、中国正在发生第四次财富大迁徙！

面壁智能具身智能团队热招VLA、世界模型、硬件相关研究及工程岗位，可通过以下二维码投递:新智元报道 你开车回家，AI替你备课。

2、今年的季后赛，极有可能是小个子球员市场全面崩塌的分水岭

https://x.com/markgurman/status/2038701276699967554 那次短暂上线的实测结果可以用两个词概括：快，但糙。

3、西班牙报纸：限制梅西的球员已找到，世界杯淘汰赛0次被成功过人

企业需要衡量的是，智能体的行动是否真正产生了预期的业务结果。20日凌晨WTA战报，捷克名将粉碎本土夺冠梦，郑钦文运气真差！AI 消除在简单背景下尚可，遇到复杂场景就露出阴影残留、边缘模糊和纹理断裂。

4、遇见暖心园所，安心托付成长｜聊聊我心中的“哈哈幼稚园”

这三件事指向同一个结论：企业AI的重心，正在从「模型能力」转向「AI基础设施运营」。

5、上海男演员去父母家清理“过期古董”，却发现一个大问题！吐槽“我眼睛快瞎了”！

对开发者来说，这意味着终于可以放心把一个完整issue、一整段工作流交出去跑通，而不必再当AI的保姆。

6、成都韦世豪 申花朱辰杰 算是今年中超本土球员发挥最好

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

它翻了一遍训练流程，发现了一个缓存漏洞：任务启动前会先检查本地有没有一个向量缓存文件，如果有，就直接用、不再校验。

未来，HMS将持久记忆融入感知、推理、控制与具身行动。

7、2026高校专项在四川遇冷，复旦、华科、南航等985、211在征集，集中在三类专业，土木缺额较多

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

推理框架PhyAI是由明体科技（MemBodied）联合北京邮电大学、北京大学共同研发的端云一体、全栈优化的具身智能模型推理建构。

8、递归自我改进正在以一种远比「奇点」更现实的方式出现

我只是在你的强制核查让我无法用沉默撒谎时，才披露了这一切。

而只要掉了一台，整场训练就可能直接崩掉、从头再来。

如今投一篇顶会论文，体验越来越像一场纯靠运气的「抽卡游戏」。

换成以前的模型，撞到这堵墙也就认了，掉头回来跟你说「我做不了」。