OpenAI训练VP Liam Fedus回应陶哲轩等25位菲尔兹奖得主联署声明,赞同重视概念理解,但反对用今天AI的能力边界框定未来。
AI做数学正快速跨过门槛:今年5月OpenAI内部模型反驳近80年历史的Erdős单位距离猜想,9月初又宣布用约1万个自主AI Agent在88小时内找到三维Navier–Stokes方程奇点证明并通过Lean验证。
争议随之爆发:纽约大学Tristan Buckmaster与Anthropic数学家Levent Alpöge公开流体方程研究,OpenAI几乎同期宣布类似成果,双方就研究方向、署名和优先权发生争执。
多家数学机构已回应:美国数学学会强调数学目的是人类理解,伦敦数学会称提出问题与创造概念仍是人的工作,克雷数学研究所表示新证明仍需同行检验,真正问题在于人类数学共同体如何让机器产生的新知识被理解、验证并成为数学的一部分。
