分类:AI动态 标签:人工智能、大模型、数学、学术争议
引子:流体力学与千禧年难题
大约 200 年前,法国物理学家克劳德-路易·纳维和爱尔兰物理学家乔治·斯托克斯提出了一组描述液体与空气等流体运动的偏微分方程,即著名的 Navier-Stokes 方程。这组方程至今仍在气象预测、航空航天等领域被广泛使用。
然而,Navier-Stokes 方程并不保证适用于所有可能的情况。几十年来,数学家们一直致力于证明方程的普适性,或是寻找导致方程失效的特例。2000 年,克雷数学研究所正式将 Navier-Stokes 方程的解存在性与光滑性问题列为了六大千禧年数学问题之一。
AI 的重大突破:万卡算力的长达攻坚
本周,OpenAI 宣布在数学领域取得里程碑式进展:他们通过动用约 1 万个 AI 智能体进行了长达 88 小时的算力攻坚,最终于 9 月 5 日成功发现了一个 Navier-Stokes 方程失效的特例。
如果这一成果最终得到数学界的正式确认,将标志着人工智能历史上首次独立解决重大的世界级数学难题。这不仅展示了大规模强化学习和多智能体协同在科学计算领域的巨大潜力,也让外界看到了 AI 赋能基础科学研究的曙光。
繁荣背后的争议:抢跑与数据指控
尽管这一发现极具科学价值,但在数学界和科技圈却引发了巨大的争议。争议的核心在于成果的独立性与研究伦理。
据了解,就在 OpenAI 宣布突破的前一个月,纽约大学数学家 Tristan Buckmaster 与 Anthropic 研究员 Levent Alpöge 刚刚利用各大 AI 公司的工具,在 Navier-Stokes 问题的研究上取得了突破性进展。然而,就在他们准备正式公布研究成果前夕,OpenAI 突然投入了数百万美元的庞大算力,开展了这次大规模的抢跑攻坚。
- OpenAI 的立场:官方声称在研发过程中并未利用 Buckmaster 和 Alpöge 尚未公开的最新研究成果。
- 学界的质疑:Tristan Buckmaster 随后公开表态提出强烈质疑,纽约大学团队甚至直接指控 OpenAI 抓取并利用了他们的数据输入来训练和引导其模型。
极客视点与总结
这次事件不仅是一场关于数学难题的攻坚战,更将大模型时代下的人工智能研究伦理推到了风口浪尖。当 AI 拥有了强大的科研辅助能力,学术成果的归属权、研究数据的隐私保护以及商业公司与学术界之间的边界,正在变得日渐模糊。
人工智能在科学领域的应用正在从理论走向现实,但如何建立透明、公平的学术协作机制,将是整个科技界和数学界接下来不得不直面的重要课题。