传 OpenAI 下一代 Bel 模型攻克纳维–斯托克斯方程关键难题
12 小时前

纽约大学数学家Tristan Buckmaster发文透露,OpenAI内部一款疑似下一代Bel的神秘模型,成功攻克了千禧年大奖难题之一的纳维–斯托克斯方程在“外力驱动”下的爆破证明难题,且能生成百页严谨的数学证明手稿,不过他目前尚未获得该手稿。与此同时,Tristan与Levent Alpöge宣布,在大型语言模型(LLM)的辅助下,他们得出了三类流体方程在光滑外力下的有限时间爆破结果,相关论文及代码已公开。菲尔兹奖得主陶哲轩对此给予高度评价,但也指出,该成果距离完全破解纳维–斯托克斯方程仍存在技术困难。此外,Tristan还披露,其团队的相关研究进展曾流传至OpenAI内部,在双方沟通中,OpenAI要求移除Anthropic员工Alpöge的署名,此举引发了争议。目前,全网都在期待OpenAI的后续回应及完整证明。若AI的这一成果经检验属实,并能证实其独立贡献,那么这将成为AI自主推进人类知识边界的重要实例。