OpenAI宣布攻克千禧年难题OpenAI官宣，依托上万AI智能体协同、耗时88小时，借助性能远超GPT-6 Astra的内部模型，完成纳维-斯托克斯方程存在性与光滑性的证明，属于七大千禧年大奖难题之一。这份证明完成形式化验证，官方主动放弃百万美元奖金；目前成果还需要整个数学界核验，同时伴随学术路线优先权相关争议，引爆AI与数学圈热议 。