Maggi 在 Tao 博客谈 LLM 证明与数学界审视

事件综述根据 1 篇报道整理，10月19日更新

数学家 Francesco Maggi 在 Terence Tao 博客的客座文章中提出，大语言模型已能生成数学证明，例如带强迫项的 Navier–Stokes 方程有限时间爆破解的构造，以及准黎曼假设的证明提案。 Maggi 称，这类由 LLM 产出的证明仍需数学界持续独立审视，不能直接采信。文章把 LLM 证明能力与科研生态的选择并置讨论，但未给出这些证明已被验证的结论。

综述由模型根据报道生成，细节以各篇原文为准。