陶哲轩邓煜对谈AI数学理解边界

发生了什么

据钛媒体报道，陶哲轩与邓煜在SAIR Foundation播客中对谈AI与数学。报道引述邓煜提出，数学存在已有证明的问题边界和人类能够理解证明的边界，AI使后一条边界显现。陶哲轩称数学界奖励“解题”实际奖励的是能讲清证明、提出新问题和带出学生的一整套活动。报道还提及，OpenAI于今年9月宣称模型攻克纳维-斯托克斯方程，10月6日发布722篇由AI生成的数学预印本，次日因符号错误撤回三篇；10月8日更新日志显示另有14篇被修订、13篇更新引用，手稿总数从722降至719。