GPT-5.6 Sol prova hipótese de 50 anos sobre ciclos de dupla cobertura
O novo modelo GPT-5.6 Sol gerou uma demonstração para uma conjectura de 50 anos em teoria dos grafos, utilizando 64 subagentes para resolver o problema em apenas uma hora.
GPT-5.6 Sol prova hipótese de 50 anos sobre ciclos de dupla cobertura
Este é um dos problemas abertos mais antigos na teoria dos grafos, formulado por Dyer e Szekeres em 1973.
A hipótese afirma que, para qualquer grafo sem pontes, existe um conjunto de ciclos tal que cada aresta do grafo está incluída exatamente em dois desses ciclos.
A relevância desta conjectura é imensa, pois ela se relaciona diretamente com a teoria dos fluxos sem zero (nowhere-zero flows), um tema central na teoria estrutural dos grafos. A dupla cobertura foi alvo de inúmeras tentativas de demonstração ao longo das décadas, mas nenhuma delas foi reconhecida como uma solução definitiva até agora.
Há poucas horas, um funcionário da OpenAI anunciou que o novo modelo GPT-5.6 Sol gerou uma prova desta hipótese em apenas uma hora, coordenando 64 subagentes para realizar a tarefa.
A demonstração foi publicada, mas ainda não foi verificada pela comunidade matemática, e as discussões estão em andamento. Se confirmada, esta será uma das maiores e mais significativas provas geradas por IA até o momento.
Por que isso importa
AnáliseEsta descoberta pode ter um impacto tremendo no desenvolvimento da teoria dos grafos e da inteligência artificial, abrindo novas avenidas para pesquisa em ambas as áreas.
Debater na comunidade
Compartilhe suas dúvidas e insights com desenvolvedores