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
Relacionado no ecossistema
Guias práticos, terminologia essencial e skills de agentes
Binance publica investigação sobre roubo de US$ 6,3 bilhões
A investigação relaciona o roubo a um Homebrew modificado, a uma entrevista falsa e ao uso de uma ferramenta interna de IA da Binance.
JSON — dados estruturados para aplicações, APIs e agentes de IA
Guia prático completo sobre o formato JSON: regras de sintaxe, serialização via parse/stringify, integração com REST API, JSON Schema e saída estruturada para inteligência artificial.
Formatos DOCX e XLSX: quando é necessário um documento final completo gerado por IA
Guia prático completo para geração e processamento de documentos DOCX e planilhas XLSX com IA: comparação com Markdown e CSV, engenharia de prompts, trabalho com fórmulas e automação em código.
Usuário do Reddit explica por que os limites semanais do Claude Code estão sendo consumidos quase 4 vezes mais rápido
Um usuário do Reddit comparou o uso de tokens em duas semanas e descobriu que cada 1% do limite semanal do Claude Code agora gera muito menos tokens de saída; subagentes, tempo de raciocínio e atualizações da interface são apontados como causas prováveis.