7.9
深览指数
科技腾讯新闻·中国新闻周刊··AI 生成
数学在被毁灭？25人联名警告，菲尔兹奖得主独家回应！
25位菲尔兹奖得主与陶哲轩联合发表声明，谴责OpenAI等AI公司将攻克数学难题作为模型基准的做法，认为这偏离了数学追求概念理解的根本目标，并对学术生态造成损害。文章以斯米尔诺夫专访为核心，深入探讨了AI的“黑箱”证明、学术优先权争议、数据伦理以及AI对数学训练和知识连续性的潜在破坏。本文核心贡献在于揭示了数学家群体与AI公司之间在科研目的、评价标准和价值取向上日益尖锐的结构性矛盾，而非简单报道AI解出难题这一事件。适合关注AI伦理、科学哲学与基础数学交叉领域的深度读者。原文 ↗
核心观点
- ▍AI公司将解决数学难题作为模型能力基准的做法，与数学共同体追求概念理解的根本目标产生了显著分歧，并损害了数学科学本身及数学界生态。
- ▍目前AI的数学研究模式过于注重产出结论（证明），而牺牲了对研究目标及其背后思想的理解，这一模式可能会对科学发展及其长期应用造成损害。
- 012024年9月8日，OpenAI宣称其未公开的AI模型用88小时解决了纳维-斯托克斯方程(N-S方程)的存在性与光滑性问题，该问题是七大千禧年大奖难题之一。
- 02纽约大学数学家巴克马斯特质疑OpenAI是在得知他与Anthropic研究员取得关键进展后才加大投入，并怀疑自己上传的未发表草稿被AI模型“偷看”。
- 03瑞士日内瓦大学教授、菲尔兹奖得主斯米尔诺夫认为，AI“挪用他人思想”或“使用未发表思想”的行为，如果发生在人类数学家身上，会被视为对学术伦理的严重违反。
- 04斯米尔诺夫用“考古挖掘比喻”反驳AI优于数学家的简单类比：挖掘机速度快但可能破坏“珍贵文物”（思想），而人工慢速挖掘能更好地保存和发现这些思想。
- 05斯米尔诺夫表示，一位学者朋友在使用AI生成课程练习题一年后，发现自己解决学生水平相关问题的能力都显著下降，说明AI可能损害研究者的基本能力。
反方 / 局限
- — 斯米尔诺夫坦承，AI在理解已知信息、进行实验和检验现成方法方面非常擅长，且其能力正在飞速提升，未来几年传统研究方法必将面临调整。
- — 文章暗示，目前AI的局限（无法提出真正新颖的想法）可能是暂时性的。斯米尔诺夫对“AI本身是否能产生新想法”持不确定态度（“目前来看是否定的，但我说不好”）。
- — 文章提出的“AI知识平权”愿景存在内在张力：一方面AI可能让更多人接触数学结论，但另一方面，当前这些进展多依赖不公开的私有大模型，反而加剧了知识垄断。
7 分钟 · 4 卡片 · 8 资料
读原文 →