OpenAI 宣称AI攻克纳维

OpenAI 宣布其多智能体系统解决了纳维-斯托克斯方程存在性与光滑性问题，并已公开论文和 Lean 形式化证明。该成果若获认可，将是 AI 首次解决千禧年大奖难题。同时，与纽约大学研究员的研究优先权争议浮出水面，引发对 AI 科研伦理与学术规则的讨论。