AI成功攻克未解指数衰减定理，引发数学知识体系演变探讨

iskander · x · 2026-08-02

一位数学领域专家在X上探讨了近期AI生成证明在知识体系中的位置。他引用了另一位数学家的经历：该数学家在2016年证明了多项式衰减定理，但指数衰减定理一直悬而未决。

此前尝试使用GPT 5.5解决该问题并未取得明显进展。然而，最近Lijie Chen提供了一份证明写稿（据称已有Lean形式化验证）。发帖人表示，虽然消化这份证明需要时间，但这表明AI确实能在前人研究的基础上实现突破，这也引发了业界对AI如何重塑数学研究格局的思考。