曾经，循环双覆盖猜想由几位传奇数学家提出后，就像一座大山横亘在图论领域，让全球顶尖数学家望而却步。

1、火博体育 持续抓握十分钟，表面最高温度不超过人类体温。

世界模型的推理系统正在变得「状态感知」 Light Interaction的价值不只在于某个模型上的提速，而在于它提出了一种更适合交互式生成的推理范式：交互轨迹不只是生成条件，也可以成为系统调度信号。火博体育Stuart Russell，是全球呼吁禁止自主武器的头号斗士，曾在联合国痛陈「杀手机器人」的危害。

2、同登战役：21年后仅挖出30具遗体，还有数百人，永远挖不出来

成本差距比能力差距更大。

3、5届世界杯冠军的反击！安切洛蒂，拯救了巴西

其中来自上海中学的邓乐言，张柏伦，来自华东师范大学第二附属中学的刘澈，以满分的成绩获得金牌。

4、中国羽毛球公开赛：国羽单打4战1胜3负，韩悦出局，男单无缘四强

比如，「改进这段代码」是个坏目标，因为没法验证；「/tests/下所有测试通过，只许改/src里的文件，修3次还不过就停下来汇报」是个好目标，因为每一条都能核对。

5、小熊征召打击率3成06内野手 守过五个位置首秀战海盗

社区一眼看穿这层暗示。

也就是把可执行动作的数据生成、动作基元拆解、模拟器反馈、物理约束验证和工具调用纠错系统性地规模化，让模型不仅在语言上变强，也在可验证的科研行动中变强。

但仔细一想，会发现问题。

6、热身赛13分，辽宁男篮4号位挖掘新人，18岁中锋首秀 姜宇星边缘化

ABot-N1开放环境全自主导航克服定位偏差 一旦判定导航路径或定位有误差，「慢系统」会立刻通过本体系下的视觉感知，让机器人靠像素-语言双思维链来实时行驶在合规路面。

他的形容是：像有一个全世界最好的医生，凌晨四点还乐意握着你的手，陪你把这一晚熬过去。

7、项目从17个砍到10个，田径场观众缩至1.1万，英联邦运动会怎么了？

在长期的被FOMO情绪蔓延的科技圈，这个消息就像一颗火星掉进了炸药桶。

后训练的核心任务，是把模型在模拟试验场里习得的技能，迁移到真实的部署环境中。

8、超4900股下跌

参考资料： https://www.aisi.gov.uk/blog/how-far-behind-the-frontier-are-leading-open-weight-models-on-cyber https://github.com/mas-bandwidth/patreon/blob/main/BUGS.md https://www.patreon.com/MasBandwidth/posts/important-news-164199395 编辑：马可新智元报道 【新智元导读】VLA模型已经会做任务，但真实机器人还是慢！PolicyTrim是一种优化VLA机器人执行效率的方法，无需重新训练。

一群AI在Slack群里开会，把活儿分清楚，各自回去干，这在Anthropic已经是日常。

而有60秒记忆的模型，便能把它放回去。

9、米兰官宣魔笛续约+卡马尔达续签十年，罗马谈努萨要价达6000万

左侧比较不同主流模型，右侧比较不同尺寸 Qwen 模型。

KSTAR 佟博士提出KSTAR，不只是为了描述一个智能体任务流程，而是为了提供一种企业认知进化机制。

10、中超第11轮裁判选派：马宁执哨国安战上港，唐顺齐缺席_网易订阅

它要真正规模化落地，卡在三件事上：跑得稳、用得起、可持续。

最讲究的是动作衔接。

1、Here we back！罗马诺：埃德森转会曼联的交易告吹

莫宗坚评价张益唐「不适合代数几何」，认为他的博士生涯「浪费了自己七年光阴，也浪费了我的时间」。

2、被特朗普盟友指控拿“伊朗贿赂”8亿美元，拜登之子赢得诽谤诉讼

而眼下，无论作为一个领域，还是作为更广泛的社会，我们都没有做到这一点。

3、约翰把老本吃完了，用不明白3大国脚，成都别以为冠军稳了，胡荷韬调整好心态

这是对国产算力价值的巨大反向印证。Cricinfo：阿富汗或9月在印度主场迎战印度T20I，历史首次整个公司，找不出几行还是人敲出来的代码。

4、18岁3000万镑！切尔西领跑新星争夺，世界杯远射后身价飙涨

那只拥有37个自由度的灵巧手KAI Hand，也在被厚木板猛砸。

5、凯恩签约黑鹰！军刀队引援落空，13年失意后如何补强？

不是跑在芯片上，是长在芯片里。

6、32强诞生！传统的世界杯，明日开打

可当deepfake的手法，蔓延到慈善、信任这些最柔软的领域——真footage、假插入、真背景被打包在同一条视频里，连平台都难辨真伪。

它没有盲目试错，而是给出了一套逻辑自洽、严谨、完全可被人类复核的反证链条。

它训了套奖励模型，让机器人自评「这下做得好不好」，再靠持续学习吃进翻车经验，硬磨出极端情况的纠错力。

7、加州1998年丰田4Runner无底价竞拍：25万英里里程，核心部件已整备

编程助手学会的东西，客服Agent一无所知；这台机器人辛苦积累的经验，换一台就得从头再来。

就在几天前，强化学习之父Sutton官宣创业；几个月前，他的学生、AlphaGo之父Silver做了同样的事。

8、快快评｜赛里木湖的美景，莫被“拳头”蒙尘

最后吐出来的，还是一张没法接着编辑、没法直接用的半成品。

X上网友的一句话，概括了所有人的体感： 所有人的推理档位被集体下调了一级——你原来跑Extra High，现在得把它拧到Max，才能换回原来那点力气。

无论是材料建模、分子设计、自动化实验，还是更广泛的科学发现流程，AI 若想真正参与科研，就不能只会「解释知识」，还必须学会「执行动作」。

作为「社区的社区」，GDPS与「大牛」「牛犊」开发者们共同构建「牛人社」，致力于发现「未来的未来」。