#形式化证明

OpenAI提出纳维－斯托克斯难题反例，仍待独立验证

OpenAI就纳维－斯托克斯千禧年大奖难题提出反例：光滑流场在有限时间内速度无界。论文和Lean证明仍待独立审查，官方颁奖还须期刊发表并经两年核验。OpenAI称结果出自1万个并行AI智能体，社区估算算力成本$1000万至$4000万。这是方程层面的反例，真实液体在达到奇点前就会汽化。先核对主张针对的陈述 C，别把宣传用的螺旋渲染图当成证据。