AI冲击数学界争议发酵:四个千年难题传出进展,陶哲轩回应数学家并没有要求这项工作

作者:AGI Hunt / 数学社区 发布时间:2026-10-09 18:43:40 浏览:1
关键字:
围绕AI数学能力的争议持续发酵:有报告称七个千禧年大奖难题中四个取得进展,纳维-斯托克斯方程甚至声称被解决。陶哲轩以「数学家并没有要求这项工作」表达不满,另有数学家指控其9月上传ChatGPT的未发表证明与OpenAI 10月公布的结果高度雷同。

千年难题传捷报,学界存疑

有追踪报告称,七个千禧年大奖难题中已有四个取得实质性进展:纳维-斯托克斯方程被声称解决,黎曼猜想、Hodge猜想与BSD猜想处于同一未验证集合,每个难题平均耗费约3小时思考算力。由于缺乏独立验证,数学界普遍持谨慎态度,部分结果附带Lean形式化证明的部分可信度较高。

陶哲轩:数学家并没有要求这项工作

菲尔兹奖得主陶哲轩回应称,数学家并没有要求这项工作,将AI大举介入视为对本领域 progress 观念的冲击。Scale AI CEO Alexandr Wang则针锋相对,称创新无需许可,知识守门人没有否决权。数学家Danielle Fong给出了更技术性的批评:Lean证明可以编译,但论文几乎不可读,连图表都没有。

被自己的提问抢首发?

一个流传甚广的案例引发学术伦理震动:一位数学家9月8日将未发表的证明草稿上传ChatGPT求助,10月6日OpenAI公布的结果中出现了编号311、与其思路惊人相似的结果,仿佛被自己的查询抢了首发。该指控尚未得到证实,但已引发对AI公司如何处理用户上传研究内容的严肃质询。

密码学率先重新定价

产业层面的反应已经出现:密码学社区开始把部分算法的安全寿命评估从数月压缩到两年内重估。数学成果如何认定、署名与收益如何分配,正在成为AI时代科学体系的全新命题。

阅读原文

本文由AI融业云采集并编辑,仅供学习使用!

本文来自agihunt.info,作者AGI Hunt / 数学社区

关于AI融业云:一站式AI应用服务平台,了解创始人 | 联系我们

有问题,请联系客服!http://www.rongyeyun.com/kefu/