OpenAI称约一万个AI智能体协作88小时，构造出三维纳维-斯托克斯方程有限时间奇点，并完成Lean形式化验证。该结果基于人类数学家前期成果，并非独立发现。随后引发争议，涉及是否使用未公开研究数据及成果署名归属。事件真正意义在于展示AI可大规模并行探索研究路径，使科研本身变得可扩展。