ALENG自媒体

1900年代起，数学家一直琢磨"水和空气到底是怎么流的"。你打开水龙头、看海浪拍岸——这些司空见惯的现象，背后方程组（数学家用公式描述自然的一套语言）解不开。2000年，美国克雷数学研究所（专门给数学难题悬赏的机构）悬赏100万美元求一个答案。25年过去了，没人能解。它和"黎曼猜想""哥德巴赫猜想"并列"七大数学难题"，全世界数学家梦寐以求。
现在这题被OpenAI声称解了。他们用1万个AI智能体（AI"打工人"，可以理解成1万台电脑同时算），跑了88小时，烧掉约2250万美元的算力（电费+机器费），最后9月6日通过机器验证（让程序自动检查每一步推理是否正确）。9月8日发公告。听起来很厉害对吧？但故事到这里才精彩。纽约大学的数学教授Tristan Buckmaster，已经干这事干了快一年。他和Anthropic（OpenAI的死对头）的研究员Levent Alpöge合作，用Claude和Codex（两种主流AI工具）反复试错，已经把"更简单的版本"解出来了——属于这道难题的关键一步。9月7日晚上，他先在社交平台Mastodon（类似推特的小众平台，学者扎堆）发了成果。 12小时后，OpenAI的公告出来了。 Buckmaster直接炸了。他在声明里写了一句话："我拒绝把Anthropic那位研究员的署名拿掉，然后让OpenAI第二天宣布'完整破解'。"OpenAI的人私下提过两个方案：要么联合发、但功劳主要给OpenAI；要么把对手那家公司的合作者从论文里抹掉。更让学界不安的是：Buckmaster怀疑OpenAI是不是偷看了他和Alpöge的草稿——因为两边的解题路径几乎一模一样，而这条路，全球同行根本没几个人在走。他在公开信里写："我宁愿把所有时间线摊出来，也不愿意让一连串假新闻变成'历史'。" 这件事真正值得记住的不是"AI又赢了人类"。而是当AI助手开始变成AI竞争者，连数学这块人类最引以为傲的"纯净之地"，也开始出现抢功、威胁、署名之争这种办公室政治味道的东西。MIT Technology Review（麻省理工科技评论）的评论一针见血：下次有数学家做出突破，他敢第一时间跟AI公司分享吗？

每日科学新知