Matemática: a OpenAI resolveu um dos “problemas do milênio”?

A OpenAI anunciou que um dos seus modelos de inteligência artificial resolveu um dos dilemas matemáticos mais difíceis de sempre, o relativo entendendo as equações de Navier-Stokes: a questão é considerada essencial para o estudo do movimento dos fluidos e para a descrição completa do fenômeno da turbulência.

Mas embora a empresa tenha descrito a conquista como “um marco para a pesquisa em IA”, elogiando o extraordinário poder computacional usado para decifrar o problema, houve um rebuliço na comunidade matemática. uma disputa sobre a autoria da descoberta.

As equações de Navier-Stokes, em homenagem ao engenheiro e cientista francês Claude-Louis Navier e ao matemático inglês George Stokes, são equações fundamentais para a hidrodinâmica de fluidos compressíveisisto é, fluidos cuja densidade pode variar significativamente devido a mudanças de pressão ou temperatura.

Eles descrevem como a velocidade de um fluido muda devido à inércia, pressão, viscosidade e forças externas. Eles são usados ​​para descrever como o ar ao redor de um avião, a água em um cano, o sangue nas artérias e inúmeros outros fluidos se movem em seus sistemas; eles são usados ​​​​em projetos de aeronaves e previsões meteorológicas.

Compreender essas equações é considerado um dos sete problemas para o milênioos problemas matemáticos tradicionais mais difíceis de resolver e com profundas implicações económicas/práticas estabelecidas por Instituto de Matemática Clayuma fundação com sede em Cambridge, Massachusetts, que trabalha para aumentar o conhecimento da matemática.

Para a resolução destes dilemas que parecem resistir a qualquer tentativa de solução, o instituto ofereceu um prémio em dinheiro, que equivale a um milhão de dólares por cada questão. Até agora apenas um destes problemas – a conjectura de Poincaré – foi resolvido (pelo matemático russo Grigori Perelman).

Numa conferência de imprensa em 8 de setembro de 2026, a OpenAI disse ter demonstrado que as equações de Navier-Stokes podem entrar em colapso com o tempo: ou seja, há situações em que estas equações eles param de fazer sentido e começam a produzir resultados absurdos, que os matemáticos chamam cenários de “explosão” (literalmente explosão, ruptura repentina). Se isto poderia acontecer foi uma das questões colocadas pelo problema do milénio que os preocupa.

“Nossa demonstração mostra que existem fluidos que, apesar de começarem em condições absolutamente normais, com base nas equações de Navier-Stokes, na verdade atingem velocidade infinita em um tempo finito”, disse Ven Chandrasekaran, cientista da computação da OpenAI, em entrevista coletiva.

Porque tal comportamento é fisicamente impossível para um fluido real – como um líquido ou um gás – isto sugere que, sob certas circunstâncias, as equações podem não refletir fielmente a realidade física.”

Ao descrever a descoberta, a OpenAI explicou, sem fornecer detalhes, que utilizou “um modelo interno de desempenho significativamente superior do GPT-6 Astra“, o que demonstraria um desempenho sem precedentes no referência (teste de aceitação de software) da empresa e que seria treinado a partir do dia 28 de agosto. O modelo responderia inicialmente a uma versão simplificada do problema, abrangendo 1.000 Agentes de IA (ou seja, sistemas de software autônomos) que funcionaram por 50 horas.

Mas em 1º de setembro, depois de ouvir rumores de que dois problemas do milênio haviam sido resolvidos, os cientistas da OpenAI decidiram trabalhar na equação completa de Navier-Stokes e aumentaram o poder computacional, chegando ao ponto de empregar 10.000 agentes em IA para resolver o problema. Esta operação, solução para um problema que intrigou as melhores mentes matemáticas durante dois séculos, demorou apenas 11 horas para a IA, mas com custos de cálculo de cerca de 15 milhões de dólares.

As inscrições no concurso admitidas pela OpenAI referem-se ao trabalho de dois cientistas humanosTristan Buckmaster, matemático da Universidade de Nova York, e Levent Alpoge, da empresa de IA Anthropic, rival da OpenAI e controladora do LLM Claude. Poucas horas antes do anúncio da OpenAI os dois divulgaram seu trabalho por meio de um documento online a resolução de três etapas intermediárias significativas considerado importante para resolver o problema de Navier-Stokes. Os dois cientistas disseram que colaboram há meses e receberam “uma ajuda notável” da IA, incluindo o uso do LLM e OpenAI da Anthropic.

Porém, quando a OpenAI afirmou ter feito um trabalho mais completo, explorando essencialmente apenas a contribuição autônoma dos agentes de IA, Buckmaster acusou a empresa de opacidade: a gigante teria usado a mesma abordagem usada por Buckmaster e Alpöge nos meses anteriores, sem fornecer detalhes sobre como ele alcançou o resultado e seguindo o mesmo caminho lógico seguido pelos dois matemáticos nos meses anteriores.

A acusação não tão velada é que explorou o trabalho da dupla de cientistas armazenados na nuvem da OpenAI para treinar seus agentes de IA. E por não terem dado crédito à sua contribuição, graças ao envolvimento da empresa rival Anthropic.

OpenAI disse não querendo receber o prêmio em dinheiro em caso de resolução do problema. Mas levará algum tempo para verificar sua prova. Como explicado em Novo Cientista“As demonstrações geradas pela IA são muitas vezes difíceis de entender e raramente oferecem o mesmo nível de novos insights que aquelas criadas por humanos.”

«Este ano aconteceu uma desconexão muito estranho e sem precedentes entre obter respostas e obter compreensão”, explicou ele ao Novo Cientista Terence Tao, matemático da Universidade da Califórnia, Los Angeles. O cientista refere-se ao facto de a IA estar a alcançar resultados históricos na prova de problemas matemáticos de uma forma tão rápida, que não há tempo para a compreender completamente.

O processo de avaliação do novo resultado pelo Clay Institute será lento e rigoroso, as mesmas características que, nesta perseguição de postagens e coletivas de imprensa, parecem ter se perdido um tanto.