GPT-5.6 Sol Ultra e a Prova da Conjectura da Dupla Cobertura de Ciclos com 64 Agentes
A OpenAI publicou um manuscrito de três páginas alegando uma prova completa da Conjectura da Dupla Cobertura de Ciclos, um importante problema em aberto na teoria dos grafos que remonta à década de 1970. Segundo os pesquisadores da OpenAI Ethan Knight e Noam Brown, o GPT-5.6 Sol Ultra gerou o resultado em menos de uma hora de tempo real, coordenando até 64 subagentes paralelos. Em seguida, o Codex com o GPT-5.6 Sol foi utilizado para preparar o texto matemático final. A OpenAI também divulgou o prompt completo de duas páginas. Esse d
GPT-5.6 Sol Ultra e a Prova da Conjectura da Dupla Cobertura de Ciclos com 64 Agentes
Introdução
A OpenAI publicou um manuscrito de três páginas que alega conter uma prova completa da Conjectura da Dupla Cobertura de Ciclos, um dos principais problemas em aberto na teoria dos grafos que remonta à década de 1970.
De acordo com os pesquisadores da OpenAI, Ethan Knight e Noam Brown, o GPT-5.6 Sol Ultra gerou o resultado em menos de uma hora de tempo real, coordenando até 64 subagentes paralelos. O Codex com GPT-5.6 Sol foi então utilizado para preparar a redação matemática final.
A OpenAI também divulgou o prompt completo de duas páginas. Esse documento é valioso porque mostra como uma tarefa de pesquisa difícil pode ser estruturada para um grande sistema multiagente.
A ressalva principal é simples: a OpenAI publicou uma prova alegada, não um consenso matemático revisado por pares. Especialistas ainda precisam verificar o argumento de forma independente antes que a conjectura possa ser considerada formalmente resolvida.
O Que a OpenAI Anunciou
Ethan Knight afirmou que o GPT-5.6 Sol Ultra produziu uma prova da Conjectura da Dupla Cobertura de Ciclos com 64 subagentes em menos de uma hora.
Noam Brown destacou dois pontos:
- A configuração do modelo estava disponível publicamente, e não limitada a um sistema de pesquisa interno.
- O computação paralela em tempo de teste reduziu o tempo necessário para uma tarefa que, de outra forma, exigiria um raciocínio sequencial muito mais longo.
A OpenAI descreve o ultra como a configuração de maior capacidade do GPT-5.6. Ele coordena múltiplos agentes em fluxos de trabalho paralelos e troca um maior uso de tokens por resultados mais robustos e um tempo de resposta mais rápido em tarefas exigentes.
O Que Foi Publicado
| Documento | Extensão | Propósito |
|---|---|---|
| Manuscrito da prova | 3 páginas | Apresenta uma prova completa e afirmativa |
| Prompt completo | 2 páginas | Define o teorema, critérios de conclusão, estratégia de busca, gerenciamento de agentes e requisitos de revisão |
O manuscrito da prova afirma que a prova é inteiramente devida ao GPT-5.6 Sol Ultra e que o Codex com GPT-5.6 Sol foi usado para a redação.
O Que É a Conjectura da Dupla Cobertura de Ciclos?
Um grafo é uma coleção de vértices conectados por arestas.
Um ciclo é uma rota fechada. Uma ponte é uma aresta cuja remoção aumenta o número de componentes conectados.
A conjectura afirma:
Todo grafo finito sem pontes possui uma
coleção de ciclos na qual cada aresta aparece exatamente duas vezes.
A palavra "exatamente" cria a dificuldade. Adicionar um novo ciclo pode corrigir uma aresta mal coberta, mas fazer com que outra aresta apareça três vezes.
Por Que as Pontes São Excluídas
Uma ponte não pode pertencer a um ciclo. Se uma aresta é a única conexão entre duas partes de um grafo, nenhuma rota fechada válida pode incluí-la. Portanto, uma dupla cobertura de ciclos é impossível quando existe uma ponte.
A Ideia Central da Prova Publicada
O manuscrito não busca os ciclos necessários diretamente.
Ele converte o problema em um problema de rotulagem de arestas sobre um espaço vetorial finito e, em seguida, usa álgebra linear para mostrar que os rótulos locais podem ser tornados globalmente consistentes.
Passo 1: Redução a Grafos Cúbicos
A prova usa uma redução padrão atribuída a Jaeger. Basta tratar de multigrafos cúbicos sem laços, onde cada vértice tem exatamente três
arestas incidentes.
Passo 2: Atribuir um Rótulo de Fluxo Não Nulo
A prova utiliza o espaço vetorial finito:
Γ = F₂³
Um fluxo sem zeros atribui um vetor não nulo a cada aresta, satisfazendo uma regra de conservação em cada vértice.
Para rótulos de arestas incidentes x, y e z:
x + y + z = 0
A prova baseia-se no teorema estabelecido de que todo grafo sem pontes possui um fluxo sem zeros sobre este grupo de oito elementos.
Passo 3: Substituir Cada Rótulo por um Conjunto de Dois Elementos
Cada aresta e recebe um conjunto de dois elementos:
Pₑ ⊆ Γ
A regra local alvo é:
Para todo vértice v e rótulo s ∈ Γ,
o número de arestas incidentes e com s ∈ Pₑ é 0 ou 2.
Fixe um rótulo s e reúna todas as arestas cujo conjunto o contenha. Cada vértice terá, então, grau zero ou dois nesse subgrafo, de modo que as arestas selecionadas formam uma união disjunta de ciclos.
Como cada aresta tem dois rótulos, ela pertence a exatamente duas famílias de ciclos definidas por rótulos. Isso cria uma cobertura dupla de ciclos.
Passo 4: Resolver a Consistência Global
A construção local deve concordar em ambas as extremidades de cada aresta.
A prova expressa essa condição como um sistema linear:
tᵤ + tᵥ + εₑ f(e) = dₑ
Um argumento de espaço dual e paridade é então usado para mostrar que o sistema sempre tem solução.
Os conjuntos locais de dois elementos podem, portanto, ser combinados em uma única atribuição global, e os ciclos necessários seguem automaticamente.
A Estratégia em Uma Frase
A prova não constrói os ciclos um a um. Ela constrói rótulos cuja estrutura de paridade força o aparecimento dos ciclos.
Por Que a Verificação Independente Ainda Importa
Uma prova curta de uma famosa conjectura em aberto requer verificação cuidadosa, independentemente de ter sido escrita por uma pessoa ou por um sistema de IA.
Os revisores precisam verificar se:
- A redução a grafos cúbicos se aplica exatamente como usada.
- O teorema do fluxo sem zeros tem as hipóteses necessárias.
- A rotulagem local lida com toda configuração cúbica válida.
- O argumento de dualidade prova a solubilidade completa.
- Arestas paralelas e grafos desconexos são tratados corretamente.
- Nenhum passo assume uma
forma equivalente da conjectura.
Artigos anteriores também reivindicaram provas da Conjectura da Cobertura Dupla de Ciclos sem produzir uma resolução amplamente aceita. A existência de um manuscrito não é, portanto, suficiente por si só.
Uma descrição cuidadosa é:
GPT-5.6 Sol Ultra produziu um manuscrito curto que a OpenAI apresenta como uma prova completa, e o argumento agora está disponível para revisão matemática independente.
O Que o Prompt Fez de Diferente
O prompt não prescreveu um método de prova. Ele criou um contrato de tarefa.
Ele definiu:
- O teorema exato.
- Todos os termos importantes e casos extremos.
- O que contava como conclusão.
- O que não contava como conclusão.
- Como os agentes deveriam explorar alternativas.
- Quando uma rota deveria ser marcada como bloqueada.
- Como as provas candidatas deveriam ser revisadas.
- Que evidências cada agente deveria retornar.
- Quando o agente raiz poderia parar.
Lição de Prompt 1: Defina a Conclusão, Não um Procedimento Adivinhado
Para uma tarefa difícil com um caminho de solução desconhecido, um fluxo de trabalho rígido pode codificar uma suposição ruim.
Um prompt mais forte define o artefato final e os testes que ele deve passar.
Entregue um resultado completo que satisfaça todos os critérios de aceitação abaixo.
Você pode escolher e revisar o processo dinamicamente, mas a saída final deve
cobrir todos os casos declarados e sobreviver a uma revisão independente.
Lição de Prompt 2: Remova a Ambiguidade Antecipadamente
O prompt define a classe de grafos, pontes, ciclos, arestas paralelas, grafos desconectados e multiplicidade exata antes de pedir uma prova.
Para trabalho empresarial ou técnico, o equivalente é definir:
- Intervalo de tempo.
- Fonte de dados.
- Grupo de usuários.
- Unidade de medida.
- Formato exigido.
- Suposições permitidas.
- Casos excluídos.
- Limites de aprovação.
Lição de Prompt 3: Especifique o Que Não Conta
O prompt rejeita:
- Provas apenas para classes especiais de grafos.
- Coberturas onde algumas arestas não aparecem exatamente duas vezes.
- Reduções para outra conjectura não comprovada.
- Verificação apenas até um tamanho fixo de grafo.
- Progresso parcial apresentado como solução completa.
Essa técnica impede que um agente retorne algo impressionante, mas incompleto.
Lição de Prompt 4: Preserve Caminhos de Busca Independentes
O agente raiz foi instruído a começar com abordagens genuinamente diferentes e não revelar a rota favorecida para a maioria dos agentes muito cedo.
Isso reduz convergência prematura e pensamento de grupo.
Um portfólio prático de agentes poderia incluir:
| Família de agente | Responsabilidade |
|---|---|
| Estrutural | Buscar reduções e invariantes |
| Algébrica | Traduzir o problema em equações |
| Construtiva | Construir o objeto exigido diretamente |
| Computacional | Testar casos e lemas propostos |
| Literatura | Verificar teoremas padrão |
| Adversarial | Buscar contraexemplos e suposições ocultas |
| Sintetizador | Comparar e mesclar resultados compatíveis |
Lição de Prompt 5: Marque Rotas Bloqueadas
Quando uma rota encontra um lema faltante tão difícil quanto o problema original, ela deve ser marcada como bloqueada.
Nenhum agente adicional deve ser designado, a menos que alguém introduza um mecanismo, invariante, construção ou contraexemplo genuinamente novo.
Isso evita que recursos computacionais sejam desperdiçados em uma redução elegante, mas circular.
Lição de Prompt 6: Separe Geração de Revisão
O prompt exige que agentes adversariais verifiquem multiplicidade exata, casos de arestas paralelas, grafos desconectados, trilhas fechadas inválidas e
Raciocínio circular.
O agente que cria uma solução não deve ser o único agente a julgá-la.
Isso se aplica a lançamentos de produtos, análises de dados, migrações, revisões de segurança e fluxos de trabalho legais ou financeiros.
Lição 7 do Prompt: Exija Evidências Concretas
Os subagentes devem retornar lemas, equações, construções ou contraexemplos concretos. Relatórios vagos como "direção promissora" não foram aceitos.
Uma instrução reutilizável é:
Todo agente deve retornar um artefato que outro agente possa inspecionar.
Não aceite atualizações de status sem cálculos, testes, fontes,
código, exemplos ou uma lacura não resolvida precisamente declarada.
A Instrução de Oito Horas e o Resultado de Uma Hora
O prompt instrui o sistema a gastar pelo menos oito horas antes de considerar parar ou desistir. O anúncio da OpenAI afirma que a prova foi produzida em menos de uma hora.
Os documentos públicos não detalham exatamente como essa instrução foi interpretada.
Uma explicação plausível é a diferença entre o tempo real decorrido e o tempo agregado dos agentes. Com 64 agentes rodando em paralelo, uma hora de tempo decorrido pode conter muitas horas-agente de trabalho.
Trata-se de uma inferência, e não de um método de contabilidade confirmado para o experimento.
Um Contrato de Tarefa Multigente Reutilizável