纳维斯托克斯方程

OpenAI称约1万个AI智能体协同运行88小时，针对纳维—斯托克斯方程相关问题提出解法，并公开166页论文和Lean验证代码。关键争议在于，形式化验证不等于数学界认可，成果的正确性、题目覆盖范围及研究独立性仍待外部专家核验。