OpenAI resolve em 88 horas o problema matemático de um milhão — e disputa sobre mérito começa

Um sistema de IA implantado pela OpenAI produziu uma prova formal e verificada por máquina que resolve um dos sete Problemas do Milênio da matemática — as equações de Navier-Stokes, um conjunto de equações diferenciais que regem como fluidos com atrito se movem pelo espaço. O resultado encerra um problema que estava oficialmente aberto há mais de duas décadas, com um prêmio de US$ 1 milhão, e informalmente sem solução desde que as equações foram escritas pela primeira vez há quase dois séculos.

As equações de Navier-Stokes não são curiosidades abstratas. Elas fundamentam a física de praticamente todo fluido: como os padrões climáticos se formam, como o sangue se move por uma artéria, como a asa de uma aeronave gera sustentação, como a água agita sobre o leito de um rio. O que os matemáticos não conseguiam determinar era se essas equações sempre produzem soluções ordenadas — ou se podem chegar a um ponto em que a matemática simplesmente colapsa, gerando o que os matemáticos chamam de singularidade: um valor que dispara em direção ao infinito. O Clay Mathematics Institute ofereceu US$ 1 milhão a quem pudesse responder a essa pergunta de forma definitiva.

A resposta da OpenAI é a segunda opção — as equações podem colapsar. A empresa implantou cerca de 10 mil agentes autônomos de IA que trocaram aproximadamente cinco milhões de mensagens ao longo de 88 horas, construindo coletivamente uma prova de que singularidades podem se formar nas equações tridimensionais de Navier-Stokes. A prova foi então verificada usando o Lean, um assistente formal de provas que checa argumentos matemáticos passo a passo, eliminando a possibilidade de erro humano no processo de verificação. O custo computacional foi de vários milhões de dólares.

Leitura recomendadaOpenAI quebrou um problema matemático de 80 anos sem modelo especializado

A solução é rigorosa pelos padrões de verificação formal. Mas rigor não é o mesmo que autoria, e essa distinção é onde a história se torna contestada. As técnicas analíticas no centro da prova foram desenvolvidas não por uma IA, mas por Diego Córdoba, matemático do Instituto de Ciências Matemáticas de Madri, e Luis Martínez-Zoroa, recém-doutorado que trabalhava no grupo de Córdoba. Charles Fefferman, de Princeton, um dos maiores especialistas mundiais no problema, afirmou claramente que os verdadeiros heróis intelectuais do avanço são esses dois pesquisadores. Tristan Buckmaster, matemático da Universidade de Nova York que liderou uma equipe concorrente que chegou a conclusões semelhantes em problemas relacionados, argumentou que Martínez-Zoroa merece a Medalha Fields — a mais alta honraria da matemática — pelo trabalho criativo subjacente.

O que os agentes da OpenAI fizeram foi pegar essas ideias desenvolvidas por humanos e executar a verificação formal em uma escala e velocidade que nenhuma equipe humana poderia igualar. Se isso constitui uma solução do problema depende do que se entende por ‘resolver’. A versão para manchetes — IA derrota um mistério matemático de quase dois séculos — não está errada. Mas deixa de fora as pessoas que geraram a ideia central. O anúncio da OpenAI creditou os agentes de IA de forma destacada; Córdoba e Martínez-Zoroa foram mencionados em uma nota de rodapé. Essa assimetria gerou uma reação significativa da comunidade matemática.

Vale notar também o que o resultado não muda na prática. As singularidades identificadas na prova existem em um mundo matemático idealizado onde os fluidos são contínuos. Fluidos reais consistem em moléculas discretas; as equações são uma aproximação da realidade física, não uma descrição direta dela. Encontrar uma ‘explosão’ matemática não significa que qualquer fluido real vá subitamente acelerar até uma velocidade infinita. Os modelos de engenharia nos quais pilotos, meteorologistas e cardiologistas confiam não são afetados.

O Clay Mathematics Institute ainda não concedeu oficialmente o prêmio de US$ 1 milhão. Uma revisão humana formal — verificando se o que foi provado é exatamente o que o problema pedia — ainda está pendente. O instituto aplica critérios rigorosos; o problema anterior do Milênio a ser resolvido, a conjectura de Poincaré, exigiu três anos de revisão pela comunidade antes que qualquer prêmio fosse confirmado. Se Córdoba e Martínez-Zoroa receberão reconhecimento formal, e como os US$ 1 milhão poderão ser distribuídos entre uma corporação e os humanos cujas ideias matemáticas tornaram a prova possível, são perguntas que o instituto ainda não respondeu.

Tags: inteligência artificial, OpenAI, equações de Navier-Stokes, matemática, Prêmio do Milênio

Conteúdo similar

Uma IA do Google resolveu problemas de matemática abertos há 56 anos por algumas centenas de dólares

GPT-5.6 é lançado com três faixas de preço e o primeiro aval da Casa Branca para um modelo de IA

Claude Fable 5 volta a funcionar após 18 dias: a falha estava no ataque, não no modelo

As pessoas recorrem à IA para a saúde mental porque ela responde, não porque funciona

ChatGPT lança modo para adolescentes — pais controlam o uso, mas não as conversas

A IA de ponta ficou 83% mais barata — se você estiver disposto a hospedá-la por conta própria