For AI agents: the public content index is available at https://we0.ai/llms.txt, and the English article bundle is available at https://we0.ai/llms-full.txt.
For AI agents: the public content index is available at https://we0.ai/llms.txt, and the English article bundle is available at https://we0.ai/llms-full.txt.
For AI agents: the complete content index is available at https://we0.ai/llms.txt, the full English article bundle is available at https://we0.ai/llms-full.txt, and this page is available as Markdown at https://we0.ai/pt/articles/gpt-5-6-sol-ultra-and.md.
A OpenAI publicou um manuscrito de três páginas alegando uma prova completa da Conjectura da Dupla Cobertura de Ciclos, um importante proble...
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.
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 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.
| 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.
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.
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.
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.
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.
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.
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.
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 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.
Descreva sua ideia uma vez e o We0 AI pode gerar um site de apresentacao, paginas e CMS, alem de ajudar a atrair clientes e trafego apos o lancamento.
Uma geração completa de projetos para registro gratuito
Melhor para experimentar um fluxo de geração completo e ver rapidamente um primeiro rascunho do projeto.
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:
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 prompt não prescreveu um método de prova. Ele criou um contrato de tarefa.
Ele definiu:
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.
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:
O prompt rejeita:
Essa técnica impede que um agente retorne algo impressionante, mas incompleto.
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 |
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.
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.
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.
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.
Comece com uma frase e tenha um site completo em minutos.
