Modelo de IA não lançado da OpenAI publica 719 artigos de matemática e divide matemáticos

A OpenAI divulgou no GitHub uma coleção de resultados matemáticos produzidos por um modelo de IA que ainda não tornou público. Publicado no início de outubro de 2026, o conjunto reúne centenas de artigos de pesquisa que, segundo a empresa, resolvem problemas abertos de longa data. A divulgação provocou reações fortemente divididas entre matemáticos.

A coleção tinha 722 artigos quando foi anunciada pela primeira vez. Em 7 de outubro, três foram retirados após a identificação de um erro em uma demonstração, deixando o total em 719. Até agora, nenhuma objeção concreta aos demais artigos veio a público. A OpenAI afirma que cada resultado consumiu uma quantidade de computação equivalente a cerca de três horas de raciocínio do ChatGPT Pro.

A verificação ainda está em andamento

Para checar o trabalho, a OpenAI recorre ao Lean, um sistema que expressa demonstrações em uma linguagem formal, para que um computador possa verificar cada passo lógico. Quase metade dos artigos já foi confirmada dessa forma. Ainda é necessária uma análise independente, até para garantir que o enunciado verificado formalmente corresponda de fato à afirmação feita em cada artigo. Por isso, a aceitação científica dos resultados segue pendente.

O matemático francês Hugo Duminil-Copin, conhecido por seu trabalho em teoria das probabilidades e física estatística, disse durante uma videoconferência que 16 problemas nos quais trabalhou por anos aparecem na coleção. Para ele, o cerne da questão não é que uma máquina tenha resolvido os problemas primeiro, mas que os resultados surgiram em enorme escala sem dar à comunidade tempo para assimilá-los. Uma carta aberta anterior, assinada por 25 vencedores da Medalha Fields, já alertara que a divulgação de muitas soluções de uma só vez deixa pouco espaço para compreender as ideias e os métodos por trás delas.

Apelo ao boicote e visões divergentes

A Human Mathematics Association (HMA) foi além, argumentando que o trabalho é mais uma demonstração de poder tecnológico do que uma contribuição científica, e instou matemáticos a boicotar a colaboração com a OpenAI. O medalhista Fields Timothy Gowers adota uma posição diferente, afirmando que o simples volume de resultados não deve ser automaticamente visto como algo negativo. Sua preocupação é de longo prazo: problemas abertos ajudam a atrair jovens para a matemática, e não está claro como essa cadeia de formação vai se sustentar.

A OpenAI afirmou que financiará oficinas, conferências e programas de pesquisa dedicados para ajudar a comunidade a compreender os resultados. A empresa também está compartilhando resumos do raciocínio, estimativas de computação e materiais de verificação. O episódio marca uma nova etapa no debate sobre o papel da IA na produção científica e sobre como os pesquisadores humanos podem acompanhar esse ritmo.