AI成功攻克未解指数衰减定理，引发数学知识体系演变探讨
iskander · x · 2026-08-02
一位数学领域专家在X上探讨了近期AI生成证明在知识体系中的位置。他引用了另一位数学家的经历：该数学家在2016年证明了多项式衰减定理，但指数衰减定理一直悬而未决。
此前尝试使用GPT 5.5解决该问题并未取得明显进展。然而，最近Lijie Chen提供了一份证明写稿（据称已有Lean形式化验证）。发帖人表示，虽然消化这份证明需要时间，但这表明AI确实能在前人研究的基础上实现突破，这也引发了业界对AI如何重塑数学研究格局的思考。
「研究」频道最新
- MIT AI 模型解码细胞通信语言，瞄准再生医学 — emmanuelvivier · 2026-10-16
- 视觉预训练模型做触觉预测有多难?机器人研究者激辩跨模态迁移 — KyleMorgenstein · 2026-10-16
- Tsallis 熵正则化最优 transport 统一 Monge 与 Sinkhorn 两大框架 — FrnkNlsn · 2026-10-16
- EPFL/DeepMind 研究者将线上讲解 Simplex Diffusion Models 论文 — ArnaudDoucet1 · 2026-10-16
- 美团 LongCat 团队发布 Data World：合成数据环境训练数据智能体 — meituan-longcat · 2026-10-16
- FDE-Gym 基准曝光 AI 交付最后一英里：前沿模型得分最多 0.56 — DeepLethe · 2026-10-16