数学中的AI：AI为人类服务，也作用于人类

2026年5月，OpenAI 发布了一个针对“单位距离猜想”的反例，推翻了自1946年以来一直悬而未决的几何图论中的一个猜想。这紧随其他由人工智能辅助解决长期问题的案例之后，标志着一个转折点。像 Abhishek Saha 这样的数学家现在使用人工智能模型来处理日常事务，将自己描述为指挥家而非整个管弦乐队。一些人，如 Trefor Bazett，看到了新黄金时代的潜力，并引用了卡内基梅隆大学的一篇论文，该论文利用 SAT 求解器、大语言模型生成的代码和形式化证明验证解决了一个拉姆齐理论问题。Timothy Gowers 在2000年就预测到了这个时代，他心情复杂，因为他亲身经历了自己研究的问题被人工智能解决。他担心如果人类不再积累专业知识，数学文化将遭到破坏。由3000多名数学家签署的《莱顿人工智能与数学宣言》旨在制定相关准则。Epoch AI 报告了进展，但指出最难的基准类别仍未解决。陶哲轩将这种情况比作20世纪初的基础危机，视其为加强数学的机会，而 Kirwin Hampshire 的文章《数学的暗夜》则提出了更为悲观的观点，认为这些安慰自欺欺人。