OpenAI 退出 Caltech 数学黑客松，此前数学家发布公开信批评 AI 数学“废料”

OpenAI 正在尝试解决的最新数学问题是一群愤怒的数学家。

OpenAI 的一位研究人员周四表示，这家 ChatGPT 制造商不再赞助加州理工学院 (Caltech) 的“数学黑客松”，该活动让参与者使用大语言模型来解决研究问题。

OpenAI 退出之前，加州理工学院的现任和前任数学家在周三发布了一封公开信，信中称这项由 AI 公司赞助的活动“可能对数学界产生破坏性影响”。

“我们认识到 AI 在数学领域的飞速进步具有颠覆性，”OpenAI 研究主管 Dan Roberts 在 X 上表示。“我们希望与数学界进行更多交流，探讨整合这项技术并传达其影响的最佳方式。”

数学家们认为，问题的核心在于 AI 公司声称使用其模型解决了悬而未决的理论问题，然后将实际应用和证明留给真正的研究人员。他们称之为“垃圾数学” (slop mathematics)。

“在最新结果发布后，研究数学家被迫介入，以妥善验证、传播，有时甚至完全推翻声称的结果，”这些学者表示。“这种劳动没有报酬，没有荣誉，也不被认可。”

这一风波在周二达到了顶点，当时 OpenAI 宣布其智能体已经解决了 Navier-Stokes 方程，这是一组有着 90 年历史、可以预测液体和气体如何流动的数学公式。

Tristan Buckmaster 是一位 NYU 数学家，他与另一位学者在周一发表了关于该问题的研究。他在周二表示，OpenAI 可能使用了他与包括 OpenAI 在内的 AI 聊天机器人的对话来得出解决方案。OpenAI 表示，不能排除“源自他们使用我们产品的去标识化数据有助于改进我们的模型”。

数学家们还表示，他们认为加州理工学院的活动将成为 AI 公司的失实广告，这些公司“将把才华横溢的本科生的努力归功于自己”。

同样赞助了该活动的 Anthropic 周四没有立即回应置评请求。OpenAI 也没有。

根据申请页面，该“数学马拉松” (mathathon) 被宣传为年轻数学家“负责任地使用 AI 工具来增强人类对数学理解”的实践场所。

活动组织者（其中许多是本科生）在周四的一封回信中表示，他们并非有意引起如此大的轰动。

“像 Mathathon 这样的活动鼓励年轻人保持对数学的热情，利用现代工具投入他们的兴趣，并在一个令人困惑的时代保持希望，”组织者写道。“这是我们第一次举办这种规模的活动，我们对收到的所有反馈表示感谢。”

按照设计，数学马拉松的参与者将参加第一轮比赛，他们将获得 40 小时和 $20,000 的 tokens 来解决一个开放性问题。

随后，一定数量的答案“有前景且解释充分”的团队将晋级第二轮，在那里他们将获得 6 个月的时间和额外的 AI tokens 以进一步开展工作。

Anthropic 和 OpenAI 同意通过捐赠 $2 million 的 AI 额度来支持该活动。目前尚不清楚 OpenAI 提供了多少 tokens，以及这些 tokens 现在会如何处理。