人类琢磨了两百年的数学题，AI花88小时解开了？然后人类数学家怒了！

这两天数学圈又炸了（我为什么要说又）！ 9月8日OpenAI官宣拿到了 大结果 ！他们指挥 1万个Agent ，花了 88小时 ，烧了 1300亿token ，把人类史上最难的数学问题之一 "纳维-斯托克斯方程(NS方程)问题" 给解决了！ 消息一出，数学研究者们纷纷表示我不中咧！连数学这么难的东西，都不再是数学家的专属了吗！ 我决定今晚就用WorkBuddy和豆包证一证哥德巴赫猜想，大家觉得有没有搞头？ 然而OpenAI刚官宣完，就有两位数学家发表了pdf小作文当场开撕！ 他们指控OpenAI用的证明思路来自他们和ChatGPT的对话…… 不是，怎么突然有瓜端到我面前了？ 今天就带大家捋清楚事件的来龙去脉，吃一口新鲜的数学AI瓜！ 一、这次AI解决的数学问题有多难？ 2000年，克雷数学研究所设立了 “千禧年大奖难题” ，一共七道，每道悬赏100万美元！ 它们分别是 黎曼猜想 、 庞加莱猜想 、 P=NP问题 、 霍奇猜想 、 BSD猜想 、 杨-米尔斯存在性与质量间隙 、 纳维-斯托克斯方程的光滑性与解的存在性 。 这7道题有多难呢？这么说吧，26年过去了，7道就做出来1道。 2003年，俄罗斯数学家 佩雷尔曼 解决了 庞加莱猜想 。然而佩雷尔曼拒绝了这100万美元。他的理由是，觉得数学家汉密尔顿对这个证明的贡献不比自己少，奖只发给自己不公平。 庞加莱猜想之后，就是今天OpenAI宣布用大模型解决了 NS方程问题 。 然而OpenAI表示，这100万美金我也不要 好家伙，合着这奖金就没人要是吧？都不要不如送给我，我来发留言区福利，一个楼层一万美元！ 总之，如果这次OpenAI的证明被证明是对的， 那留给大家的千禧年问题就只剩5个了。 我推荐大家优先挑战看着最简单的P=NP问题，以我之愚见，答案是P=0或N=1，请大家指教 二、NS方程是个啥？我能看懂吗？ 能的兄弟能的。小球推一下会动对吧，这个过程满足牛顿第二定律你知道吧。 把小球变成流体，把力换成压强梯度+黏性+外力，把质量换成密度，把加速度换成随体导数，稍微变个形就得到了NS方程。 NS方程是流体流动最基本的方程。它由纳维和斯托克斯于1830年左右推导出，此后在降低水利、化工、环境等专业学生的GPA中做出了巨大贡献 有的同学就要问了，这都推导出来了，还未解之谜个啥！ 未解之谜点在于，数学家在想这个方程会不会自己崩掉？给一杯水一个平滑的初始状态，让它按NS方程演化下去，它会不会在某个时刻，某一点的速度突然冲向无穷大？ 这个现象数学上叫" 爆破 "。但这个问题的答案，90年来都没人知道。 OpenAI给出了回答：对任意大小的黏性，都存在一个处处光滑、只作用于有限时空范围的外力，能让一团原本静止的水，在有限时间内于某一点转到无限快，而它的总动能自始至终有限（说实话我也不知道这段话对不对，这段是GPT写的）。 按理说，AI取得了数学大结果，屋子里应该充满快活的空气啊！但此时，两位数学家跳出来手撕OpenAI！ 一位是纽约大学教授 Tristan Buckmaster ，我们就叫他数学家 B哥 吧。另一位是 Anthropic的研究员、数学家 Levent Alpög e ，我们就叫他数学家 A哥 吧。 数学就是从这一刻变成瓜了。 三、卧槽，人类科学家怒了！ 8月10日，Anthropic发表论文，把黎曼 ζ 函数临界线上零点比例的下界从 41.6% 提到 67.2%，推动了黎曼猜想这个千禧年问题。A哥担任了论文审稿人。 8月15日，B哥和A哥联手在欧拉方程的爆破解上取得了进展，在通往NS方程的道路上迈了一大步。 A哥眼看成果连连，按捺不住内心的喜悦，开始在推特上开始发一些意义不明的东西，暗示自己要发个大的了。 要不说人还是不能太得瑟呢，这事很快传到了OpenAI那里，而且越传越歪了。 从“ Anthropic推动了黎曼猜想这个千禧年问题 ”，传成了“ Anthropic解决了一个千禧年问题 ”，又好像传成了“ Anthropic解决了两个千禧年问题 ”。 这下OpenAI慌了， Anthropic是我最大竞争对手啊！这能忍吗！我们必须不遗余力拿下一个千禧年问题首发！ 方法也很简单，OpenAI直接把6个千禧年问题都扔到GPT里，让它证一下。 看来这个时代最创新的科研idea，不是“怎么证明千禧年难题”，而是“想到要用AI证一下千禧年难题”。 很快Agent在NS方程问题上取得了成果！于是OpenAI调集了10000个Agent，token火力全开，集中突破NS方程！ 以前我很难想象这种策略。就像我的导师，他带着我一个人永远发不出Nature，但就算给他再招10000个博士，我估计还是发不出Nature。 但这招对AI真管用！最终花了88小时，消耗3000亿个输出Token（其中