OpenAI 退出数学黑客马拉松，数学家联名抗议其解法争议

NS 方程争议发酵：数学家联名抗议，OpenAI 宣布退出数学黑客马拉松赞助

北京时间 9 月 11 日，据《商业内幕》报道，OpenAI 眼下试图解决的最新数学难题，是一群愤怒的数学家。 OpenAI 一名研究员周四表示，该公司不再赞助加州理工学院的“数学黑客马拉松”。该活动让参与者使用大语言模型解决研究问题。 就在 OpenAI 退出该活动之前，加州理工学院现任和前任数学家于周三发布了一封公开信，称这项由 AI 公司赞助的活动“可能对数学界产生破坏性影响”。 OpenAI 研究负责人丹 · 罗伯茨 (Dan Roberts) 表示：“我们认识到 AI 在数学领域的快速进展具有颠覆性。我们希望能与数学界更多接触，探讨如何最好地整合这项技术并传达其影响。” Anthropic 和 OpenAI 同意通过捐赠价值 200 万美元的 AI 使用额度来支持这项活动。截至周四，尚不清楚其中有多少词元由 OpenAI 提供，以及这些词元现在将如何处理。 数学家们的公开信 数学家们指出，问题在于，AI 公司宣称用其模型解决了悬而未决的理论难题，然后把实际应用和证明留给真正的研究人员去完成。这种做法被他们称之为“垃圾数学”。 “最新成果一经发布，研究数学家就不得不介入，去妥善验证、传播这些声称的结果，有时还要彻底推翻它们。这种劳动既没有报酬、也没有署名，也不被承认。”这些数学家称。 这场风波在周二达到高潮：OpenAI 宣布其智能体解决了纳维-斯托克斯方程。这套已有 90 年历史的数学公式可用于预测液体和气体的运动。 纽约大学数学家特里斯坦 · 巴克马斯特 (Tristan Buckmaster) 与另一位学者在周一发表了关于该问题的研究。他在周二表示，OpenAI 可能利用了他与包括 OpenAI 在内的 AI 聊天机器人之间的对话，最终得出了这一解法。OpenAI 表示，无法排除“去标识化数据帮助改进我们模型”的可能性，这些数据产生于巴克马斯特等数学家使用 OpenAI 产品的过程。 数学家们还表示，他们认为加州理工学院的这场活动会成为 AI 公司的不公平宣传手段，这些公司“将把才华横溢的本科生的努力据为己有”。 根据活动申请页面的介绍，这场“数学黑客马拉松”被宣传为年轻数学家的实践场，让他们“负责任地使用 AI 工具来增强人类对数学的理解”。 活动组织者中许多是本科生。他们周四在一封回应信中表示，无意引发如此大的风波。组织者写道：“像数学黑客马拉松这样的活动鼓励年轻人保持对数学的热情，用现代工具激发他们的兴趣，并在一个令人困惑的时代保持希望。这是我们首次举办如此规模的活动，我们感谢收到的所有反馈。” 按照活动设计，数学黑客马拉松的参赛者将首先参加第一轮比赛，他们有 40 个小时的时间和价值 2 万美元的 AI 词元，用于解决一个未解决的数学问题。随后，一定数量的团队将晋级第二轮。这些团队提交的答案必须“具有潜力且解释清晰”。晋级团队将获得 6 个月的时间以及额外的 AI 词元，以进一步开展研究。 Anthropic 是另一活动赞助者，目前尚未就此置评。 相关阅读： 《 AI 攻克数学难题，纽约大学教授质疑 OpenAI“截胡”其研究成果 》 《 OpenAI 下一代 AI 模型 Astra 数学成果遭抄袭指控 》 《 均为 10 年以上未解难题：OpenAI 公布下一代模型 Astra 在数学等领域的十项进展，Token 成本约 2000 美元 》 《 仅用一小时，OpenAI GPT-5.6 Sol Ultra 证明了一个已有 50 年历史的数学猜想 》 《 继 OpenAI 后，Anthropic 的 Claude AI 也解出这道 80 年数学难题 》 《 继 Claude 尝试攻克黎曼猜想后：OpenAI 宣布用 10000 个 AI 智能体 88 小时攻克千禧年大奖难题，陶哲轩既点赞又担忧 》