最有争议的数学难题,是谁解开的?Chapters有一个数学难题,悬了一百年,谁解开就能拿走一百万美元,而最近真的有人解出来了。0:00一个悬了一百年的难题0:22从飞机到天气应用0:46它会不会炸掉1:1388 小时1:31功劳该给谁0:00 / 2:071×0:00主播有一个数学难题,悬了一百年,谁解开就能拿走一百万美元,而最近真的有人解出来了。0:08主播这里是『Huge If True 中文播客』。0:11主播它被公认是史上最难的数学问题之一,奖金就挂在那里,等着人拿。0:16主播可是比「谁解开了」更热闹的,是「这份功劳到底该记在谁头上」。0:22主播这道题的名字叫纳维-斯托克斯方程,说的就是流体怎么运动。0:27主播从飞机的机翼,到血管里的血流,再到你手机里的天气应用,算流体全靠这组方程。0:34主播因为精确算它实在太难了,这些方程用了一个数学捷径:把液体当成一整锅连续的汤。0:43主播可液体真实的样子,明明是一堆细小的分子。0:46主播麻烦的地方在于,我们其实不知道这组方程是不是永远成立。0:51主播会不会有某一种条件,让数学直接炸掉,算出没有意义的结果?0:56主播正因为我们太依赖它了,搞清楚它会不会炸,就成了七个著名的千年奖问题之一。1:03主播想解开它只有两条路:要么证明这组方程永远不会炸,要么证明在某一种特定条件下,它确实会炸。1:13主播一百年来,很多人试过,都没成功。1:16主播最近有两位科学家,用了一批不同的 AI 工具,看起来已经很接近证出第二条路了。1:23主播然后 OpenAI 听说了这件事,往这道题上砸了更多资源。1:27主播据我了解,仅仅 88 个小时之后,他们解出来了。1:31主播到底是怎么解出来的,本身也有争议。1:34主播但吵得最凶的是另一种可能:那两位科学家在用 OpenAI 的工具时,无意中教会了它怎么解这道题。1:43主播OpenAI 的回应是,也许吧。1:45主播不过真正重要的可能是另一件事——两组人都在用新技术,去解一个我们从来没解开过的问题。1:52主播想看更多这样的内容,记得订阅。1:55主播感谢收听,这里是『Huge If True 中文播客』。