⌘ K
… 读取采集状态 同步中...
雷
原文
机器之心· 机器之心·· 2026-08-16精选AI 评分86

Lech Mazur 借助 GPT-5.6 Pro 证明森多夫猜想,陶哲轩消化后发现更强结果

AI宣布森多夫猜想告破!陶哲轩发现它隐藏的更强结果

AI 导读

初创公司 CEO Lech Mazur 宣布借助 GPT-5.6 Pro 完成约70年历史的森多夫猜想证明,论文称猜想对所有 n≥2 成立,配有约9万行 Lean 4 形式化代码。

推荐理由

梳理了从1969年到2026年的证明进度线,读者可据此理解这次AI辅助证明在该猜想研究史上的位置。

本文当前提供导读和图片预览,完整图文请查看原文。

来源:机器之心 · mp.weixin.qq.com