GPT-5.6 сгенерировал доказательство, решившее 6-летнюю задачу криптографии

Os criptógrafos Prabhanjan Ananth, da Universidade da Califórnia em Santa Bárbara, e Amit Sahai, da UCLA, publicaram em 23 de julho de 2026 no arXiv um artigo intitulado «Unconditional Unclonable Encryption», que encerrou um problema que há seis anos desafiava a criptografia quântica. A construção da criptografia e as ideias-chave da prova foram geradas inteiramente pelo agente Codex sobre o modelo GPT-5.6 Sol Ultra.

O que exatamente o GPT-5.6 fez

O GPT-5.6, por meio do agente Codex, não entregou apenas um fragmento dos cálculos, mas toda a construção da criptografia e as principais ideias da prova de sua segurança — Ananth e Sahai afirmam isso diretamente em uma seção separada ao final da introdução. É justamente esse parágrafo que está sendo discutido tanto quanto o próprio resultado matemático: o modelo de linguagem propôs por conta própria uma construção de pesquisa, em vez de realizar um cálculo mecânico.

• Data de publicação — 23 de julho de 2026, preprint no arXiv (2607.21551)
• Autores — Prabhanjan Ananth (UC Santa Barbara) e Amit Sahai (UCLA)
• Modelo — GPT-5.6 Sol Ultra, operando por meio do agente Codex
• O problema permanecia em aberto para os criptógrafos quânticos havia cerca de seis anos
• Tema do artigo — «Unconditional Unclonable Encryption» (criptografia não clonável incondicional)

O que é criptografia não clonável

A criptografia não clonável (unclonable encryption) é um esquema no qual a mensagem criptografada fisicamente não pode ser copiada: a propriedade se baseia no teorema quântico da não clonagem. A palavra «unconditional» no título significa que a segurança é demonstrada sem suposições computacionais — não sob a suposição de que algum problema é difícil de quebrar, mas de forma incondicional.

Justamente a variante incondicional era o obstáculo. Segundo o artigo, uma construção completa desse tipo de criptografia permanecia um problema em aberto havia cerca de seis anos — os pesquisadores, como formula o Habr, tinham «uma única bala no tambor», ou seja, uma única abordagem funcional, e encontrar uma segunda demorou muito a acontecer.

Por que isso importa

O artigo é um caso notável em que um grande modelo de linguagem entregou não uma resposta numérica, mas uma construção matemática e uma ideia de prova em nível de pesquisa para um problema em aberto. Isso desloca o papel da IA de «assistente para tarefas rotineiras» para coautora de um trabalho científico substancial.

«A construção e as principais ideias da prova foram geradas inteiramente pelo agente

Codex sobre o modelo GPT-5.6 Sol Ultra», afirma a seção ao final da introdução do artigo de Ananth e Sahai.

Segundo o arXiv, o preprint foi publicado em 23 de julho de 2026 e está passando pela revisão aberta habitual da comunidade na plataforma — a revisão por pares em publicações especializadas ainda está por vir. Mas o simples fato de o modelo ter proposto uma construção funcional para um problema com o qual grupos especializados vinham lutando havia seis anos já transformou a seção sobre o GPT-5.6 no centro da discussão.

O que isso significa

A fronteira entre «a IA calcula» e «a IA prova» está se deslocando: o GPT-5.6 propôs uma construção e ideias de prova em um problema no qual à comunidade humana faltava, havia seis anos, uma segunda abordagem. Se o resultado se sustentar após a revisão por pares, será um dos primeiros exemplos de grande repercussão em que um modelo de linguagem atuou como autor de uma parte substancial de um artigo científico, e não como ferramenta de verificação.

Perguntas frequentes

Qual modelo de IA gerou a prova?

A construção da criptografia e as principais ideias da prova foram geradas pelo agente Codex sobre o modelo GPT-5.6 Sol Ultra — é o que afirmam os próprios autores do artigo em uma seção ao final da introdução.

Quem são os autores do artigo e onde ele foi publicado?

Os autores são Prabhanjan Ananth (Universidade da Califórnia em Santa Bárbara) e Amit Sahai (UCLA). O preprint «Unconditional Unclonable Encryption» foi publicado no arXiv em 23 de julho de 2026 (2607.21551).