OpenAI公开722篇数学手稿意味什么 AI颠覆数学界[推荐]

OpenAI再次引发争议。今天，全球数学界和人工智能领域被一则消息震惊：OpenAI在没有预警、未经同行评审的情况下，发布了由其内部前沿模型生成的新数学成果。他们直接公开了一个名为math的GitHub项目库，里面包含722篇数学手稿，解决了372个此前悬而未决的顶级数学难题。

其中最引人注目的是拟黎曼猜想的证明，并附有Lean形式化验证。如果这一成果得到证实，将是数论领域的历史性突破，也是人工智能发展史上的里程碑。据称，这些难题的解决仅需一个未发布的内部模型平均3小时的算力。

对此，数学家们表达了愤怒。他们认为这种做法无视学术规范，破坏了长久以来的礼仪。早在今年8月，OpenAI曾秘密召集40位全球顶级数学家开会，讨论如果人工智能在纯数学领域全面超越人类，该如何应对。当时，OpenAI透露其内部模型已突破上百个悬案，现场气氛复杂，既有兴奋也有恐惧。

学者们恳请OpenAI按学术规范发表严谨论文，给人类学者留出消化和验证的时间。然而，OpenAI选择了粗暴的方式发布成果，甚至提前宣布了纳维-斯托克斯方程的突破。一些数学家将其行为比作黑帮，担忧科技寡头垄断智慧权力。