OpenAI总裁Greg Brockman转发了这条推文，说了一句： 感觉这是推进数学的一个分水岭时刻。

1、乐竟体育 更扎心的是，在前端代码竞技场上，Kimi K3毫不客气地将原本高高在上的Fable 5挤下了第一的宝座！ 一天之后，原本还在犹豫的Anthropic彻底崩溃，干脆认怂，宣布Fable 5继续留在订阅计划。

几天前，一个从没露过面的代号「Claude Honeycomb」，在Cursor的模型列表里一闪而过，几个小时后被悄悄撤下。乐竟体育GPT-5.6 Sol Ultra于7月9日全量放开，7月10日，OpenAI宣布GPT-5.6 Sol Ultra产出了Cycle Double Cover猜想的完整证明。

2、雅典两起惨案让郑钦文迎来真正考验，美国名宿称网坛要感谢伊埃拉

如此高成本、长周期的流程，机器人最后的泛化性却不尽如人意，成为判机器人规模化部署的瓶颈。

3、湖人不断致电库明加！报价仍远低于预期 球员本人愿与老鹰签短约

在这场巨头游戏中，只有OpenAI凭借Orion/GPT-4.5暂时逃脱了这一陷阱，没有重大滑坡。

4、上海足协就中超上海德比发出倡议：尊重赛场各方，抵制网络戾气

就像处理器和存储层级，从计算机诞生第一天起就是分立的两套体系。

5、伊拉克新总理首次访问伊朗，将开展全面战略合作

一个入口 搜遍你的整个ChatGPT 这次更新，不是让ChatGPT去搜互联网，那是它早就有的功能。

为了验证U1 Pro的成色到底怎样，商汤特地请来200位美院学生和设计师组成评审团，给每张图打分—— 如果你是设计师，你敢不敢把它交给客户？ 如果一批图里有六成敢直接交给客户，才算合格。

当下，人工智能的迭代速度加快，模型参数不断扩容、智能体运行能力稳步提升，曾经按月交付的软件任务，如今以天、甚至小时为单位在快速落地。

6、继续磨合 继续拼！

在考验用户偏好记忆的题目上，HMS达到96.7%，大幅领先Hindsight的86.7%、OpenAI收购的Mastra的53.3%。

它把单位产出的成本压了下去，然后让野心膨胀到填满所有省下来的时间。

7、小米YU7 GT创纽北首个自动驾驶圈速纪录 用时10分29秒

第二步，按需换钥匙，找完了还要回头自查。

正是这一视角的转换，构成了本文研究的出发点。

8、5年罚球榜单出炉！第一竟然是他！

一家大型企业，应用建了百八十个，模型接了四五十个，中间靠一条条硬连接对上。

当Turner看到受害者遇害前的画面时，他感到不寒而栗。

现在整个工作流嵌进智能体了，它就是工作台。

9、比杨鸣强！辽篮三连胜，乌戈只用两招，奇兵单场17分，无需赵继伟

AI Coding就是现成的样本。

顺着这个思路，奥特曼主张将教育目标从「记住更多知识」，转向「提出更好的问题」；从考记忆，转向考判断、考创造、考跨学科的真本事。

10、本场奖池5000元，现场观赛福利多！

https://www.hbs.edu/ris/Publication%20Files/25-039_05fbec84-1f23-459b-8410-e3cd7ab6c88a.pdf 但「Record a Skill」推动的方向很明确：工作的护城河，从「会做」迁移到了「会做别人做不了的事」。

物理动作冗余严重：即便任务最终成功，轨迹里也可能包含大量纠错、回退和重复动作。

1、越过“鲁奖”，看见更远的群山——山西文学的破壁与新生

参考资料： https://x.com/thsottiaux/status/2077114635308986427?s=20 https://x.com/sama/status/2077036999303999910?s=20 编辑：摩西新智元报道 你半夜失眠问Claude该不该辞职，它体贴得像个认识了十年的老朋友。

2、广东功勋教练加入北京首钢，江苏队截胡王少杰，朱芳雨暂无补强动作

这类任务对模型提出了完全不同的能力要求：符合物理定律的三维空间操控能力。

3、夏天出汗，为啥有人没味儿、有人味儿重？这6种气味当心是疾病信号

世界模型， 正在改变游戏赛道 如今，游戏和娱乐产业正在AI的冲击下发生剧变。汤尤杯拉开战幕，中国男女队首秀双线开门红刚开源的SenseNova-Vision已经露了苗头。

4、安东内拉转发评论员发文：阿根廷人就像一家人，会维护彼此

这五款模型类似于高德为机器人打造的「数字灵魂」，它们完整地映射在机器人的五大仿生单元。

5、美媒分析湖人6将或遭交易：5后卫+1中锋能换啥？早该放弃畸形阵容

两个企业可能同时使用同一个大模型。

6、南方回南天、北方干燥：实木床怎么选才不裂不霉，含水率是关键

而真正的瓶颈，往往落在一个反直觉的地方：卡住模型的，通常并非它读过多少代码，而是它完整跑通过多少个真实项目。

荷马的史诗流传近三千年，如今同时等来了两个版本：一部人类拍的，正在全球狂卷票房；一部AI拍的，还只是一句推文。

一张会呼吸的表，就这么迈向了一个能操作的界面。

7、老鹰83-76力克篮网，钱尼-约翰逊20+10+5断，沃尔夫20+5

这种在国产显卡上做Infra的能力，是目前其他团队无法企及的护城河。

它的作用不是替代规划模块，而是让规划结果能够在执行过程中持续成立。

8、李昊炎父子回信宋凯：会牢记厚望与期盼，锤炼本领回报祖国

对于后厂来说，核心命题只有一个：极致效率服务Token的规模化、高质量生产。

大脑系统 + 软硬一体 + 开放底座 逐际动力与其他机器人公司之间最大的壁垒，除了大脑系统，还在于与硬件联合优化。

而这些请求，被服务商的安全护栏拦下了。

联创谢旭璋在峰会的分享中提到一句话，非常动人：「AI for Good最朴素的含义，是让那些过去被创作门槛挡在门外的人，第一次拿到创造的工具。