OpenAI 在2026年早些时候宣布其 AI 系统已在群论、拓扑等领域解决了众多公开数学问题。此声明引发了全球数学家的 varied 反应,Proofs and Prompts 在一篇博客文章中汇总了超过100条回应。这些回应捕捉了数学界对许多人描述为数学研究领域地震式发展的初步反应。
许多数学家对展示的技术能力表示惊讶。群论数学家 Xiaolei Wu 报告称,‘惊讶地发现许多消息中包含同一 PDF 文件’,该文件详细阐述了他们领域中‘几乎所有主要公开问题’的解决方案,包括汤普森群 F 的非可逆性以及 Eilenberg–Ganea 假设的错误。Roman Sauer 指出,他们之前开发的一种数学技术——用 ergodic theory 中的可测叶状对象替换流形——出现在 OpenAI 对特定问题(207 和 335)的解决方案中,他们形容这种方法的效果为‘不合理’,并表示在看到 AI 生成的工作之前,这种方法曾几次令他们感到惊讶。
这些反应也揭示了关于 AI 生成工作如何与既定研究实践相契合的担忧。Nicholas Williams 强调,数学家的工作不仅限于解决公开问题,还包括‘与主题材料进行交手并思考最初应该提出什么好的猜想’,这表明学科在仅关注问题解决速度的评估中可能被忽视的更广泛作用。Henry Wilton 从多方面批评 OpenAI 的做法,指出公司未在论文中标注作者并回避传统期刊投稿,削弱了对‘结构、进度和长期目标的衡量标准’至关重要的社区规范,同时也未披露‘关于问题如何选择或其尝试失败率的基本信息’。Wilton 得出结论,这种做法有可能冲走‘我们社区的结构以谋取其财务利益’,这反映了人们对 AI 解决方案快速传播可能破坏历来定义数学进步的协作与核验过程的担忧。
