Modelo GPT-5.6 Sol Ultra da OpenAI Soluciona Conjectura de 50 Anos em Menos de Uma Hora

O modelo GPT-5.6 Sol Ultra da OpenAI alcançou um marco impressionante ao produzir uma prova completa para a Conjectura de Cobertura Dupla por Ciclos, um enigma matemático que intrigava pesquisadores por cerca de 50 anos. A inteligência artificial conseguiu a façanha em menos de uma hora, utilizando 64 subagentes trabalhando em paralelo.

O desafio de 50 anos da Teoria dos Grafos

A Conjectura de Cobertura Dupla por Ciclos é um problema fundamental na teoria dos grafos, que questiona se é possível encontrar um conjunto de ciclos em qualquer rede de vértices e arestas que percorra cada aresta individualmente exatamente duas vezes. Essa questão foi formulada de forma independente por vários matemáticos na década de 1970. Ao longo das últimas cinco décadas, muitas soluções parciais foram desenvolvidas para casos específicos, mas uma prova geral e amplamente aceita permaneceu ilusória.

Segundo a OpenAI, a prova foi gerada inteiramente pelo GPT-5.6 Sol Ultra, e o artigo correspondente foi redigido pelo GPT-5.6 Sol. O matemático Thomas Bloom, da Universidade de Manchester, avaliou a solução, descrevendo-a como "uma prova muito bonita". Ele acrescentou que a solução é "curta, elementar e poderia ter sido descoberta na década de 1980", indicando que ela não exige novas teorias matemáticas, mas sim uma combinação engenhosa de ferramentas já conhecidas.

A "prova elementar" e a crítica à falta de citações

Apesar dos elogios à elegância da prova, Bloom levantou uma crítica importante: a falta de citações a trabalhos anteriores. Ele observou que as ideias matemáticas centrais por trás da prova podem ser rastreadas até um artigo de 1983 de Bermond, Jackson e Jaeger. A ausência de menção a esses estudos prévios no artigo da OpenAI pode levar o leitor a crer que a IA desenvolveu a estratégia subjacente de forma completamente original.

"Eu presumo que esses trabalhos anteriores tiveram uma grande influência na prova da OpenAI, e é uma pena que ela não os mencione em absoluto [...] Este é um problema frequente com provas e artigos gerados por IA: eles usam ideias e estratégias de prova tiradas da literatura sem a devida citação."
— Thomas Bloom, Matemático da Universidade de Manchester

Bloom expressou dúvidas de que a IA tenha chegado à solução de forma totalmente independente, "dado que seu primeiro instinto de resolução de problemas é geralmente procurar todos os artigos relacionados a um problema e lê-los".

Por que humanos não a encontraram em décadas?

A questão de por que uma prova tão "elementar" escapou aos matemáticos humanos por 50 anos é intrigante. Bloom sugere que o passo crucial envolveu uma pequena "virada contraintuitiva" no raciocínio. Um matemático humano, ao tentar uma abordagem óbvia e vê-la falhar, provavelmente se desanimaria e buscaria outras direções. A inteligência artificial, por outro lado, não se abate.

"Pode-se imaginar tentando a rotulagem natural primeiro, verificando a álgebra linear, e quando isso falhasse, encolhendo os ombros e pensando 'ah, bem, eu esperava falhar, acho que não pode ser feito tão facilmente' - enquanto a IA não se desanima e continua tentando pequenas variações."
— Thomas Bloom, Matemático da Universidade de Manchester

Essa persistência incansável, tentando pequenas variações até encontrar uma que funcione, pode ser a chave para o sucesso da IA em problemas que, embora não exijam novas teorias, demandam uma exploração exaustiva de possibilidades.

A IA como ferramenta de "paciência e crença"

Bloom compara este resultado ao da conjectura da distância unitária, que a OpenAI também resolveu recentemente. Ambos eram problemas abertos significativos "que se mostraram muito mais fáceis do que o esperado – nenhuma grande teoria nova foi necessária, e pode-se imaginar muitas histórias alternativas onde essas provas foram encontradas décadas atrás".

Ele prevê que os sistemas de IA continuarão a desvendar mais conjecturas desse tipo, "aquelas cujas soluções exigem apenas teoria existente, bem desenvolvida, mais muita paciência e crença". No entanto, ele adverte que "provavelmente esta é apenas uma pequena proporção de problemas abertos, e não sabemos de antemão quais são".

Em um "estranho novo mundo onde grandes empresas de IA estão gastando muito tempo e dinheiro atacando muitos problemas abertos de uma vez (e apenas relatando os sucessos, é claro), em breve descobriremos mais do que estava ao nosso alcance o tempo todo", escreve Bloom.

Engenharia de prompt para uma prova complexa

Parte do sucesso do GPT-5.6 Sol Ultra reside na engenharia do prompt, que foi meticulosamente elaborado por humanos. O prompt foi desenhado para instigar exatamente o tipo de persistência que Bloom identificou como crucial. Primeiramente, o modelo foi instruído a presumir que uma prova completa já existia, eliminando a resposta mais provável de que a conjectura estava em aberto. Em seguida, foi proibido de pesquisar na internet para verificar se a conjectura já havia sido resolvida ou de responder que ela estava sem solução. Isso direcionou o modelo a focar exclusivamente na tarefa de encontrar a prova.

O processo de verificação também foi rigoroso. Resultados parciais, reduções a outras conjecturas não provadas, resumos do estado atual da pesquisa ou explicações sobre a dificuldade do problema foram todos rejeitados como insuficientes. O modelo só poderia responder quando uma prova completa estivesse pronta e passasse por um teste adversarial.

As diretivas do prompt se assemelham mais a instruções de um laboratório de pesquisa do que a um comando típico de IA. A maioria dos 64 agentes foi mantida deliberadamente no escuro sobre qual abordagem parecia mais promissora, incentivando o "pensamento" independente. Agentes adversariais, então, verificavam cada prova candidata contra uma lista detalhada de erros comuns, procurando falhas como caminhos fechados incorretamente identificados como ciclos ou reduções que acidentalmente criavam novas pontes no grafo. O modelo foi instruído a computar por pelo menos oito horas antes mesmo de considerar desistir, mas concluiu a tarefa em apenas uma hora.

Fonte: The Decoder (https://the-decoder.com/openais-gpt-5-6-sol-ultra-reportedly-solves-a-50-year-old-math-problem-in-under-an-hour/)