OpenAI万智能体88小时解千年难题，DeepMind绘制90亿DNA变异图谱
Not Boring (Packy McCormick) · rss · 2026-09-11
Not Boring 第 210 期周刊，多则重磅：
- OpenAI 发布 Navier–Stokes 证明：约 1 万个 AI 智能体用一个未发布的、强于 GPT-6 Astra 的模型工作 88 小时，产出千禧年难题 Navier–Stokes 存在性与光滑性问题的提议解（受迫版本），随后用 Lean 形式化验证又花 17 小时，论文 166 页。Anthropic 指控 OpenAI 利用了其 Codex 对话日志，Altman 否认但承认对手接近的传闻刺激了他们冲刺。
- Google DeepMind 发布 AlphaGenome Atlas：1 PB 数据库，预测人类基因组约 90 亿个单字母变异的分子效应，覆盖 98% 非编码区；已在 Broad 研究所协助定位一个疑似破坏 RNA 剪接的变异，支撑一桩未决罕见病病例。
- Hermeus 发布 Ramjet-X：由可复用 Quarterhorse 高速机投放的一次性冲压发动机试飞器，将推出「飞行测试即服务」，2027 年整合测试。
- Michael Levin 发表修订版 Ingressing Minds 论文：主张心智是结构化非物理空间中的模式，身体（包括计算机）是让心智进入物理世界的接口——堪称 AI 可能拥有意识的最有力论证之一。
「漫话AGI」频道最新
- Gary Marcus:机器人领域别重蹈对齐欠账的覆辙 — GaryMarcus · 2026-09-11
- 混拍还是纯 AI?独立 AI 电影人力挺 100% AI 制作的未来 — taherdhanera · 2026-09-11
- Drexler 新文:HF 事件证明系统结构可改变模型行为 — mattbeane · 2026-09-11
- CNBC 发文探讨递归自我改进风险，Conitzer 获引述 — conitzer · 2026-09-11
- Gary Marcus:靠社群压力阻止 AI 实验室变得更富更强 — GaryMarcus · 2026-09-11
- 「多数领域其实很浅」引交锋:binarybits 认为领域深度被严重低估 — binarybits · 2026-09-11