分类:AI动态 标签:人工智能、大模型、数学、OpenAI


百年流体力学难题与千禧年挑战

约 200 年前,法国物理学家克劳德-路易·纳维和爱尔兰物理学家乔治·斯托克斯提出了一组描述液体、空气等流体运动的偏微分方程,即 Navier-Stokes 方程。这组方程至今仍广泛应用于气象预测、航空航天等领域。

然而,Navier-Stokes 方程并不保证适用于所有可能的情况。几十年来,数学家一直致力于证明方程的普适性,或者找出导致方程失效的特例。2000 年,克雷数学研究所将 Navier-Stokes 方程的解的存在性和光滑性问题列为了六大千禧年数学问题之一。

OpenAI 的算力攻坚与突破宣称

本周,OpenAI 宣布在数学领域取得重大突破。他们动用了约 1 万个 AI 智能体,进行了长达 88 小时的算力攻坚,最终在 9 月 5 日发现了一个 Navier-Stokes 方程失效的特例。

如果这一成果最终得到数学界的确认,它将标志着人工智能首次独立解决世界级的重大数学难题,具有里程碑式的意义。

争议爆发:未发布成果遭抢先?

尽管技术成果令人瞩目,但该事件在数学界和科技界引发了巨大的争议。

在 OpenAI 宣布这一消息的前一个月,纽约大学数学家 Tristan Buckmaster 与 Anthropic 研究员 Levent Alpöge,正利用 OpenAI 和 Anthropic 的 AI 工具在 Navier-Stokes 问题上开展研究并取得了重大进展。

就在该团队准备正式公布研究成果前夕,OpenAI 投入了数百万美元的庞大算力,开展了大规模的突击攻坚。虽然 OpenAI 官方坚称其在研究过程中并未利用 Buckmaster 和 Alpöge 的最新未发布成果,但这一说辞并未平息质疑。纽约大学团队公开对 OpenAI 提出指控,认为其涉嫌抓取并利用了他们的内部数据来训练和引导模型,从而实现了“抢跑”。

科技与学术边界的思考

这起事件不仅关乎一项数学成果的归属,更引发了外界对人工智能时代科研伦理的深思:当科技巨头拥有压倒性的算力优势时,学术界的开放探索与商业公司的加速收割之间,应当如何建立健康的边界?这场围绕 Navier-Stokes 特例的争论,或许才刚刚拉开帷幕。