AI 辅助“推翻”考拉兹猜想失败，Lean 4.32.2 修复内核漏洞

科技媒体 Gigazine 昨日（8 月 3 日）发布博文，报道称一项借助 AI 完成、声称推翻考拉兹猜想的 Lean 形式化证明被确认无效。

均为 10 年以上未解难题：OpenAI 公布在数学与理论计算机科学领域的十项进展，Token 成本约 2000 美元

这些成果由 OpenAI 的下一代核心模型 Astra 的内部版本计算得出。

菲尔兹奖得主邓煜谈 AI：已能帮助数学证明，但不能替代独立思考

7 月 24 日，2026 年菲尔兹奖得主、芝加哥大学教授邓煜近日在接受采访时透露，他在数学研究中会使用 AI 辅助工具，GPT 曾帮助解决一个连续几天未能突破的数学特例。

AI推翻著名几何猜想，OpenAI 宣布攻克 80 年数学难题

OpenAI 称其全新推理模型推导出了一个原创数学证明，推翻了几何学中一道著名的未解猜想。该猜想最早由保罗・埃尔德什于 1946 年提出。