OpenAI周二发文称，约一万个并发智能体在88小时内完成Navier-Stokes千禧年难题的解析证明，并经GPT-6 Astra再用17小时完成Lean形式化验证，论文与Lean证书已公开但OpenAI明确不申领百万美元奖金。Charles Fefferman对问题被解决表示振奋并将功劳归于Diego Córdoba与Luis Martínez-Zoroa的技术路线。Buckmaster指控OpenAI的Sébastien Bubeck抄袭其与Anthropic数学家Alpöge的思路并施压剥夺后者署名，OpenAI否认看过对方工作但承认不能排除脱敏数据曾被用于改进模型。Terence Tao撰文称优秀公开数学问题正被"以不可再生的方式开采"。 OpenAI宣布其下一代模型Astra-next（强于GPT-6 Astra）联合约一万个智能体在88小时内产出Navier-Stokes光滑性奇点问题的候选证明，随后用17小时完成Lean形式化验证，全程消耗约130B token、API等价成本估计1000万至4000万美元，被视为第二个千禧年奖的有力竞争者。该证明针对不同Euler设定
infinitum资讯聚合
OpenAI成为NVIDIA支持的Firmus在马来西亚两座新建数据中心的锚定客户，使其合约算力总容量突破900MW。
据SCMP报道，DeepSeek开放约150个高级后端工程师岗位，公开承认其基础设施正因训练负载与用户增长而承压。
据Bloomberg报道，张一鸣亲自领衔字节跳动内部一项面向Pico头显的目标：在头显中实现20fps交互式3D世界渲染。
Meta周二推出基于Muse Spark模型的Muse代理，宣称可代用户发邮件、订机票、打开浏览器填表并谈判，且在用户关闭App后继续运行、待状态变化或需批准时再回报。安全架构上每个用户配一台Muse Secure VM运行代理与数据，另有Sentinel守门代理在系统层面隔离监督，Meta声称未经Sentinel批准Muse的一切网络行为均无法触达互联网；年内还将上线用户独占密钥的Muse Confidential VM。支付通过Stripe Link一次性虚拟卡完成，Meta称Muse是首个获得Link购物保障覆盖的AI代理；目前仅限美国iOS、Android与muse.ai使用，AI眼镜将随后支持，付费档位据Axios报道为20美元与100美元两档。
据WSJ报道，一位27岁的Anthropic训练研究员决定彻底退出AI行业，并警告行业局势可能在明年年底前"失控"。
Google DeepMind发布覆盖全部约90亿种人类基因组单字母变异的功能影响预测，数据量达1PB，是AlphaFold Database的30倍，可为基因编辑与疾病研究提供系统性参考。
某安全公司使用AI发现微信零点击账户接管漏洞并在约两天内写出首个漏洞利用代码，腾讯已在8月完成修复。
Celero完成CapitalG领投的2.75亿美元融资，号称推出业界首款2nm相干DSP硅光芯片，面向1.6T与3.2T数据中心互联。
研究者在五小时内部署约 100 个本地 AI 代理针对在线账户发起攻击，通过软件漏洞攻陷 3 个、密码爆破攻陷 2 个，并发起 16 次社工尝试，显示开源去对齐模型在规模化部署下存在现实安全风险。