OpenAI披露Agent解纳维-斯托克斯难题引发争议

发生了什么

据第一财经报道，OpenAI于当地时间9月8日宣布，借助约10000个并发Agent耗时88小时，完成纳维-斯托克斯（三维不可压缩流体）存在性与光滑性难题的完整证明，并通过Lean形式化验证；该千禧年难题是继庞加莱猜想后第二个被宣称解决的难题。该证明由一组Agent使用OpenAI下一代模型生成，官方称该模型比GPT-6 Astra功能强大得多。报告称这项成果尚未获数学界正式认定，并陷入研究优先权、数据使用和学术署名争议。