OpenAI, em 8 de setembro de 2026, declarou que seu sistema interno de IA resolveu um dos sete problemas do milênio — o problema da existência e suavidade das soluções das equações de Navier-Stokes.
Segundo a empresa, a prova mostra que um fluido suave em repouso sob a ação de uma força suave pode desenvolver uma singularidade em tempo finito, com a energia permanecendo finita.
A solução foi obtida com a ajuda de milhares de agentes de IA que trabalharam por aproximadamente 88 horas e foi formalizada em Lean.
O anúncio imediatamente gerou controvérsia na comunidade matemática.
O professor da Universidade de Nova York Tristan Buckmaster e o pesquisador da Anthropic Levent Alpöge haviam publicado recentemente resultados sobre problemas relacionados, considerados passos importantes para a solução do problema de Navier-Stokes.
Buckmaster expressou preocupação de que a OpenAI pudesse ter tomado conhecimento da direção de seu trabalho e acelerado seus próprios esforços, usando uma abordagem semelhante.
A empresa rejeitou as acusações de acesso a dados ou rascunhos de terceiros, afirmando que agiu com base em rumores públicos sobre o progresso em outros problemas do milênio.
Como exatamente os agentes de IA chegaram à prova e se isso pode ser considerado um avanço independente, agora é discutido por matemáticos e especialistas em IA.
É interessante saber se esse episódio afetará a confiança dos pesquisadores no uso de modelos comerciais para trabalhar em resultados não publicados.
A OpenAI enfatizou que não pretende reivindicar o prêmio de um milhão de dólares do Clay Mathematics Institute.
O evento se tornou mais um exemplo de como as capacidades da IA em matemática estão se desenvolvendo rapidamente, mas ao mesmo tempo levantou questões sobre ética e autoria na colaboração entre humanos e máquinas.
