本期 2 个榜单的合并。
📑 跳转到: 🤖 Horizon 总榜 · 🌍 全球新闻
本周 4 条 8.0 分以上要事速览,来自过去 7 天。
OpenAI 宣布其一款尚未发布的内部模型驱动的智能体在约 88 小时内给出了 Navier–Stokes 方程光滑解存在性问题的证明，该问题是克雷数学研究所悬赏 100 万美元的七大千禧年难题之一。证明随后通过 GPT-6 Astra 用 Lean 形式化语言进行了 17 小时的额外验证，仅在这一个问题上智能体就交换了 270 万条消息，消耗约 1300 亿输出 token。 如果该证明通过同行评审，这将是千禧年难题首次被攻克，对数学和 AI 驱动的科学发现而言都是历史性里程碑。它同时也表明前沿 AI 智能体已经能够在重大挑战性问题上与学术研究团队一较高下，甚至可能后来居上，由此带来的研究归属、竞争伦理以及 AI 辅助数学的诚信问题都亟待回答。 OpenAI 表示，攻关工作始于 2026 年 9 月 1 日，彼时他们听说有两个千禧年难题已被解决；其智能体在所有尝试的问题上一共发送了 490 万条消息，消耗约 3000 亿输出 token，按 GPT-6 Astra 公开 API 价格估算成本约为 1500 万美元。该声明笼罩在纽约大学教授 Tristan Buckmaster 的指控之下：他与 Anthropic 员工 Levent Alpöge 合作近一年的相关工作据称在 OpenAI 启动自家智能体之前就已泄露，且 OpenAI 模型可能基于他们的 Codex 会话进行过训练或访问过其内容；OpenAI 给出的折中方案是邀请 Buckmaster 作为唯一作者撰写论文，但因 Alpöge 受雇于 Anthropic 而将其排除在外。
reddit · r/MachineLearning · /u/Shizuka_Kuze · 9 月 8 日 17:42
背景: Navier–Stokes 方程是一组描述流体运动的偏微分方程，虽然在工程与物理中应用广泛，但其在三维情形下的解是否始终光滑（或如 OpenAI 所声称会出现奇点）至今缺少严格证明，这一问题已悬而未决数十年。千禧年难题由克雷数学研究所于 2000 年设立，共有七道著名数学难题，每题悬赏 100 万美元，截至目前只有庞加莱猜想被官方认定为已被解决。
对中国影响: 中国的前沿 AI 实验室与数学界如今面临追赶此处展示的智能体式研究能力的压力，尤其考虑到 OpenAI 的系统据称可能基于竞争对手的会话数据进行训练，这背后存在明显的竞争含义。此次围绕研究归属的争议，也为国内机构倡导建立 AI 辅助数学发表与数据使用透明度方面的国际规范，提供了一个清晰的契机。
对我有什么用: 对于电子工程师或硬件开发者而言，这条新闻本身并不直接可操作，但它预示着一个新时代——AI 智能体能够自主驱动长达数天的多步骤技术研究与验证流程，而这种模式很可能会率先出现在 EDA、芯片设计验证以及嵌入式固件的形式化方法领域。如果你大量使用 AI 编程智能体，这条新闻值得留意：它表明“智能体工时 × token 预算”将成为一种常规的工程计量单位，成本模型也更接近高性能计算，而非交互式对话。
社区讨论: 社区反应明显分裂：peri-cl 转引了陶哲轩的警告，称只要听说有人在攻克某道难题，就可能触发一场大规模 AI 竞赛，在原始研究尚未成熟前就将其“压平”，这可能让研究者不愿再公开分享有前景的方向。pavel_lishin 等人则聚焦于 Buckmaster 声明中所涉及的严重抄袭嫌疑；arctic-true 指出，在这场风波之下，OpenAI 一款训练不到两周的内部模型在数学能力上似乎是公开版 Astra 的两倍多——即便仅限于数学领域，这也是惊人的能力跃升。hdivider 则提醒说，自然科学并不总是纯计算问题，AI 在形式化数学上的成功未必能直接迁移到物理或实验领域。
标签: #OpenAI, #mathematics, #Navier-Stokes, #millennium-problem, #AI-breakthrough
- OpenAI 宣称攻克千禧年数学难题 Navier–Stokes 方程 ⭐️ 9.0/10 · 相关 3/10 - AlphaGenome Atlas：高分辨率人类 DNA 突变预测图谱 ⭐️ 8.0/10 · 相关 3/10 - OpenAI 发布 Navier-Stokes 成果，附 Lean 4 形式化证明 ⭐️ 8.0/10 · 相关 3/10 - 微软正式将 Rust 列为 tier-1 级别语言 ⭐️ 8.0/10 · 相关 5/10
本周 11 条 8.0 分以上要事速览,来自过去 7 天。
美军在阿曼湾和霍尔木兹海峡袭击了四艘运油船只，伊朗革命卫队威胁将在巴林和科威特附近袭击船只作为报复。
rss · DW News (欧洲) · 9 月 8 日 21:56
标签: #geopolitics, #US-Iran, #oil-supply, #Strait-of-Hormuz, #military-conflict
- 美军袭击伊朗近海油轮 ⭐️ 9.0/10 · 相关 2/10 - OpenAI 历史性数学突破因署名争议蒙上阴影 ⭐️ 8.0/10 · 相关 3/10 - 美军摧毁五艘伊朗油轮，伊朗报复性袭击约旦基地 ⭐️ 8.0/10 - 美军袭击伊朗油轮，伊朗革命卫队反击约旦美军基地 ⭐️ 8.0/10 · 相关 1/10 - 美军在海军遭袭后轰炸五艘伊朗油轮 ⭐️ 8.0/10 · 相关 1/10 - 美伊在霍尔木兹海峡附近爆发开战以来最大规模互袭油轮事件 ⭐️ 8.0/10 - 国际原子能机构 20 年来首次将伊朗核问题提交联合国安理会 ⭐️ 8.0/10 - 伊朗夜间猛烈袭击美军基地及舰船，紧张局势持续升级 ⭐️ 8.0/10 - 北约盟国成功挫败俄罗斯海底电缆破坏行动 ⭐️ 8.0/10 · 相关 2/10 - 中国科学家将氢燃料电池功率输出提升四倍 ⭐️ 8.0/10 · 相关 3/10 - 伊朗支持的胡塞武装夺取曼德海峡关键航运通道的近全控制权 ⭐️ 8.0/10 · 相关 2/10
Horizon 每日速递 · horizon.pyyaiai.com