加速数学

摘要

本文探讨如何利用科技加速数学发现。传统上，政府通过资助机构和中心支持个人及小团队研究前沿问题。作者认为，尽管大型语言模型（LLM）和交互式定理证明器（ITP）有望颠覆数学研究，但目前尚无“杀手级应用”。专家们使用LLM进行头脑风暴、文献检索和解决中间问题，而业余爱好者则产生大量经不起推敲的“突破性”论文。作者对非专家仅凭这些工具投身研究数学表示怀疑，并对AI生成的低质量内容感到沮丧。