O modelo de segurança pós-quântico construído para uma era de agentes de IA

Um Framework Inovador que Poderia Mudar Permanentemente Como Trabalhamos com Criptografia na Era Quântica

Em 5 de setembro de 2026, uma prova apareceu.

Foram noventa anos de preparação.

Ela respondeu a um dos sete Problemas do Prêmio Millennium — o problema da existência e suavidade de Navier–Stokes, uma questão sobre se as equações que governam o fluxo de fluidos podem desenvolver uma singularidade em tempo finito.

Matemáticos humanos não o haviam resolvido.

Um sistema de IA resolveu.

Não um modelo trabalhando sozinho.

Aproximadamente dez mil agentes operando simultaneamente, trocando quase 2.7 milhões de mensagens, consumindo computação a um custo que o próprio Diretor de Pesquisa da OpenAI descreveu como na casa dos milhões de dólares.

Oitenta e oito horas.

Então o GPT-6 Astra formalizou a prova em Lean — um sistema que verifica automaticamente provas matemáticas passo a passo — em dezessete horas adicionais.

A OpenAI publicou o resultado completo em 8 de setembro de 2026, apresentando-o cuidadosamente como evidência que ainda requer revisão de matemáticos, em vez de uma reivindicação ao prêmio.

Dois pesquisadores humanos, Tristan Buckmaster e Levent Alpöge, tinham trabalho concorrente nas equações de Euler forçadas relacionadas usando um modelo interno da Anthropic, e a OpenAI reconheceu a prioridade deles.