北京
来源：环球时报
【环球时报驻法国特约记者 董铭】6日，美国人工智能公司OpenAI在GitHub平台一口气发表了700多篇数学手稿，声称其模型能够解决数百个数学难题，涵盖代数、逻辑、几何和概率等多个领域。据法国新闻网12日报道，这一“重大突破”在全球数学界引发不小争议：有数学家感到振奋，也有人抱怨研究被抢先发表，还有人质疑这些成果的验证方式。
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的编程工具辅助研究，其中一人还与OpenAI的竞争对手Anthropic合作过。安蒂奥表示，现阶段AI有助于解决已有问题，但没有扩大学科领域，提出新的方程课题，更没有取代人类的创造力，“即使AI可以回答任何问题，数学家仍将发挥重要作用。因为这不是从A点到B点的解题，而是提出有助于整个社会的问题。”
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
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.
