据NPR News报道，OpenAI本月早些时候宣布，其AI模型解决了一道被视为数学界最难问题之一的“纳维-斯托克斯问题”。该公司称，其工作的主要目标之一是赋能科学家推进研究和技术，以造福全人类。但多位数学家表示，迄今为止，人类很难从这份由AI起草的166页证明中获得多少理解。牛津大学数学家詹姆斯·梅纳德说：“到目前为止，很难从这份新的AI证明中真正提取出任何人类理解。”布朗大学数学家哈维尔·戈麦斯-塞拉诺说：“这篇论文不是为人类写的。”他认为，这份证明经过“认真重写”后可能推动领域发展，但“截至今天，这篇论文没有教给我们多少东西。”
纳维-斯托克斯问题涉及一组用于描述流体流动的方程。纽约大学数学家特里斯坦·巴克马斯特说，这些方程每天用于物理和工程，但研究者并不真正理解它们为何有效。他说，更深入地理解纳维-斯托克斯问题，可能产生“一套理解流体复杂解的新工具”，进而帮助建立流体湍流、飞机升力等更好的模型。为了找到更好的纳维-斯托克斯版本，研究者一直在寻找方程“崩溃”或停止起作用的场景。描述这类场景成为克莱数学研究所2000年设立的100万美元千年奖问题之一。瑞士洛桑联邦理工学院数学家马丁·海雷尔说：“在七个千年问题中……大家都同意这会是下一个被解决的。”
人类数学家多年来一直在接近答案。巴克马斯特和Anthropic的莱文特·阿尔珀格是其中一组，他们使用包括OpenAI聊天机器人在内的AI工具推进解法。随后OpenAI得知该问题可能很快被解决。该公司写道：“9月1日星期二，我们听到传闻称两个千年奖问题已被解决。受这些传闻以及我们内部模型性能跃升的启发，我们启动了一项工作，在全部未解千年奖问题和其他几个高影响问题上评估该模型。”OpenAI称，它调动约1万个AI代理研究纳维-斯托克斯问题，这些代理工作了88小时，使用约1300亿输出token。按照该公司最先进公开模型的定价，这一解法的计算成本约为600万至1000万美元。公司还说，为寻找解法总共使用了3000亿token，花费接近1500万至2000万美元。
过去六个月，AI在数学界迅速扩张。接受NPR采访的学术数学家说，大型语言模型首次似乎能够产生可能带来新数学发现的真实结果。但很少人把OpenAI的宣布视为AI与数学家合作的范例。梅纳德签署了25位菲尔兹奖得主9月11日发表的声明，该声明批评AI公司与数学界之间存在“目标不一致”。梅纳德说：“这整件事本可以成为人类与AI合作力量的美妙概念验证。不幸的是，由于相关人士的决定，它变成了一场好斗、混乱的争斗。”
争议还涉及OpenAI接触人类研究者的方式。巴克马斯特发表公开声明称，OpenAI表示，如果他放弃在竞争对手Anthropic的合作者阿尔珀格，就会把他列入论文作者。巴克马斯特对NPR说，他相信OpenAI得到了他和阿尔珀格所用方法的提示。目前，数学家仍在尝试理解这份AI证明，尚无迹象显示它已带来可传授的人类理解。