OpenAI宣布了对纳维-斯托克斯存在性与光滑性问题的解决方案，该问题是由克利数学学院指定的七个100万美元千禧奖问题之一，使用了一款尚未发布的内部模型。该声明在纽约大学数学教授特里斯坦布克马斯特和安索罗比数学家雷文特阿尔波耶的指控中出现，这些人声称OpenAI可能访问了他们的工作。

布克马斯特和阿尔波耶在使用Claude和Codex（主要是GPT-5.6 Sol）近一年合作后，于8月15日取得突破。当有传闻称安索罗比解决了一个重大问题后，OpenAI于9月1日启动自己的努力，并使用GPT-6 Astra在9月6日完成了一个Lean验证的证明。OpenAI的代理人发送了270万条消息，并在纳维-斯托克斯方程上使用了约1300亿个输出标记。

OpenAI提供了同时发表的机会，但由于与安索罗比的竞争关系，排除了阿尔波耶。布克马斯特质疑OpenAI的模型是否在他们的Codex会话中进行了训练；OpenAI否认访问用户数据，但承认去标识化的使用数据可能改进了模型。两种证明在欧拉情况（受力与无力）上有所不同。该争议凸显了AI辅助数学发现和知识优先权方面的紧张关系。

关键实体：公司：OpenAI，Anthropic，NYU | 人物：Tristan Buckmaster，Levent Alpöge | 地点：NYU