数学与科学将迎来黄金时代还是黑暗时代

Francesco Maggi 在 Terry Tao 博客客座发文，讨论 LLM 生成数学证明对数学与科学的影响，提出黄金时代与黑暗时代两种情景。他指出 LLM 在 Lean 中写证明表现最好，但长篇 Lean 证明的自然语言翻译混乱难读，且 Navier-Stokes、黎曼猜想等文献丰富的问题更易被攻克。