OpenAI宣称其内部AI系统在约1万个Agent协作下，耗时88小时解决了纳维-斯托克斯方程的存在性与光滑性问题，并通过Lean形式化验证。若获认可，这标志着AI开始参与解决顶尖数学难题。然而，纽约大学专家Tristan Buckmaster质疑其研究优先权，称其团队早前已取得相关突破，引发学术争议。