OpenAI afirmou que seu sistema de inteligência artificial encontrou uma solução para o problema de Navier‑Stokes, um dos seis Problemas do Milênio ainda sem resolução segundo o Clay Mathematics Institute, e divulgou um texto com prova formal em Lean.
Contexto do problema de Navier‑Stokes
The Wall Street Journal definiu a solução como um "Santo Graal" da matemática. O The Athletic explica que as equações descrevem o movimento de fluidos e que, apesar de sua utilidade prática, a existência e a regularidade das soluções globais ainda não foram demonstradas. O Clay Mathematics Institute lista o Navier‑Stokes entre os seis problemas ainda em aberto do Prêmio do Milênio, cada qual com premiação de US$ 1 milhão.
Como a OpenAI chegou à afirmação
Segundo o blog da OpenAI (EUA), a empresa usou um modelo mais avançado que o GPT‑6 Astra, com até dez mil agentes trabalhando em paralelo por 88 horas. Os agentes trocaram mais de 2,7 milhões de mensagens e geraram cerca de 130 bilhões de tokens, analisando um termo normalmente ignorado nas equações de Euler para gerar uma "explosão" sob condições específicas. A Hipertextual (Espanha) acrescenta que o processo incluiu acesso a uma versão armazenada da internet e a capacidade de executar código.
Controvérsia sobre autoria e acusações de plágio
A Hipertextual (Espanha) informa que o matemático Tristan Buckmaster acusou a OpenAI de apropiar‑se de trabalho desenvolvido junto a Levent Alpöge, da Anthropic, usando modelos Claude, Codex com GPT‑5.6 Sol e Astra. Segundo ele, a OpenAI teria utilizado um método conhecido como "forcing" que vinha sendo explorado pela dupla. A OpenAI negou as acusações, dizendo não ter acessado prompts privados, embora não tenha descartado que dados anonimizados de uso tenham influenciado o treinamento. O El Universal (México) e o WIRED en Español (México) destacam que outros especialistas também falaram em "jogo sujo" e questionaram a originalidade da solução. A Blasting News (Itália) descreveu a situação como uma disputa sobre os créditos da prova gerada por IA.
Onde a cobertura diverge
Algumas fontes enfatizaram o aspecto técnico da conquista. O blog da OpenAI (EUA) e o DER STANDARD (Áustria) apresentaram o feito como um possível avanço histórico na matemática aplicada a fluidos, clima e engenharia. Já veículos de língua espanhola — como Hipertextual, El Universal, Heraldo de Aragão e RPP Noticias — deram maior atenção às acusações de plágio e à necessidade de transparência na atribuição. A cobertura italiana (Blasting News) focou na disputa de créditos entre humanos e sistemas de IA, enquanto os meios hondurenhos (Proceso Digital) e peruanos (RPP Noticias) repetiram a afirmação da OpenAI sem aprofundar o debate.
