OpenAI于8年2026月宣布,其内部人工智能系统解决了七大千禧年问题之一——纳维-斯托克斯方程解的存在性与光滑性问题。
据该公司称,该证明表明,在光滑力的作用下,静止的光滑流体可能在有限时间内发展出奇点,而能量保持有限。
该解决方案由数千个AI代理在大约88小时内协作完成,并已用Lean形式化验证。
这一宣布立即在数学界引发争议。
纽约大学教授Tristan Buckmaster和Anthropic研究员Levent Alpöge在此之前不久发表了相关问题的结果,这些结果被认为是解决纳维-斯托克斯问题的重要步骤。
Buckmaster表达担忧,认为OpenAI可能得知了他们的研究方向,并利用类似方法加速了自身的研究。
该公司否认获取他人数据或草稿的指控,声称其基于关于其他千禧年问题进展的公开传闻。
AI代理究竟如何得出证明,以及这是否可被视为独立突破,现已成为数学家和AI专家讨论的焦点。
有趣的是,这一事件是否会影响研究人员对使用商业模型处理未发表成果的信任?
OpenAI强调,无意申领克莱研究所的百万美元奖金。
这一事件再次展示了AI在数学领域能力的飞速发展,同时也引发了关于人机协作中伦理与作者身份的疑问。

