OpenAI公布纳维－斯托克斯奇点证明

OpenAI称内部系统证明了平滑流体在有限时间内可形成奇点，并同步发布论文与Lean形式化证明。约一万个并发智能体参与探索，Lean验证另耗时17小时；这项结果仍需数学界独立审查，但已显示可验证科研协作的新尺度。