OpenAI称攻克300多道人类未解数学题 引发全球数学界争议

　　OpenAI称攻克300多道人类未解数学题 引发全球数学界争议。6日，美国人工智能公司OpenAI在GitHub平台发布了700多篇数学手稿，声称其模型能够解决数百个数学难题，涵盖代数、逻辑、几何和概率等多个领域。这一消息在全球数学界引发了争议：一些数学家感到振奋，但也有人抱怨研究被抢先发表，还有人质疑这些成果的验证方式。

　　OpenAI表示，其拥有的所谓“尖端内部模型”已解决了300多个之前无法攻克的数学难题，涉及从代数到逻辑、几何和概率等多个领域。今年9月，OpenAI宣布其最新未公开AI模型用88小时给出了纳维—斯托克斯方程存在性与光滑性问题的证明，并同步公开了166页论文和Lean验证代码，震惊了学术界。这个早在19世纪就被提出且几代数学家未曾解决的数学难题，居然被AI轻松攻破，引发全球数学界的质疑和愤怒。仅仅一个月之后，OpenAI又发布了722篇数学手稿，涉及霍奇猜想与黎曼假设等众多数学难题。法国数学家塞德里克·维拉尼认为这是至少4个世纪以来数学领域最根本的变革。

　　维拉尼指出，平均每个数学问题花费了相当于ChatGPT Pro 3个小时的算力，对人类数学研究者来说，OpenAI的描述更像是一种刺耳的傲慢。他认为，世界上没有一所大学能以如此高效的速度产出高水平的数学研究，这将彻底改变数学专业。2022年国际数学界最高荣誉菲尔兹奖得主雨果·迪米尼-科潘也表示，必须完全重新想象数学研究的形式。

　　然而，对于OpenAI宣称的数学研究成果，不少数学家持怀疑态度。迪米尼-科潘透露自己正在研究AI声称已解决的16个数学问题，但因为涉及到大量理论和数据，理解及验证都面临巨大工作量。OpenAI发布700多篇手稿后，因暴露明显错误撤回了3篇手稿。此外，AI还存在剽窃数学家成果的可能性。美国西北大学数学教授本杰明·安蒂奥指出，AI破解纳维—斯托克斯方程的过程并非从零开始，而是基于两名数学家的成果，他们曾使用OpenAI的编程工具辅助研究。安蒂奥表示，现阶段AI有助于解决已有问题，但没有扩大学科领域，提出新的方程课题，更没有取代人类的创造力。即使AI可以回答任何问题，数学家仍将发挥重要作用，因为他们不仅仅是解题，还提出了有助于整个社会的问题。OpenAI称攻克300多道人类未解数学题 引发全球数学界争议。