HeadlinesBriefing favicon HeadlinesBriefing.com

NYU数学家卷入OpenAI-Anthropic关于Navier-Stokes证明的竞争

New York Times Top Stories •
×

在劳动节假期期间,NYU数学家Tristan Buckmaster发现自己卷入了OpenAI与Anthropic之间关于Navier-Stokes方程进展的争论,这是克莱数学研究院千禧年奖问题之一,提供100万美元奖金。Buckmaster与合作者Anthropic数学家Levent Alpöge在8月取得了重大进展。然而,OpenAI周二宣布它已使用AI代理完成了证明,击败了人类数学家。

在线上爆发了火药味,有说法认为OpenAI的系统吸收了Buckmaster最近的工作。OpenAI声明其AI不可能受到Buckmaster过去两个月工作的影响。Buckmaster表示,他更关注为数学做贡献,而不是奖金,把自己称为“小公司之间琐碎游戏”的旁观者。

OpenAI的Sébastien Bubeck向Buckmaster提供了首次出版权、OpenAI论文第一作者、计算资源以及奖金支持。卡点在于Alpöge与Anthropic的关联。Buckmaster建议公司合作,但OpenAI拒绝包含Alpöge。这一事件凸显了竞争性AI初创公司之间的不信任,以及越来越依赖AI工具的数学家之间的协作文化。