OpenAI宣布,其内部一套AI系统证明了困扰数学家九十多年的难题:纳维-斯托克斯方程是否会产生"奇点"——即流速趋于无穷大的点。这是克莱数学研究所2000年设立的七大千禧年难题之一,每题悬赏100万美元,迄今只有一道被正式解开。
据该公司介绍,约1万个AI智能体运行在一个尚未公开、性能超过GPT-6 Astra的内部模型上,耗时88小时完成推导,期间交换了270万条消息,消耗约1300亿个输出token。随后,GPT-6 Astra又花费17小时,利用形式化验证语言Lean逐行检查证明的逻辑。
但时间线颇为尴尬。就在OpenAI公布结果前12小时,纽约大学数学家特里斯坦·巴克马斯特与Anthropic研究员莱文特·阿尔珀格发表了相关成果。巴克马斯特称其中一篇由此产生的论文是"AI垃圾",并暗示OpenAI团队可能在其成果公开前就已接触到未发表的内容。双方对谁先完成仍各执一词。
普林斯顿大学的查尔斯·费弗曼是最熟悉这道题目的数学家之一,他称这一进展"令人振奋",但同时指出真正的突破另有其人:数学家迭戈·科尔多瓦和路易斯·马丁内斯-索罗亚提出的新方法,才是两份计算机辅助证明得以完成的关键。目前尚无数学机构正式确认OpenAI的结果,而千禧年难题的严格审核通常需要数年而非数天。
