微信公众号（Mp2RSS 合集）· 机器之心·· 2026-08-16精选AI 评分76
AI 辅助证明 70 年森多夫猜想，陶哲轩简化后得出更强结果
AI宣布森多夫猜想告破！陶哲轩发现它隐藏的更强结果
AI 导读
初创科技公司 CEO Lech Mazur 借助 GPT-5.6 Pro 完成森多夫猜想的证明，论文配有约 9 万行 Lean 4 形式化代码。陶哲轩用数天时间在大量 AI 辅助下消化、简化并重新形式化该证明，Lean 代码缩减到约 1.5 万行，并发现整理后的论证实际上证明了更强的 Phelps-Rodriguez 猜想，该猜想已于 1972 年提出。
推荐理由
一篇非职业数学家借助 AI 完成的证明经陶哲轩简化后得出更强结果，可看到 AI 参与数学研究的具体分工。
来源：微信公众号（Mp2RSS 合集） · mp.weixin.qq.com