OpenAI 宣布,其内部一个超越GPT-6 Astra能力的模型,成功解决了千禧年难题中的纳维–斯托克斯存在性与光滑性问题。该模型证明了在施加平滑外力的情况下,流体在有限时间内可出现奇点,完成了克雷研究所题面中的C和D两种情况。这一证明由约1万个Agent并行工作88小时达成,GPT-6 Astra则负责检查其中的漏洞。然而,纽约大学数学家Tristan Buckmaster和Anthropic研究员Levent Alpöge对此提出质疑。他们表示,两人此前正沿相同方向研究且即将取得突破,并将研究草稿等存入了OpenAI Codex,因此怀疑OpenAI的模型可能使用了他们的数据。此外,Buckmaster还指出,OpenAI曾提出两种发布方案,并试图将Alpöge排除在作者名单之外。对此,OpenAI否认查看过两人的工作,但表示无法排除去标识化数据可能帮助改进模型的可能性,相关人员也对争议细节给出了不同回应。值得注意的是,OpenAI此次证明的是有外力情况下的纳维–斯托克斯问题,而数学界更为关注的无外力版本问题仍未得到解决。
