参考资料： https://x.com/jenny_wen/status/2076679443754475919?s=20 https://jennywen.ca/ 编辑：桃子新智元报道 【新智元导读】人类迈入全新科学时代！卡半年的弦论笔记被Claude Fable 5一晚破解，AI甚至主动写代码验证自己的预测，AI怀疑论或彻底破产。

1、yb体育 拥有115个自由度的全尺寸人形机器人KAIBot，正自主迈步走到观众面前。

这背后更像是一场智能驯化，而这场争议，等于把驯化的现场当众揭开了。yb体育无数数学家发表了大量声称证明了该猜想的论文，但无一例外，都被发现逻辑中有瑕疵。

2、解禁日一涨一跌，智谱和MiniMax的分化之路

在一款面向科学理解、预测与生成的科学多模态统一推理模型 ——S1-Omni的加持下，「统一」被拆成了三件具体的事。

3、央视传来消息伊朗击毁 12架美军机！大批美军被抬走，特朗普找帮手

几十年后再回望此刻，我想我们会意识到：我们当时正站在奇点的山脚下，说这是人类新纪元的破晓，毫不为过。

4、宁夏老板羞辱游客全网社死！警方出手，当地人抵制，生意彻底黄了

ΔR的重要性在于，它把企业的经营结果转化为认知系统的学习信号。

5、直落三局，“龙蟒组合”马龙/许昕赢得全锦赛男双冠军

有网友一针见血地评论：「谷歌需要削减其臃肿的官僚体系，才能在此领域取得进展。

SafeClawArena要解决的正是这两点，它索性不搭脚手架，直接把生产平台本体作为测试台。

绝招亮完，战场却各画各的：智元盯着数据、表征、闭环三道墙，PI说墙是上下文，Dyna说是可靠性，清华说是机器人自救。

6、10年前我们熟悉的名字，正在一个又一个离开网球场

AI一来，改变了这个前提。

还有一个关键设计，就是双Agent协同架构。

7、【CBA联赛】季后赛12进8G2｜2-0挺进八强！浙江稠州金租83-81胜宁波町渥！

WAM-TTT创新性地引入了「大模型主干冻结 + 轻量内存模块后训练」 的全新范式。

原因并非技能未被掌握，而是所掌握的技能与特定场景特征过度绑定，难以适应现实场景的无穷变化。

8、尼克斯能大逆转，最该感谢背景板马刺，后者丢的每一分都不冤枉

尽管大模型能解析材料知识，却难以精准操控原子结构。

AI 桌面助手负责整理邮件、更新进度、汇总投放数据，把散落在网页和表格里的零碎工作串成一条线。

每天晚上，它利用夜间富余算力做知识整理——过时的淘汰，重要的拉到最易召回的位置，反复被提到的提升优先级。

9、1换5，我看不懂但大受震撼！30队最下头操作，没有之一！

彼时，整个赛道深陷VLA与世界模型的路线之争。

GPT-5.6 Sol Ultra的强大之处，在于它扩大了并行的TTC。

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

1990年，第31届国际数学奥林匹克在北京举行。

一个让无数顶尖数学家折戟，让华人天才数学家张益唐苦熬七年、被迫在赛百味洗盘子的超级数学难题——雅可比猜想，被Fable 5证伪！ 昨天傍晚，Anthropic的研究人员Levent Alpoge发布推文： 大家好，雅可比猜想是错的，感谢我的好友akhil问了这个问题，也感谢我的另一位好友Fable在世界杯决赛期间还在工作。

1、18次达阵领跑联赛，带伤征战8个月终手术，19岁新星恐缺席赛季初

有人网友提出了一个深刻的问题：「并行TTC确实发挥了作用，但没有说出口的问题是：64个独立搜索的质量，能否等同于一个漫长而连续的单线深度推理逻辑链？广度和深度并不总是可以互换的。

2、和今年戛纳影后原型人物，一次突如其来的见面

智能体会陷入一种「看似有进展、实则原地打转」的死循环：反复去改同一个文件，却始终跑不出一个新的通过测试。

3、塞克斯顿：我欣赏斯马特和布拉德利 想为湖人带来他们具备的特质

而PixVerse，正在铺就这条通往未来世界的铁轨。“我花近万元买的智能眼镜，最近不敢戴出门”」 结果就是，指令频繁变动，多个部门重复造轮子，难以形成合力。

4、一键查收热门零食热量红黑榜！（节后减脂必看！_网易订阅

7月15日，前谷歌DeepMind科学家Alex Turner宣布辞职。

5、NBA史上最强防守！最没有悬念的一年，这王朝真要成了？

一家全球最大的云计算公司，居然要向一家火箭公司租算力——光是这个画面，就足以说明AI军备竞赛已经疯狂到什么地步。

6、【WCBA联赛】第二十二轮｜常规赛收官，浙江稠州银行70-80不敌武汉盛帆黄鹤

她还去看了角斗士比赛——然后真的参与了决定生死的投票。

传统流程系统往往停留在步骤自动化。

他说这些题在网站上标着open，只意味着他本人不知道有哪篇论文解决过它。

7、面对价格战，马斯克也无能为力了

下面这款「割绳子」经典游戏，也由V4一次跑出来的。

闭环迭代不断强化低频复杂场景，显著提升模型在动态环境中的追踪与泛化能力。

8、掀翻世界第一！中国女网28岁双打新王牌崛起：挺进温网四强冲冠

现在，KAT-Coder-Pro V2.5已全量上线，即可立即体验。

她不是站在高高的上帝视角去讲述史实，而是将自己变成一个真实的亲历者。

但那段被浪费的七年时光，已经永远无法挽回了。

AI 桌面助手负责整理邮件、更新进度、汇总投放数据，把散落在网页和表格里的零碎工作串成一条线。