分类:AI动态 标签:人工智能、大模型、数学、学术争议
引子:流体力学与千禧年难题
约 200 年前,法国物理学家克劳德-路易·纳维和爱尔兰物理学家乔治·斯托克斯提出了一组至今仍然广泛使用的偏微分方程,用来描述液体、空气等流体的运动规律。然而,这组 Navier-Stokes 方程并不保证适用于所有可能的情况。
几十年来,全球数学家一直致力于寻求证明方程的普适性,或者找出导致方程失效的特例。2000 年,克雷数学研究所正式将 Navier-Stokes 方程的解存在性与光滑性问题,列为了六大千禧年数学问题之一。而现在,人工智能正试图叩开这座数学圣殿的大门。
AI 的突破:万卡算力与 88 小时攻坚
本周,OpenAI 官方宣布了一项令人瞩目的进展:他们通过动用约 1 万个 AI 智能体,进行了长达 88 小时的持续攻坚,最终在 9 月 5 日成功发现了一个 Navier-Stokes 方程失效的特例。
如果这一成果最终得到数学界的正式确认,将具有里程碑式的意义,它标志着人类历史上首次由 AI 独立或主导解决一个重大的世界级数学难题。然而,科技巨头与学术界并没有迎来一致的欢呼,反而卷入了一场关于研究伦理与数据归属的巨大争议之中。
争议的焦点:算力碾压与“抢跑”指控
在这项成果公布的前后,数学界与 AI 行业的多方博弈浮出水面:
- 前置研究:在过去的一个月中,纽约大学数学家 Tristan Buckmaster 与 Anthropic 研究员 Levent Alpöge 联合利用 OpenAI 及 Anthropic 的 AI 工具,在 Navier-Stokes 问题的求解路径上取得了重大突破。
- 算力突袭:正当人类学者准备整理并公开他们的最新研究成果时,OpenAI 突然投入了数百万美元的庞大算力,开展了这场大规模的“暴力美学”式攻坚。
- 各执一词:OpenAI 官方坚称,其模型的突破并未利用 Buckmaster 和 Alpöge 尚未发表的最新研究成果。但 Tristan Buckmaster 随后公开发表声明,对这一说法提出强烈质疑。
- 数据指控:纽约大学的研究团队进一步指控称,OpenAI 在其攻坚过程中,可能抓取並利用了他们输入给 AI 模型的数据。
结语与反思
AI 在科学发现(AI for Science)领域的突飞猛进正在不断刷新边界,从 AlphaFold 预测蛋白质结构,到如今尝试解答千禧年数学难题,AI 展现出了无与伦比的计算与探索潜力。
然而,当商业公司的数百万美元算力与学术界开放共享的科研成果发生碰撞时,未发布成果的边界在哪里?数据输入的隐私与归属权该如何界定?OpenAI 的这次“胜利”,在带来技术震撼的同时,也给整个人工智能与学术界敲响了关于科研伦理规范的警钟。