纳维 斯托克斯方程

科学生命科学

AI解决数学千禧年难题引发学术争议

OpenAI在2026年9月8日宣布利用人工智能生成了纳维-斯托克斯方程存在性和光滑性问题的解决方案,并提供了Lean形式化证明和非形式化手稿。然而这一宣布随即引发数学界的广泛质疑。

科技人工智能

OpenAI声称求解千禧年大奖难题 引发学术诚信争议

OpenAI宣布其AI模型找到了千禧年大奖问题之一的纳维-斯托克斯方程的解。该公司使用10,000个AI代理和一个新实验模型,在88小时内完成了计算,随后又耗时17小时进行验证。

科技人工智能

OpenAI使用AI Agent解决千禧年数学难题引发学术优先权争议

OpenAI于9月5日通过内部AI Agent解决了纳维-斯托克斯存在性与光滑性问题,这是七个千禧年大奖问题之一,每项悬赏100万美元。该Agent在约88小时内完成求解,验证过程耗时17小时,共发送490万条消息并使用约3000亿个输出Token。按公开API价格估算,该项目的计算成本约为1500万美元。

科技人工智能

OpenAI解决数学难题引发学术诚信争议

OpenAI宣布其AI模型已解决千禧年大奖问题中的纳维-斯托克斯存在性与光滑性问题,该项目运行约10,000个并发Agent,花费数百万美元。然而这一声明随即陷入学术诚信风波——纽约大学数学家Tristan Buckmaster指控OpenAI未恰当引用其与Anthropic员工Levent Alpöge的相关研究。

科学物理

数学家证明平均化纳维-斯托克斯方程存在有限时间爆炸

数学家在arXiv上发表论文,证明了一个平均化的三维纳维-斯托克斯方程变体在有限时间内会产生爆炸(解不存在),同时该方程仍然保留能量恒等式 。这是首次在三维情况下展示满足能量恒等式的纳维-斯托克斯型方程的有限时间爆炸现象 。