OpenAI anunciou uma resolução ao problema de existência e suavidade de Navier–Stokes, um dos sete 1,000,000 Problemas do Prêmio Milênio, usando um modelo interno não lançado. A alegação surgiu em meio a acusações de Tristan Buckmaster, professor de matemática da NYU, e Levent Alpöge, matemático na Anthropic, que alegam que OpenAI pode ter acessado seu trabalho.

Buckmaster e Alpöge colaboraram por quase um ano usando Claude e Codex (principalmente GPT-5.6 Sol), alcançando um avanço em 15 de agosto. Após espalhar rumores de que Anthropic havia resolvido um problema importante, OpenAI lançou seu próprio esforço em 1 de setembro, completando uma prova verificada em Lean até 6 de setembro usando GPT‑6 Astra. Os agentes da OpenAI enviaram 2,7 milhões de mensagens e usaram cerca de 130 bilhões de tokens de saída apenas para Navier–Stokes.

OpenAI ofereceu publicação concorrente, mas excluiu Alpöge devido a laços competitivos com Anthropic. Buckmaster questionou se o modelo da OpenAI foi treinado em suas sessões do Codex; OpenAI negou acessar dados de usuários, mas reconheceu que dados de uso desidentificados podem ter melhorado os modelos. Ambas as provas diferem, notavelmente no caso de Euler (forçado vs. não forçado). A disputa destaca tensões em torno da descoberta matemática assistida por IA e prioridade intelectual.