Will it be a golden age or a dark age for mathematics (and science)?

Francesco Maggi 撰文指出，大语言模型能加速数学发现，但人类理解、科研独立性与人才培养将影响数学和科学走向黄金时代还是黑暗时代。文章区分 Lean 形式化证明的正确性与人类理解，强调数学进步还包括创造概念框架，并讨论署名、同行评审、研究保密与商业模型能力获取不均的问题。