AI 正在改变数学——但方式和你想的不一样
NPR 的报道审视了 AI 如何重塑数学：OpenAI 在 GitHub 发布了 370 多项新的数学成果，每项约耗费 3 小时算力，并于 2026 年 9 月宣称解决了纳维-斯托克斯千禧年大奖难题。但这份 166 页的证明难以人工核查，其机器检验用的 Lean 翻译存在出入——据称某方程中的 4 被换成了 5——OpenAI 也已因错误撤回了其中 3 项成果。值得关注的是，数学家认为多数结果可能正确，但核查海量机器证明的负担可能让真正的进展放缓数年。
报道来源
- Hacker News (AI)2026-11-06 06:25