OpenAI破解数学题之后，热情怎么办
内容提要
OpenAI用约1万个AI智能体、88小时暴力破解纳维-斯托克斯方程特例，引发抄袭争议：两位数学家耗时一年的成果曾留在OpenAI模型中。771名数学家联名抗议，指其学术不端。文章认为，真正被消耗的是数学家的热情，答案与理解脱钩，开放研究生态受威胁，门槛正从脑子换成钱。
延伸解读
算力门槛如何改变数学研究
文章指出，数学历来是成本最低的学问，一支笔、一叠纸即可。但OpenAI用约1万个AI智能体、88小时和2200万美元算力破解特例，加州理工黑客松给每队2万美元AI额度，771名数学家联名抗议。这显示验证和竞争开放问题正需要大量算力，门槛从脑子换成钱。对资源有限的研究者，这意味着新想法可能因无力承担算力而被迅速抢先，热情与信心受挫。
答案与理解脱钩的代价
文章强调，AI暴力破解虽快，却丢弃了试错过程。1万个智能体交换270万条消息、烧掉1300亿token，最终只留下166页证明，失败的路径和卡住的环节全被抹平。陶哲轩称这是答案与理解前所未有的脱钩。数学家日常中，有趣的错误往往能引出新分支，而AI把错误全扔掉，导致人拿到答案却未获得理解，长期可能削弱领域自我生长的能力。
开放研究生态面临的风险
文章认为，西方科技快速发展得益于科学家开放交流、共享未完成的想法。但OpenAI公告称无法排除用户数据经去标识化后用于改进模型，这意味着研究者与AI的对话可能成为下一代模型的养料。若未发表的证明贴进聊天窗口，第二天就可能出现在别人公告里，谁还愿意先说？陶哲轩警告，对公开问题的无差别露天开采可能毁掉数学生态，下一代技巧和问题本应在此生长。
数学家如何适应新工具
文章提出两条路径：一是把眼光放长远，数学工具从稿纸、计算器到计算机已换过几回，AI是第四回，人的步子要迈得更大；二是改进算法，让机器筛选试错中有推导价值的部分，保留为下一轮训练数据。围棋是参照：人类下不过AI，但职业棋手用AI复盘训练。数学不同，它连接科学与工程，不会停在人被AI教会这一步，而是人与AI共同前进。
Q&A
OpenAI破解纳维-斯托克斯方程的具体过程是怎样的？
OpenAI于2025年9月1日启动项目，使用约1万个AI智能体，分成证明和证伪小组，在88小时内交换了270万条消息，消耗1300亿个输出token，最终构造出一个在光滑外力作用下有限时间爆破的漩涡解。9月8日，OpenAI公开了166页证明和Lean形式化代码。
为什么数学家们指责OpenAI抄袭？
两位数学家（纽约大学教授巴克马斯特和Anthropic员工阿尔珀格）耗时一年，沿西班牙师徒的强迫路径研究，于8月15日取得关键结果，8月22日完成Lean验证。他们使用了OpenAI的Codex和GPT-6 Astra，因此全过程数据留在OpenAI模型中。OpenAI在9月1日听到风声后当天启动项目，9月5日得出答案，随后在9月6日电话中提出让纽约大学教授单独署名、排除Anthropic员工，被拒绝后于9月8日公布成果。数学家认为OpenAI利用了他们的数据并抢发成果。
陶哲轩对AI解数学题有什么担忧？
陶哲轩指出，在纯数学中，提出问题是为了推动领域发展，而AI对公开问题的无差别露天开采可能会毁掉数学生态。他还提到今年出现了前所未有的脱钩：拿到了答案和拿到了理解脱钩了。答案有了，理解没跟上。
OpenAI首席科学家帕乔基在《异星心智》中提出了哪些警告？
帕乔基认为AI是被生长出来的，不是被设计出来的；监控手段正在逐步失效；没有任何一家实验室把对齐和监控解决到足以继续以最大速度负责任地扩张的程度。他主张自愿放缓应成为行业常态，AI国际协调应成为各国政府最高优先事项。他还预期进展速度可以延续到递归自我改进。
771名数学家联名抗议的具体内容是什么？
加州理工学院计划举办数学黑客松，让本科生用大模型攻克开放性问题，每队提供2万美元AI额度，OpenAI和Anthropic各赞助200万美元算力。771名数学家（包括在职和退休）联名公开信要求停办，指出AI公司正在进行学术不端，并强调没有任何一种关于数学研究未来的合理模式能让每位研究数学家都拿到2万美元的AI额度。9月10日，OpenAI退出赞助。
文章认为AI解题导致数学家的热情被消耗，具体指什么？
文章指出，数学家靠热情推动思考，但AI暴力破解后，想出新东西的人第一反应变成先别说，说了人家88小时就直接给你破了。答案与理解脱钩，试错过程被抹平，数学家像大学生用AI做作业一样，做了又好像没做。门槛从脑子换成钱，贫穷限制想象力可能成为口头禅，一旦认为想出来也没用，那股劲就断了。
