GPT-5.6 Sol provou em uma hora uma hipótese matemática com a qual os cientistas vinham lutando há mais de 50 anos

\nA OpenAI anunciou que o modelo GPT-5.6 Sol foi capaz de provar a Conjectura da Capa Dupla do Ciclo, que permaneceu sem solução por mais de 50 anos. Segundo a empresa, a prova bem-sucedida foi obtida simultaneamente ao lançamento de uma nova versão do modelo de IA.\n\nA hipótese, formulada na década de 1970, pertence ao campo da teoria dos grafos, que estuda os vértices e as arestas que os conectam. Ela afirma que quase qualquer grafo admite cobertura de ciclo duplo, em que cada aresta pertence a exatamente dois circuitos fechados. Anteriormente, conforme observado pela popular revista científica Scientific American, os matemáticos conseguiram provar isso apenas para certas classes de gráficos, mas não conseguiram obter uma solução geral.\n\nA prova criada usando GPT-5.6 Sol mostra que qualquer gráfico que satisfaça as condições da hipótese pode ser coberto por no máximo oito ciclos especialmente selecionados. De acordo com o matemático Noga Alon, da Universidade de Princeton, o resultado foi mais uma evidência de que as ferramentas de inteligência artificial já estão começando a influenciar significativamente a pesquisa matemática moderna.\n\nPara obter a prova, a OpenAI usou um prompt especial publicado junto com os resultados do trabalho. Em particular, foi solicitado ao modelo que distribuisse a solução entre 64 agentes trabalhando em paralelo, e também que não parasse de buscar uma solução, mesmo que o problema fosse considerado não resolvido. Além disso, os desenvolvedores recomendaram que o modelo gastasse pelo menos oito horas procurando uma prova antes de abandonar novas tentativas.\n\nO matemático Andrew Sutherland, do Instituto de Tecnologia de Massachusetts.O Instituto de Tecnologia (MIT) sugeriu que casos semelhantes podem se repetir no futuro. Alguns problemas adquirem a reputação de serem excepcionalmente difíceis, levando os pesquisadores a prestar menos atenção a eles, enquanto grandes modelos de linguagem podem combinar métodos existentes e encontrar soluções relativamente simples para hipóteses matemáticas conhecidas há muito tempo, disse ele.\n