RecodeX 重构消息，《纽约时报》最新报道披露了OpenAI与数学家Tristan Buckmaster围绕纳维-斯托克斯方程证明的冲突细节。OpenAI更新了用户数据说法，称Buckmaster过去两个月的Codex提示词不可能影响内部模型，7月3日之后的用户输入也不会进入该系统，但该说法尚无公开技术材料可供独立核查。

报道称，OpenAI曾向Buckmaster提出多种合作方案，包括由其担任主要作者、提供算力，并建议百万美元千禧年大奖荣誉归其与合作者。OpenAI研究负责人Sébastien Bubeck确认，公司不希望任职于Anthropic的合作者Levent Alpöge出现在最终论文中。

在纳维-斯托克斯证明公布后，OpenAI又确认在另一道千禧年难题上取得“实质性进展”，传闻指向霍奇猜想。相关内部模型自8月28日开始训练，数学能力已显著超过GPT-6 Astra。