纽约大学数学家表示，OpenAI在职业数学问题上进行了肮脏的斗争

纽约大学数学教授特里斯坦·巴克马斯特（Tristan Buckmaster）周二宣布了三个证明，初步发现了理论数学中一个尚未解决的主要问题。这些发现是与人类数学家Levent Alpöge合作并使用Codex和Claude AI模型得出的，其本身就很重要-但它们也伴随着围绕OpenAI试图解决同一问题的不寻常的争议。巴克马斯特在宣布证据的声明中写道：“这个故事还有另一部分，老实说，我非常希望我不必担心。”根据声明，OpenAI在公开之前的工作基础上进行了平行的努力，导致了学术竞争和相互矛盾的主张的纠缠。巴克马斯特发表声明后不久，OpenAI发布了Navier-Stokes存在性和光滑性问题的完整证明，巴克马斯特的发现已经朝着这一方向迈出了步伐。据OpenAI称，这一证据是由一个未发布的下一代模型发现的，该模型在过去一周解决了一系列不同的未解决问题。总而言之，为期一周的工作消耗了3000亿个输出代币--如果按照当前的阿斯特拉费率收费，计算价值2250万美元。纳维尔-斯托克斯存在性和光滑性问题是七个千年奖问题之一--一组未解决的重大数学问题，每个问题都获得克莱数学研究所100万美元的赏金，奖励第一个提供解决方案的人或团体。纳维尔-斯托克斯方程在流体力学中广泛使用，但理论术语理解甚少。一个解决方案将代表着对数学物理的集体理解的重大进步。当巴克马斯特和阿尔波格最终确定自己的结果时，他们了解到“有关我们进展的信息已被传递给OpenAI。”当他们联系OpenAI时，他们被告知OpenAI已经完全证明了中心问题。但当他们问f时

注：以上内容摘选自原始新闻，点击「访问原文」查看完整内容。