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

Um sistema de IA implementado pela OpenAI produziu uma prova formal e verificada por máquina que resolve um dos sete Millennium Prize Problems da matemática — as equações de Navier-Stokes, um conjunto de equações diferenciais que regem o movimento de fluidos com atrito no espaço. O resultado encerra um problema que está oficialmente aberto há mais de duas décadas, com um prémio de 1 milhão de dólares, e informalmente por resolver 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 estão na base da física de praticamente todos os fluidos: como os padrões climáticos se formam, como o sangue se move numa artéria, como a asa de um avião gera sustentação, como a água se agita no leito de um rio. O que os matemáticos não conseguiam determinar era se estas equações produzem sempre soluções ordenadas — ou se podem atingir um ponto em que a matemática colapsa completamente, gerando aquilo a que os matemáticos chamam uma singularidade: um valor que espirala em direção ao infinito. O Clay Mathematics Institute ofereceu 1 milhão de dólares a quem conseguisse responder a essa pergunta de forma definitiva.

A resposta da OpenAI é a segunda opção — as equações podem colapsar. A empresa implementou cerca de 10.000 agentes de IA autónomos que trocaram aproximadamente cinco milhões de mensagens ao longo de 88 horas, construindo coletivamente uma prova de que podem formar-se singularidades nas equações de Navier-Stokes tridimensionais. A prova foi depois verificada usando Lean, um assistente de prova formal que verifica 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 resolveu um problema matemático de 80 anos sem um modelo especializado

A solução é rigorosa pelos padrões de verificação formal. Mas rigor não é o mesmo que autoria, e é nessa distinção que 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 Institute of Mathematical Sciences em Madrid, e Luis Martínez-Zoroa, um recém-doutorado que trabalha 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 aqueles dois investigadores. Tristan Buckmaster, matemático da New York University que liderou uma equipa concorrente que chegou a conclusões semelhantes em problemas relacionados, argumentou que Martínez-Zoroa merece uma Medalha Fields — a mais alta honraria da matemática — pelo trabalho criativo subjacente.

O que os agentes da OpenAI fizeram foi pegar nessas ideias desenvolvidas por humanos e executar a verificação formal a uma escala e velocidade que nenhuma equipa humana conseguiria igualar. Se isso constitui resolver o problema depende do que significa resolver. A versão de manchete — a IA derrota um mistério matemático com quase dois séculos — não está errada. Mas omite as pessoas que geraram a perceção central. O anúncio da OpenAI creditou os agentes de IA de forma proeminente; Córdoba e Martínez-Zoroa receberam uma nota de rodapé. Essa assimetria gerou uma reação significativa por parte da comunidade matemática.

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

O Clay Mathematics Institute ainda não atribuiu oficialmente o prémio de 1 milhão de dólares. Uma revisão humana formal — verificando que o que foi provado é precisamente o que o problema pedia — continua pendente. O instituto aplica critérios rigorosos; o anterior Millennium Problem resolvido, a conjectura de Poincaré, exigiu três anos de revisão pela comunidade antes de qualquer prémio ser confirmado. Se Córdoba e Martínez-Zoroa receberão reconhecimento formal, e como os 1 milhão de dólares poderão ser distribuídos entre uma empresa e os humanos cujas ideias matemáticas tornaram a prova possível, são questões que o instituto ainda não respondeu.

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

Conteúdo semelhante

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

Oppo Find X9 Ultra estreia com zoom óptico 10x e um 300 mm destacável

Apple fica sem opções legais na UE: todos os recursos contra o DMA foram rejeitados

A NASA lançou o telescópio Roman, que consegue ver 100 vezes mais céu do que o Hubble

GPT-Live traz o full-duplex ao ChatGPT — a pausa que denunciava a IA desapareceu

A Ascensão da Tecnologia Quântica na Ásia-Pacífico: Uma Análise das Tendências Regionais