行业动态Wired AI18:00
数学家讨厌AI。他们却戒不掉它
Mathematicians Hate AI. They Can’t Quit It
数学家虽忧虑AI冲击学科根基，却因实用难以割舍，这种矛盾正是科研现状缩影
判断
这篇报道把数学家的取舍从‘用不用 AI’推到‘用哪家、开不开训练豁免’：Buckmaster 与 Thom 的遭遇说明，投稿前用 Codex 或 ChatGPT 清理论文，先要定署名边界和训练数据条款是否可接受。
依据
Buckmaster 告诉 WIRED，他相信 OpenAI 用他的工作抢先解出带 $1 million 悬赏的 Navier-Stokes 存在性与光滑性问题；他和 Anthropic 研究员 Levent Alpöge 用过 Codex（OpenAI 的编码代理）和 Claude，OpenAI 部署了 tens of thousands of agents，随后在公告中称 Buckmaster 在 September 8, 2026 论文前 two months 的 Codex 提示不可能影响系统，包括训练。Thom 则说，OpenAI 的 Astra 模型用了他投入 two decades 的几何群论技巧证明一个老问题；他邮件质询 Sellke 和 Bubeck，指出公司忽略其 2019 年论文，OpenAI 修改了新闻稿。机制是：只要未发表推导先经过模型，而企业默认是否用数据训练不透明，优先权和贡献链就无法追溯；Thom 说 AI 让追溯谁贡献了什么“probably over”。
没写清 材料没有给出独立审计或训练数据溯源记录，无法确认 Buckmaster 与 Thom 的未发表内容是否真的未进入模型。
下一步 核对 OpenAI 对 Navier-Stokes 公告的修订版本是否列出调查范围、时间线和训练数据隔离方式。