📖 AI 总结

该文章宣布OpenAI内部系统解决了纳维-斯托克斯存在性与光滑性这一千禧年难题。核心发现是：三维不可压缩常密度流体即使在初始平滑且施加平滑力的情况下，其动力学可在有限时间内发展出奇点，即流速无界增长，且全程能量保持有限。这一结果通过解析证明和Lean形式化验证完成，推翻了约90年来关于光滑解始终存在的假设。研究意义在于：它不仅终结了数学物理中的一个基础性问题，还展示了远超GPT-6 Astra的内部模型能力，凸显AI在推动前沿科学发现中的潜力。文章强调公开此成果旨在让世界了解AI进展速度，并为未来模型预期提供参考。