北京
2026年10月6日，OpenAI公布了一批由社内AI模型生成的数学成果，数量是722件。这些成果按数学领域分类，其中一部分用Lean语言完成了证明的形式化——Lean是一种能让计算机验证数学证明的编程语言。
消息发布后不久，一个名为「The Association for Human Mathematics（人间数学协会）」的组织发声明回应。这个组织由世界各国的数学家组成。声明的措辞相当直接：一次性公开700份以上的文件，不是学术成果的展示，而是权力的炫耀。
一场关于「谁说了算」的争论
争论的焦点，落在一个叫AGMAI的咨询机构上。AGMAI全称「Advisory Group on Mathematics and Artificial Intelligence」，由普林斯顿高等研究院主办。OpenAI方面表示，自己是与AGMAI反复协商后，才依据该机构2026年9月29日公开的《AI生成数学信息的负责任公开》提言，发布了这批成果。
但人间数学协会指出，AGMAI那份提言的开头就写得很清楚：目前一部分最前沿的AI研究机构，正在用一般科学界无法接触到的自有模型验证高难度数学问题；理想的状况是，这种行为本身就应该避免；AGMAI并不认可这种做法，并且从一开始就明确要求停止用自有模型验证高难度数学问题。
换句话说，OpenAI把AGMAI的提言当成了发布依据，而人间数学协会认为，这份提言恰恰是在反对OpenAI正在做的事。
人间数学协会在声明中还提到，数学家们并没有要求这样的工作。声明呼吁数学家们中止与OpenAI的共同研究，并请求数学家和普通公众，以适当的怀疑态度去评估这批成果的价值。
719件里，只有10件公开了思考过程
科技媒体TechCrunch对这批成果做了核查。OpenAI公开的是719件——有3件在发布后被撤回。TechCrunch指出，这719件中，公开了AI模型思考过程的只有10件。
TechCrunch还提到，剑桥大学等机构的数学家在10月发表的一篇论文中指出，用Lean对数学证明进行形式化的过程中存在问题。
另一个被反复提及的问题是：AI生成的论文里，缺少数学者通常会提供的那种说明。这不是新话题。此前就有数学家主张，在数学研究中使用AI，可能损害证明的可靠性和研究的自律性，构成潜在威胁。也有数学家反对把数学用作AI基准测试，认为这是有害的。
「几个世纪的数学进步，正在几周内发生」
围绕这批成果的讨论，很快溢出了数学圈。
以太坊研究者贾斯汀·德雷克表示，OpenAI的发布明确显示出，数学超级智能正在成为现实。他说，人们常说几十年的进步会在几周内发生，而我们现在正要进入的时代，是几个世纪的数学进步在几周内发生。
理论计算机科学家斯科特·阿伦森在自己的博客里写道，他妻子长年研究的一个数学问题，出现在了OpenAI公布的成果之中。这篇博客在Hacker News上引发了讨论。有用户评论说，AI模型解决一个数学未解问题的成本大约只要810美元，从成本上看非常便宜。
英国媒体The Independent则从另一个角度报道了这件事：AI模型如果能够解决高难度数学问题，维持互联网安全的加密技术就会面临危机。报道解释说，几十年来，互联网的安全依赖于加密技术来保护机密数据、保障数据在公共网络上传输时的隐私，而这项技术建立在目前极难高效求解的数学问题之上。AI的快速进步，可能催生出能解出这些问题的新算法。
报道还提到，比特币和以太坊等加密货币的核心加密技术，同样会随着AI模型性能的提升而面临风险。
一边是722件成果的集中发布，一边是数学家群体要求中止合作、呼吁同行保持怀疑。这场争论的核心，或许并不在于这些证明对不对，而在于谁有资格定义什么算数学的进步。
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
