OpenAI纳维-斯托克斯证明方法反转：未沿用“西班牙路线”且自身未完全理解

OpenAI攻克纳维-斯托克斯方程的证明被证实未沿用此前公认的“西班牙路线”，而是采用了不同的数学方法。尽管生成了166页论文及Lean形式化代码，OpenAI在发布时并未真正理解模型的具体推导逻辑。这一发现揭示了AI生成复杂数学证明的速度远超人类理解与验证能力的现状。