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


百年数学难题迎来 AI 挑战

大约 200 年前,法国物理学家克劳德-路易·纳维和爱尔兰物理学家乔治·斯托克斯提出了一组描述液体与空气等流体运动的偏微分方程,即著名的 Navier-Stokes 方程。然而,这组方程并不保证适用于所有可能的情况。

几十年来,数学家们一直致力于证明方程的普适性,或者寻找导致方程失效的特例。在 2000 年,克雷数学研究所正式将 Navier-Stokes 方程的光滑性与奇异性问题列为七大千禧年数学问题之一。

本周,AI 行业领头羊 OpenAI 宣布取得重大突破:他们动用了约 1 万个 AI 智能体,进行了长达 88 小时的算力攻坚,最终在 9 月 5 日发现了一个 Navier-Stokes 方程失效的特例。如果这一发现最终得到数学界的正式确认,将标志着人工智能首次独立解决世界级重大数学难题。

争议爆发:算力碾压与“抢跑”质疑

尽管这一成果在技术层面上令人震撼,但在数学界和 AI 研究圈却引发了巨大的争议。

事件的导火索在于时间线与数据使用的重合度。在 OpenAI 宣布突破之前的一个月里,纽约大学知名数学家 Tristan Buckmaster 与 Anthropic 研究员 Levent Alpöge,正利用 OpenAI 及 Anthropic 的 AI 工具在 Navier-Stokes 问题上进行深入研究,并取得了重大突破。

然而,就在人类研究团队准备正式公布他们的研究成果前夕,OpenAI 突然投入了数百万美元的庞大算力,开展了大规模的突击攻坚行动,抢先一步发布了相关成果。

信任危机:数据抓取与公平性拷问

面对外界的质疑,OpenAI 官方声称其在研究过程中并未利用 Buckmaster 和 Alpöge 尚未公开的最新研究成果。

但这一解释并未平息质疑声。Tristan Buckmaster 随后公开发表声明,对 OpenAI 的说法提出强烈质疑。纽约大学的研究团队更是直接指控,OpenAI 在此期间抓取并利用了他们的数据来训练和优化自家的 AI 模型,从而实现了短时间内对这一千禧年难题的“暴力破解”。

科技新视野的思考

当大语言模型与人工智能 Agent 的能力从代码编写、日常对话跨越到探索人类顶尖科学未知领域时,规则的边界变得日益模糊。

AI 强大的算力 x 海量数据抓取能力,究竟是会成为推动科学加速前进的超级加速器 -> 还是会演变成科技巨头对传统学术研究成果的“降维打击”?这起事件不仅是一场关于数学成果优先权的争端,更给整个人工智能时代敲响了关于学术伦理与数据隐私的警钟。