在过去的24小时里，关于“谁先证明”的争论喧嚣不断，影响了数学界和人工智能领域。享有盛誉的数学家陶哲轩在社交平台Mathstodon上发文，警告人工智能公司正在以不可再生的方式耗费数学界最珍贵的资源——真正值得研究的开放问题。

此次争议的起因是OpenAI宣布其内部一个尚未发布的模型，能够明显超越GPT-6 Astra，并成功证明了被称为千禧年问题之一的纳维-斯托克斯方程的存在性与光滑性。OpenAI的此次举动源于纽约大学数学家与另一位研究者在相关领域取得的突破，为了在对手之前完成这一问题，OpenAI动用近一万智能体，并发送了约270万条信息，消耗了大量资源。相关方面透露，其中一位数学家还接到不当要求，鼓励他在研究中单独署名。

陶哲轩认为此次事件远超之前的争议，他在发文中提到，甚至是“有人正在研究某个问题”的传言，都足以吸引大量人工智能能力的介入，旨在于原始研究团队之前提前解决问题。这种现象并非个案：今年5月，OpenAI的模型完成了存在了80年的埃尔德什单位距离猜想的证明，而人类的顶尖模型也给出了更简明的解法。陶哲轩比喻当今数学界犹如在一片宽广的海洋前，然而却面临着洪水的侵袭。他指出，虽然问题层出不穷，但真正稀缺的是经过深思熟虑的研究问题。 球友会

他表示，毫无节制地使用强大工具虽然可以短期解锁一些问题，却代价高昂，可能影响整个学科的生态。他提醒大家，目标一旦不再聚焦于长远利益，容易陷入追求短期成果的泥潭。他重申，生成式AI本身缺乏对研究真实性的内在约束，企业利益驱动的情况下，指向容易量化的成果，反而与数学研究的本质相悖。

陶哲轩早前在国际数学家大会的发言再次引起关注，他提到数学应同时追求多个目标，如解决实际问题、构建理论框架、传承学术传统以及培养新一代。这些目标互为促进，方向一致。他引用古德哈特定律指出，达到的目标不再代表真实的进展。如今，受到挑战的并不是数学真理，而是学界长期以来未言明的价值体系和实践规范。

面对这一新形势，数学界开始集体行动，发布了“莱顿宣言”，旨在正视人工智能对数学研究的影响。这一声明已经获得约三千名科学家的签署，陶哲轩作为联署人之一表示，数学界应更早关注人工智能带来的改变。他建议对某些问题标记为“需要人工分析”，让AI生成的结果在学术评估中的权重降低。他强调，“以人为本”的原则至关重要，不能仅关注AI成果解决了多少具体问题，忽视人类共同的知识积累与科学理论。 球友会

尽管围绕署名风波的争论可能会平息，但陶哲轩提出的问题依然存在。在计算能力可以在短时间内“摘取”人类数年研究成果的情况下，数学这一古老学科的价值定义或将面临新的挑战与考验。