⌘ K
… 读取采集状态 同步中...
雷
原文
人工智能学家· 人工智能学家·· 2026-09-06AI 评分38

陶哲轩:AI黑箱证明或致数学停滞

陶哲轩解释了人工智能驱动的数学证明为何可能对数学产生负面影响。

AI 导读

菲尔兹奖得主陶哲轩警告,若AI系统以封闭黑箱方式解决纳维-斯托克斯方程等难题,将扼杀探索过程中的数学工具创新,使领域失去进步源泉。他强调,透明的迭代试错过程比最终证明更具价值,而当前AlphaProof Nexus、GPT-5.2等AI虽取得突破,但部分结果存在撤回或纠错风险,凸显过程透明度的重要性。

本文当前提供导读和图片预览,完整图文请查看原文。

来源:人工智能学家 · mp.weixin.qq.com