IA da OpenAI pode ter resolvido problema matemático sem solução há 50 anos em menos de uma hora
O pesquisador Ethan Knight, membro da equipe técnica da OpenAI, anunciou que o novo modelo de inteligência artificial da OpenAI, GPT-5.6 Sol Ultra, gerou uma prova completa para a Conjectura da Cobertura Dupla por Ciclos (Cycle Double Cover Conjecture), um dos problemas clássicos da teoria dos grafos que permanecia sem solução há cerca de cinco décadas.
Segundo o que foi divulgado, o modelo utilizou 64 subagentes trabalhando em paralelo e concluiu a demonstração em menos de uma hora. O artigo apresentado teria sido produzido inteiramente pela IA, sem intervenção humana na elaboração da prova.
A conjectura, formulada na década de 1970, investiga se é possível encontrar um conjunto de ciclos em qualquer grafo de forma que cada aresta seja percorrida exatamente duas vezes. Apesar de décadas de pesquisas e avanços parciais, uma prova geral ainda não havia sido aceita pela comunidade matemática.
O matemático Thomas Bloom, da Universidade de Manchester, avaliou inicialmente o trabalho como "uma prova muito boa", destacando que ela é curta, elegante e utiliza ferramentas matemáticas já conhecidas. No entanto, ele também apontou que a validação definitiva dependerá da revisão da comunidade científica, processo essencial para confirmar a correção da demonstração.
Bloom também criticou a ausência de referências a pesquisas anteriores, afirmando que a estratégia empregada parece se basear em ideias desenvolvidas por matemáticos nas décadas passadas, mas sem o devido reconhecimento dessas contribuições.
Se a prova for confirmada por especialistas, o feito poderá representar um marco tanto para a matemática quanto para a inteligência artificial, demonstrando o potencial de modelos de IA para contribuir na resolução de problemas científicos considerados de fronteira.