OpenAI公布突破性数学证明 引发学界争议
人工智能研发巨头OpenAI近日宣布,其由1万名AI代理组成的系统在88小时内完成了对纳维—斯托克斯(Navier-Stokes)方程的证明,这是一项被视为现代数学最难的“千禧年大奖问题”之一。纳维—斯托克斯方程描述流体动力学中流体的运动规律,OpenAI的证明显示这些方程可能导致有限时间内速度无限大的“爆破”现象。
此次突破系统基于OpenAI尚未公开的模型,该模型被指性能优于公司已发布的GPT-6 Astra。在完成初步证明后,GPT-6 Astra又花费17小时进行了验证逻辑的复核。尽管克雷数学研究所为其解决者准备了百万美元奖金,OpenAI表示不会申请该奖金。
纽约大学教授质疑成果涉及未公开数据
然而,纽约大学数学教授Tristan Buckmaster公开质疑OpenAI对该证明的归属。Buckmaster指出,他和人工智能公司Anthropic的数学家Levent Alpöge曾接近类似的数学结论,而他们的研究成果可能被包含进OpenAI用于训练的编码AI模型Codex中。Buckmaster强调:“我不了解他们的模型具体如何运作,也不确定我们的数据是否被使用,我并没有指责任何人。”
OpenAI研究员Sebastien Bubeck在随后的新闻发布会上否认公司获取或利用了未发布的研究成果。但OpenAI承认,无法排除研究人员的产品使用对模型训练产生过影响。
AI数学突破与市场融资并行 业内关注持续
这一争议发生之际,OpenAI正筹备一场高达1万亿美元的公开上市,竞争对手Anthropic也在推动其估值达到3万亿美元的首次公开募股。此事件不仅引发对AI在科学研究领域伦理与版权问题的讨论,也反映了AI技术在金融科技和创新领域的广泛影响。
随着AI能力快速提升,监管、知识产权和数据使用的界限成为业界关注重点。OpenAI和相关学界的互动将继续牵动数学研究、AI发展以及资本市场的动态走向。