OpenAI发布大量数学研究成果

6日，美国人工智能公司OpenAI在GitHub平台发布了700多篇数学手稿。OpenAI声称，其拥有的“尖端内部模型”已经解决了300多个此前无法攻克的数学难题，这些成果涵盖了代数、逻辑、几何和概率等多个领域。

学术界反应与争议

这一消息在全球数学界引发了广泛争议。部分数学家对此感到振奋，但也有研究者抱怨自己的研究被抢先发表，或对成果的验证方式提出质疑。

  • 正面评价：法国数学家塞德里克·维拉尼认为，这是数学领域至少4个世纪以来最根本的变革。他指出，平均每个数学问题花费的算力相当于ChatGPT Pro 3个小时。2022年菲尔兹奖得主雨果·迪米尼-科潘则表示，必须完全重新想象数学研究的形式。
  • 质疑与批评：维拉尼认为OpenAI的描述更像是一种“刺耳的傲慢”，并指出没有大学能以如此高效的速度产出高水平研究。迪米尼-科潘透露，他正在研究AI声称已解决的16个数学问题，但由于涉及大量理论和数据，理解与验证面临巨大工作量。

具体案例与潜在问题

今年9月，OpenAI宣布其未公开AI模型在88小时内给出了纳维—斯托克斯方程存在性与光滑性问题的证明，并公开了166页论文和Lean验证代码。该难题提出于19世纪，此前几代数学家均未解决。

然而，相关成果被指存在问题。在发布700多篇手稿后，OpenAI因暴露明显错误撤回了其中3篇。此外，美国西北大学数学教授本杰明·安蒂奥指出，AI破解纳维—斯托克斯方程并非从零开始，而是基于两名曾使用OpenAI编程工具辅助研究的数学家的成果，暗示AI存在剽窃可能。

安蒂奥认为，现阶段AI有助于解决已有问题，但尚未扩大学科领域或提出新方程课题，且未能取代人类的创造力。