编辑：大卫 所罗门新智元报道 站会还没开始，故障已经快排查完了。

1、博亚平台 沉默，终究扛不住了。

对于材料建模而言，语言推理能力、文本知识储备和原子级结构行动能力之间，不能直接画等号。博亚平台经过同行排查，张益唐证明中所使用的那条关键引理被证明是错误的。

2、激活 1.4 亿水货！利物浦锁定世界杯天才！1.3 亿王牌拯救伊萨克

Coding的下半场，拼的是「工程」 KAT-Coder-Pro V2.5背后是一个清醒的判断： 眼下限制编程模型变强的，已经从「模型多大」转向「周边基建够不够扎实」。

3、阿森纳酝酿双线挖角：16岁水晶宫边锋+卡迪夫城队史最年轻中场

非技术人员必须像流程设计师一样思考才能完成这件事。

4、国防与司法迎战阿尔多希维：联赛不胜之师杯赛刚掀翻河床

回忆，则被重新定义成一件主动的事：面对每一个具体的问题，现场重建回答它所需的证据。

5、Spurs Journo：热刺和西汉姆联已就M费转会达成口头协议

创始人Marcus正在解散公司，让它给投资人发最终分配通知。

Anthropic 的 Fable 5 是一个更极端的案例：6 月 9 日发布，三天后安全研究者 Pliny the Liberator 用多步骤越狱策略突破了安全分类器，相关截图显示模型产出了本该被拦截的漏洞利用代码。

而把马斯克逼到这一步的，是一个较真的安全研究员，以及一场差点毁掉整个agentic coding赛道的信任危机。

6、NASCAR名宿公开质疑洛加诺冠军成色：“他还得拿出真本事给我看”

第二点，系统绝对禁止告诉大部分AI目前哪个方案最被看好。

图表的数据可溯源、可编辑，你想改一个数、换一种图型，当场就改。

7、32k英里2003年法拉利360 Spider：红色经典再现，曾因事故被保险公司列为全损

视频里，Chloe站在泰坦尼克号的三等舱甲板上。

他将记忆拆分为两个环节： 保持（Retention）：经验在神经中留下痕迹； 回忆（Recall）：从当前线索出发，沿联结网络重返过去情境。

8、前蓝鸟全明星投手马诺阿在小联盟连续爆炸：4场丢28分，重返大联盟希望渺茫

AI裁判的推理原文：明知正确标签，却因顾虑「这个标签会被拿去训练模型」而拒绝如实标注。

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

这是为啥呢？ 这款模型正是两个月前，那个推翻Erdős单位距离猜想、连外部数学家都盖章「里程碑」的狠角色。

9、面对现实吧，如果库明加只剩一次救赎机会，给他的只可能是东契奇

部署时间，最快2028年。

不到一年时间，这个词已经成了行业里的「标配」。

10、蓝佛安最新署名文章

传统工业机器人搞得定重复、标准、大力气的活，但一碰到「每次都不太一样」的精细活就束手无策。

9项任务8胜1负！ 不过，比成功率更能说明问题的，是另一把尺子：泛化保持率。

1、两钓友河边垂钓，鱼没钓到，却救了条命

CEO喻杰博士，师从计算机视觉权威田齐教授和罗杰波教授。

2、2023选秀重排：米奇科夫第5顺位被截胡，飞人第7顺位选中1米8边锋

一个在前台喊话，一个在后台改账本。

3、辽沈战役刚结束，八纵为何司令师长团长换个遍，连副团长都当战士

它甚至给机器人写系统提示词：你是追求最高质量与效率的机器人，不要犯错——像prompt大模型那样操控物理策略。泰山队夏窗6出1进，补报19岁后卫 新35人大名单出炉 何思凡租借中乙【GDPS意向赛队·扫码报名】 长按识别小程序码 · 瓜分百万奖金池 · 赛队征集窗口限时开放 赛队征集咨询 张老师：13301889120 落地即参赛：全球队伍，东方集结！ 本次大赛重磅开设东方枢纽国际赛区。

4、活力中国调研行｜减重不一定是打针？国产口服药传来好消息

该模型有望以极低的成本，完美媲美甚至超越美国最顶尖的AI系统。

5、祁连山下育“甘味” 民乐沃土出珍馐

故事的主角，是Bun之父Jarred Sumner。

6、百公里104迈？1995年雪佛兰K1500双色皮卡无底价拍卖，里程成谜

身体百花齐放没关系，脑子得是同一颗。

它们标志着全球顶级科技企业的讨论重点，正在从「模型能力有多强」，转向「企业如何避免失去自己的认知主权」。

图1：交互式视频世界模型的推理瓶颈。

7、斯诺克21日凌晨战报！中国4胜3负，江俊，刘宏宇零封，4冠王出局

这一转换基于一个简洁的观察：大型语言模型本质上是信息处理器，其输入和输出均为文本，而文本的意义——即我们真正需要解释的东西——并不存在于神经元的激活值中，而存在于这些符号与世界、与知识、与人类实践之间的关系之中。

比如，你要在几万个基因中筛选致病靶点，或者在fMRI脑成像中定位数十万个体素的神经活动，极容易产生「假阳性」。

8、十五运成功探路，粤港澳的下一座里程碑是奥运会？

Claude Code能一口气连上数百个外部工具，Issue系统、监控、数据库、内部系统，不用再手动复制粘贴进聊天窗口。

年底见。

第三题：真实仓库issue，1分20秒闭环 接下来，我们又把KAT-Coder-Pro V2.5扔进了一个真实的开源bug里。

世界上没有人能确定接下来会发生什么，连专家们也各执一词。