上海
当地时间9月11日，陶哲轩、邓煜等25位菲尔兹奖得主发表联合声明，警告人工智能快速用于解决数学问题可能使AI发展目标与数学研究目标“严重错位”。声明称，近年来大型语言模型解决重大数学问题的能力大幅提升，但AI企业将数学问题作为能力基准，可能损害数学研究和数学界。
声明指出，数学研究的核心目标是形成概念理解和新洞见，而非单纯给出“正确或错误”的答案。AI快速批量生成数学成果，可能压缩成果验证、方法总结、学术交流和引用前人成果的时间，并引发严重的署名和抄袭问题。
声明同时认为，AI也有潜力提升数学研究效率，最终影响将取决于掌握这项技术的人如何作出决策。
此前，9月8日，OpenAI宣布，其内部AI系统给出了纳维-斯托克斯方程（Navier–Stokes）存在性与光滑性问题的解答，并公开了相关论文和Lean形式化证明。
OpenAI称，此次攻关调动了高达约1万个并发AI智能体，约88小时后得到核心证明。
纳维-斯托克斯问题是克雷数学研究所（Clay Mathematics Institute）2000年公布的7个“千禧年大奖难题”之一，每题奖金为100万美元。克雷数学研究所目前仍将该问题列为“未解决”。
但OpenAI的这一声明随后便遭到纽约大学数学家特里斯坦·巴克马斯特（Tristan Buckmaster）的“炮轰”，质疑OpenAI在获悉他与Anthropic数学研究员莱文特·阿尔珀格（Levent Alpöge）研究纳维-斯托克斯方程的技术路线后，利用海量算力抢先跑通形式化证明。不过，OpenAI对此予以否认，并称双方最终得到的证明存在明显差异。
对于OpenAI的“成果”，学术界也发出了不同的声音。菲尔兹奖得主、数学家陶哲轩直接警告称，AI抢跑数学界，好问题成稀缺资源。
（观察者网综合自界面新闻、每日经济新闻等）
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
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.
