千年难题传捷报,学界存疑
有追踪报告称,七个千禧年大奖难题中已有四个取得实质性进展:纳维-斯托克斯方程被声称解决,黎曼猜想、Hodge猜想与BSD猜想处于同一未验证集合,每个难题平均耗费约3小时思考算力。由于缺乏独立验证,数学界普遍持谨慎态度,部分结果附带Lean形式化证明的部分可信度较高。
陶哲轩:数学家并没有要求这项工作
菲尔兹奖得主陶哲轩回应称,数学家并没有要求这项工作,将AI大举介入视为对本领域 progress 观念的冲击。Scale AI CEO Alexandr Wang则针锋相对,称创新无需许可,知识守门人没有否决权。数学家Danielle Fong给出了更技术性的批评:Lean证明可以编译,但论文几乎不可读,连图表都没有。
被自己的提问抢首发?
一个流传甚广的案例引发学术伦理震动:一位数学家9月8日将未发表的证明草稿上传ChatGPT求助,10月6日OpenAI公布的结果中出现了编号311、与其思路惊人相似的结果,仿佛被自己的查询抢了首发。该指控尚未得到证实,但已引发对AI公司如何处理用户上传研究内容的严肃质询。
密码学率先重新定价
产业层面的反应已经出现:密码学社区开始把部分算法的安全寿命评估从数月压缩到两年内重估。数学成果如何认定、署名与收益如何分配,正在成为AI时代科学体系的全新命题。
