OpenAI近日发布了数百份由其人工智能生成的数学证明文件，这一举动在数学界引发了强烈反响。继此前关于其AI模型声称解决了Navier-Stokes方程的争议后，这次的批量发布再次激起了专家们的质疑和不满。

许多数学专家对OpenAI的做法表示反感，认为公司在未经充分验证的情况下，利用他们的研究成果，并期望数学界承担起解读和验证这些有时几乎难以理解的AI证明的重任。

人类数学协会（Association for Human Mathematics）发表声明，严厉批评了OpenAI的发布行为。该声明随后得到了菲尔兹奖得主、数学界重要人物陶哲轩的转发和支持。声明指出：“数学家们对进步有着基于历史和领域特定考量的独特理解。我们拒绝OpenAI声称此次发布推动了数学发展的说法，并敦促数学界和公众对这种发布模式保持应有的怀疑态度。”

声明还强调：“一次性发布700多个文件，不是学术成果的展示，而是权力的炫耀。”

OpenAI在发布文件的同时，宣布其正在努力改进与数学界的交流方式，并称已与一个名为数学与人工智能咨询小组的独立专家团体进行磋商。然而，公开信息中未提及该咨询小组反对OpenAI继续在其专有模型上测试高级数学问题，理由是这些模型对科学界仍然不透明。

该咨询小组在上月底发布声明明确表示：“我们从一开始就不支持这种做法，并要求OpenAI停止在专有模型上测试高级数学问题。”

人类数学协会在最新声明中批评OpenAI无视咨询小组的建议，却利用该小组来“获取其在数学领域的合法性”。

声明指出：“OpenAI无视咨询小组的核心立场，显示出对科学研究规范的完全漠视——这些规范保证了数学的可信性、伦理性和公共利益。”

OpenAI的数学证明是通过一种名为Lean的编程语言进行验证的。尽管技术上可能正确，但这些证明的实际价值尚未明确，因为它们有时对人类来说几乎难以理解。除了质疑AI成果是否能推动数学领域发展、加深人类对数学奥秘的理解外，数学家们还被期望承担起解读和验证OpenAI一次性发布的数百份证明的繁重工作。