Francesco Maggi 撰文探讨 LLM 时代数学的黄金时代与黑暗时代图景

Francesco Maggi 在 Terry Tao 博客发表客座文章，分析 LLM 对数学和科学的影响。文章以八个论点指出 LLM 已能产出值得关注的 Lean 证明但自然语言转译质量差，讨论 mathematization、署名与同行评审、数学家培养和私营公司控制前沿模型的风险，并建议科研界协调建设独立的 LLM 基础设施，以争取黄金时代情景。