陶哲轩转发人类数学协会声明呼吁抵制OpenAI

近日，菲尔兹奖得主陶哲轩在个人博客中转载了一份由人类数学协会（AHM）发布的声明。该声明批评OpenAI无视数学界的研究规范，并呼吁数学家停止与OpenAI的合作。

争议核心：研究规模与学术规范的冲突

此次争议源于OpenAI公开的一批数学研究手稿。相关资料显示，其内部模型尝试解决了约4000道数学问题，最终整理出涉及372组成果的研究材料，并公开了部分Lean形式化证明代码。

然而，这种大规模的成果发布并未获得学界的普遍认可。声明指出，一次性发布700多份文件展示的是“权力”而非学术研究，并被指责为在炫耀“算力霸权”。

数学界对AI研究的诉求

数学界认为，学术研究的价值不仅在于证明的正确性，还包括以下维度：

  • 推导过程是否能够被人类理解；
  • 是否充分引用了前人的工作；
  • 新方法能否通过同行讨论并融入现有的知识体系。

声明强调，形式化验证虽然可以检查逻辑推导，但无法自动替代人工对命题含义、研究贡献以及学术背景的审查。

两种数学研究愿景的对比

目前存在两种不同的研究路径之争：

  • 人类中心路径：主张以人类理解为核心的科学愿景，认为AI应作为辅助工具，其输出内容需经过人类理解并改写为符合人类习惯的形式，以确保数学社区能够理解论文。
  • AI数学路径：指OpenAI目前采取的方式，被认为是在输出人类难以理解的“天书”，要求人类数学家去被动理解。

有观点认为，OpenAI应当输出人类能理解的版本以获得业界的认可，而非直接提供大量难以阅读的资料。