Wired：数学家离不开AI 边骂边用陷垄断

时间：2026年9月19日 地点：美国 人物：纽约大学数学教授 Tristan Buckmaster、德国数学家 Andreas Thom、康奈尔大学数学家 Alex Townsend、Anthropic 研究员 Levent Alpöge 事件详情：WIRED 发布深度报道《Mathematicians Hate AI. They Can't Quit It》（数学家痛恨 AI，却戒不掉），揭示 AI 头部模型已对数学研究形成"垄断式"嵌入。即便控诉 OpenAI 抄袭思路并抢走百万美元奖金的 Buckmaster，仍在公开指控 OpenAI 后的十天里继续使用其 Codex 工具整理论文、推演逻辑步骤。Buckmaster 直言："即便你完全不认同这一切，你也被困住了。AI 太好用，根本无法彻底戒掉。这些公司形成了垄断，几乎没有别的选择。" 背景：Buckmaster 与 Anthropic 研究员 Alpöge 合作研究存在 88 年悬而未决的 Navier-Stokes 存在性与光滑性问题，期间使用 Codex 与 Claude 协助推演。9 月 8 日 OpenAI 宣称"破解"该问题并发布论文。Buckmaster 公开指控 OpenAI 在得知问题接近破解后才部署上万个智能体抢跑，并警告在重大 IPO 前用 AI 批量产出数学结论却不充分署名人类工作是"不负责任、幼稚"的。OpenAI 调查后修改公告，承认 Buckmaster 在公告前两个月的 Codex 提示"无法以任何方式影响系统，包括通过训练"。 影响：报道呈现数学界正在经历身份危机——学者既要应对 AI 抢跑成果的署名困境，又被迫依赖 AI 工具完成研究。德国数学家 Andreas Thom 在质疑 OpenAI 借用其二十年几何群论成果后仍继续使用 ChatGPT；Cornell 大学 Alex Townsend 感叹："在万亿美元公司下场的情况下，单凭人力如何为数学做贡献？"报道核心警示：AI 既摧毁了"可追溯贡献"的传统科研伦理，也让数学家无法脱离这一工具而继续工作。 总结：WIRED 的报道记录了 AI 在高门槛学术领域已从"工具"升级为"基础设施"，数学家对垄断式 AI 平台的依赖正在重塑科研伦理、署名规则与学科生态。OpenAI 等头部厂商事实上成为数学研究的"默认协作平台"，而对其不当使用的追责能力几乎为零。 参考来源： - Wired: Mathematicians Hate AI. They Can't Quit It - https://www.wired.com/story/mathematicians-cant-quit-ai/ - Wired: OpenAI Navier-Stokes Math Discovery - https://www.wired.com/story/openai-navier-stokes-math-discovery-academics/ - Wired: Mathematician Steven Strogatz Grapples With AI Breakthroughs - https://www.wired.com/story/mathematician-steven-strogatz-grapples-ai-recent-breakthroughs/ - OpenAI: Navier-Stokes Solution (Amended Statement) - https://openai.com/index/navier-stokes-solution/ - OpenAI: Ten Advances in Mathematics - https://openai.com/index/ten-advances-in-mathematics/ - TechCrunch: Mathematicians Split Over AI Breakthroughs - https://techcrunch.com/2026/09/15/mathematicians-ai-breakthroughs/