OpenAI眼下需要解决的最难数学题，是一群被彻底激怒的数学家。在遭到加州理工学院新老学者们的公开联名抵制后，OpenAI研究负责人周四证实，该公司已正式退出赞助加州理工学院即将举办的“数学黑客松”赛事。
这场纷争源于加州理工学院数学系学者发表的一封公开信。信中直言不讳地指出，由AI公司赞助此类赛事“极有可能对整个数学学术界带来毁灭性的破坏”。OpenAI研究负责人丹·罗伯茨随后在社交平台上回应称：“我们意识到AI在数学领域的飞速进展带来了剧烈冲击，我们将寻积极与数学界沟通，探讨如何更好地整合这项技术。”
数学家们愤怒的核心，在于AI巨头们近期的所作所为。他们痛批AI公司习惯于用大模型宣称“攻克了某个重大理论难题”，随后把验证过程、实际应用乃至繁重的定理证明工作全扔给现实中的研究人员，这种行为被数学界称为制造“垃圾数学”（slop mathematics）。学者们在信中写道：“每当AI公司抛出一个所谓的新成果，研究型数学家们就被迫介入去验证、传播甚至彻底推翻这些所谓的结论，而这项极其繁重的工作却得不到任何报酬、荣誉或许可。”
双方的矛盾在周二达到了顶峰。当时OpenAI高调宣称其AI智能体攻克了困扰人类90年的千禧年难题——纳维-斯托克斯方程。随后纽约大学数学家特里斯坦·巴克马斯特质疑，OpenAI可能是后台读取了自己使用AI工具的交互数据才得出的答案，而OpenAI官方对此也未能完全否认。
此外，数学家们还认为加州理工的这场赛事充当了AI公司的免费广告，大厂“会把聪明本科生的研究成果据为己有”。根据赛事规划，参赛学生将被分发数万美元的AI Token，在规定时间内利用大模型解决开放性数学难题，胜出团队将获得更多Token进行后续研究。Anthropic与OpenAI原本承诺为赛事赞助价值200万美元的AI算力额度。
面对巨大的舆论风暴，由本科生发起的赛事组委会表示，举办比赛的本意是鼓励年轻人利用现代化工具探索数学，并对收到的反馈表示感谢。随着OpenAI的退出，目前尚不清楚其承诺的算力配额将如何处理，而另一家赞助方Anthropic则暂未回应置评请求。