历史上七大千禧难题,只有庞加莱猜想被人类数学家完成证明,如果本次OpenAI的成果通过全球数学界同行严格评审,将是第二个被攻克的千禧难题。
当地时间本月8日,OpenAI对外公布重磅成果,其一款尚未对外发布、数学能力显著强于GPT-6 Astra的内部大模型,借助约1万个AI智能体协同工作,仅耗时88小时,完成纳维 - 斯托克斯存在性与光滑性问题的证明。
这是克雷数学研究所2000年提出的七大千禧年大奖难题之一,悬赏奖金100万美元,困扰数学界近90年。
纳维-斯托克斯方程是描述流体运动的基础方程,广泛用于气象预报、飞行器设计、流体仿真,这道难题核心疑问:如果流体初始状态足够平滑,总动能保持有限,流体速度是否会在有限时间内趋向无穷大,也就是产生奇点。
OpenAI 给出的证明结论是,这种爆破奇点可以存在。OpenAI宣布攻克千禧年难题

