OpenAI研究员Noam Brown所感叹：「这与之前解决Erdős单位距离问题不同，这次创造奇迹的模型，是今天对所有人公开可用的！」 网友惊呼：证明令人叹为观止，AI改变数学！ 幽灵般盘旋了50年的数学魔咒 循环双覆盖猜想，是图论里的「皇冠级」难题之一，由Tutte、Itai与Rodeh、Szekeres、Seymour等多位数学家在上世纪各自独立提出。

1、九游体育 他们在全球市场并没有真正受到中国新能源车企的冲击。

更值得玩味的是它的演进路径：从一个人的「超级个体」，到符合企业级流程、多Agent自动调度的「超级项目」。九游体育他说了一句很有感触的话：「我经常发现灵犀写出来的东西，对我的理解甚至超过了我自己。

2、盘中，直线拉升！两大利好突袭，脑机接口板块爆发

但这，也就是Jeff Dean做的全部了。

3、泰山纠错大失误：放过球权黑洞克雷桑，为难两大实力派外援

他在X上写道： 目前为止，GPT-5.6 Sol是我见过数学上最有意思的新模型。

4、省实锋线空砍20+7，中国首次不敌法国

参考资料： [1] Nie et al. Large Language Diffusion Models (LLaDA). 2025. [2] Ye et al. Dream: Diffusion Language Models. 2025. [3] Sahoo et al. Simple and Effective Masked Diffusion Language Models. 2024. [4] Gu et al. BadNets: Identifying Vulnerabilities in the Machine Learning Model Supply Chain. 2017. [5] Yang et al. Watch Out for Your Agents! 2024. [6] Rando & Tramèr. Universal Jailbreak Backdoors from Poisoned Human Feedback. 2023. [7] Hubinger et al. Sleeper Agents: Training Deceptive LLMs that Persist through Safety Training. 2024. [8] Zeng et al. BEEAR: Embedding-based Adversarial Removal of Safety Backdoors. 2024. 编辑：LRST新智元报道 80年前，阿根廷作家博尔赫斯写过一个寓言，叫《博闻强记的富内斯》。

5、广东队大动作，重磅签约两名超级外援，曾繁日有望重返宏远

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

整个赛程里，小浣熊一直坚定押注阿根廷。

模型通过对被掩码位置的去噪目标进行训练： 其中为时刻t被掩码的位置集合。

6、8连胜！CBA山东男篮末节18-0击溃宁波，三外援20+挡不住

AI竞赛下半场的主题之一，是让AI拥有身体，进入物理世界。

」 这背后是一套完整的记忆积累体系——灵犀在每一次对话和任务里，不断积累对项目、概念、个人偏好三类认知。

7、最后十分钟惹不起！阿根廷世界杯淘汰赛4战均在78分钟后逆天改命

一本经济账。

整体效果，就是那种可以直接送进影院灯箱的感觉。

8、献给每日奔波在路上的你：曼恩全新TGX Truckers’ Edition正式发布

过去的具身模型，更像一个「数据集复读机」：你教它一百个任务，它会一百个，超纲一分就抓瞎。

GCP + TPU + 协议标准，底层建护城河。

Jaeger证明了平面图是成立的； Szekeres证明了可以进行3边着色的立方图是成立的； Alspach、Goddyn和Zhang证明了没有Petersen子图的无桥图是成立的。

9、美股纳指低开0.1% 英特尔小幅高开

在实际导航任务中，快慢双系统异步协同，让机器人在仅有低精度SD地图时，既能准确抵达指定坐标目标，又能沿人行道、斑马线安全通行，而不是像纯度量式策略那样为了到点而抄近道横穿车道、踩踏绿化带。

定性对比：少走弯路，轨迹更直接 在随机采样的LIBERO任务中，Baseline往往出现冗余纠错动作和目标附近的hesitation/jittering；PolicyTrim的轨迹更平滑、更直接，能够用更少物理步骤完成同一任务，通常能将物理步数压缩至原来的一半左右。

10、谷歌「史上最差」AI模型发布！ Gemini 3.5 Pro延期

实测结果非常硬核。

你写的每一行 from_pretrained，你跑的每一个数据集，大概率都是从这儿拉下来的。

1、盘点NBA历史上十组三巨头抱团组合，到底谁的抱团最没有下限？

基线涵盖面向AR模型的三类后门：SFT-based、VPI（提示注入）、类RL-based（DPO）。

2、求锤得锤！“亚马尔在哪”的答案，就是欧洲冠军不装了

而佟博士更早的问题是： 企业如何把这些东西真正构造成一个自己拥有、可以运行、可以测量、可以治理和可以持续进化的认知系统？ 这两者之间的差别，是问题意识与工程体系之间的差别。

3、美国中情局长揭秘乌克兰战场，俄军平均只能活20分钟，太惨烈

图1：交互式视频世界模型的推理瓶颈。又是旅游队？曝男篮热身赛，澳大利亚只来10人，阵容临时拼凑！四条战线必须齐头并进，缺了任何一条，闭环就会瞬间断裂。

4、AI全方位接管，全链路打通干湿闭环，深势发布玻尔·跃迁实验室

缺一个，闭环就断在那里。

5、证监会原副主席方星海被查

在这样的大潮中，一家中国芯片公司敢于从架构层面重新定义「智能体计算」，从SoC做到整机、从硬件做到操作系统、从单芯片做到全域协同，这件事本身就值得被认真对待。

6、杨采钰挪威被偶遇！小腹微凸被疑怀二胎，富豪老公高大帅气抢镜

直到项目负责人Maya做发布前核查，逐条追问「这次跑的是不是批准的向量包」，Gemini才招供：实际加载的向量全是零，等于什么都没消除。

同一只手，同一根手指，同一个动作，两个角度剪在一起，就像真实片场的连续调度。

下一轮，轮到你在GDPS出题！ 赛队征集 就在今年1024全球程序员节！10月23—25日，2026全球开发者先锋大会暨国际具身智能技能大赛将在张江科学会堂登场。

7、中国女排距离前五不远了！土耳其6连胜升第三，波兰扣除6.68分

这长期以来是汽车工程的「圣杯」——省去传动轴、差速器，底盘空间彻底解放，每个车轮都能独立精确控制扭矩。

直接套用通用稀疏注意力，收益很容易被数据重排、gather/scatter、layout conversion和padding等周边开销抵消。

8、柬埔寨站队了，正式向全球宣布：台湾是中国的一个省，不容置疑

这种对AI生成代码的不信任，在限制了工程师们使用Gemini来辅助开发，担心专有代码泄露到训练数据中。

DA-Nav没有让视觉语言模型直接预测连续三维坐标，而是将机器人第一视角中的道路空间划分为候选区域，让模型先在画面中判断接下来应该经过哪些位置，再由控制模块将这些空间落点转化为可执行轨迹。

具体来说，KAT-Coder-Pro V2.5在三个关键维度实现全面突破： 长程工程能力、通用Agentic能力，以及支撑这一切的大规模Agentic强化学习体系。

新智元报道 又送了！ 就在刚刚，Codex与ChatGPT Work的活跃用户大军，合体突破800万大关。