Seis problemas de um milhão de dólares cada, uma fraude descarada no meio do caminho, e o aviso que ninguém quer ouvir

No ano 2000, o Clay Mathematics Institute, um instituto de matemática dos Estados Unidos, separou sete problemas que a matemática mundial não estava conseguindo resolver. Alguns estavam abertos havia décadas, outros havia mais de um século. O instituto prometeu um milhão de dólares para quem resolvesse cada um deles.

Ficaram conhecidos como os Problemas do Milênio.

Vinte e cinco anos se passaram desde essa promessa. Dos sete, apenas um foi resolvido até hoje. Os outros seis continuam abertos, com o milhão de dólares parado esperando.

E a disputa por esses seis virou, nas últimas semanas, o retrato mais nítido de para onde a ciência está indo quando poder de computação entra na história.

O único que já foi resolvido

Henri Poincaré foi um matemático francês que, em 1904, fez uma pergunta sobre a forma do espaço. Traduzindo pra linguagem de gente: se um objeto de três dimensões não tem nenhum buraco, ele é obrigatoriamente uma esfera, mesmo estando todo amassado e deformado?

Parece pergunta simples. Ficou um século inteiro sem resposta.

Em 2003, o russo Grigori Perelman provou que sim. Publicou a solução na internet, aberta, sem passar por revista científica nenhuma. Depois recusou o milhão de dólares e recusou também a Medalha Fields, que é o maior prêmio da matemática. Sumiu da vida pública e nunca mais falou sobre o assunto.

Os seis que continuam de pé

Segundo o próprio Instituto, estes seguem abertos:

Riemann. Números primos são os que só podem ser divididos por 1 e por eles mesmos: 2, 3, 5, 7, 11, 13. Eles aparecem espalhados pela sequência dos números sem padrão visível, e ninguém sabe explicar por que caem onde caem. Em 1859, Bernhard Riemann propôs uma fórmula que explicaria essa distribuição. Ela funciona em todos os testes já feitos, bilhões deles. Ninguém provou que vale sempre.

P vs NP. Existem problemas cuja resposta é fácil de conferir depois de pronta, e difícil de achar do zero. Montar a escala de trabalho de um hospital inteiro dá um trabalho enorme; conferir se uma escala pronta respeita todas as regras leva minutos. A pergunta é se todo problema fácil de conferir também é fácil de resolver no fundo, e a gente só não achou o atalho ainda.

Yang-Mills e a lacuna de massa. Yang-Mills é o conjunto de equações que descreve as forças que seguram o núcleo dos átomos, e é a base do Modelo Padrão da física de partículas. A tal lacuna de massa é isto: essas equações deveriam garantir que a partícula mais leve que elas produzem pesa alguma coisa, em vez de pesar zero. É esse detalhe que faz essas forças terem alcance curtinho, agindo dentro do átomo e não pela sala inteira. Os laboratórios medem exatamente esse comportamento há décadas. Ninguém conseguiu provar, partindo das equações, que ele acontece.

Hodge. O mais abstrato dos sete e o mais difícil de traduzir. Matemáticos estudam formas geométricas complicadas, de muitas dimensões, construídas a partir de equações. A conjectura de Hodge aposta que certas peças dessas formas podem sempre ser montadas a partir de blocos geométricos mais simples. É uma aposta sobre a arrumação interna da própria geometria.

Birch e Swinnerton-Dyer. Trata das curvas elípticas, um tipo de equação cujas soluções em números inteiros e fracionários interessam há séculos. A pergunta é se dá pra descobrir, olhando uma função associada à curva, se ela tem um número finito ou infinito dessas soluções. Vale registrar: curvas elípticas são a base de boa parte da criptografia que protege banco e mensagem no seu celular agora.

Navier-Stokes. As equações que descrevem como qualquer líquido ou gás se move: água no cano, ar na asa do avião, sangue na veia, clima do planeta inteiro. A pergunta é se um fluido que começa suave continua suave pra sempre, ou se pode, em algum momento, quebrar matematicamente e gerar velocidade infinita num ponto só.

Esse último a OpenAI diz ter resolvido agora em setembro de 2026. O Instituto não reconheceu nada até o momento.

Quem avançou de verdade

Riemann, e olha só quem apareceu aqui. Em agosto de 2026, um modelo ainda não lançado da Anthropic empurrou uma medida técnica ligada a essa distribuição dos primos de 41,6 para 67,2. Esse número estava parado havia mais de meio século como o melhor resultado humano.

O modelo juntou ideias espalhadas por décadas de trabalho matemático, achou uma conexão que ninguém tinha percebido, e moveu o limite. Isso não resolve Riemann, e continua sendo progresso real numa peça de um mistério de 150 anos.

P vs NP não saiu do lugar. Fez 50 anos em 2021, e continua parado. A maioria dos pesquisadores acredita que P é diferente de NP, o que significaria que alguns problemas são difíceis por natureza, sem atalho escondido em lugar nenhum. Ninguém provou.

Esse é o mais perigoso dos seis pra vida de quem não é matemático. Toda a segurança da internet depende dessa resposta continuar sendo essa. Se um dia provarem o contrário, e existir jeito prático de usar a prova, a criptografia moderna desmorona no mesmo dia em que sair a notícia.

Hodge, e Birch e Swinnerton-Dyer, seguem parados. BSD teve avanço real só nos casos mais simples, e o caso geral continua fechado. Apareceu um preprint em maio de 2025 alegando prova completa, batizado de Fórmula Iran, que não passou por revisão nenhuma até hoje. Ninguém validou.

A fraude que chegou no meio de tudo isso

No dia 1º de setembro de 2026, uma empresa chamada AIX Global anunciou ter resolvido os seis problemas restantes de uma vez só. Usando computação quântica, com um nome de marketing embutido no anúncio: Seed IQ Governed Fault-Tolerant Quantum Computing.

Soltaram um pacote em Lean 4, que é a linguagem usada pra verificar prova matemática passo a passo, a mesma que os pesquisadores de Navier-Stokes usaram de verdade. Disseram que qualquer pessoa podia conferir.

A própria ferramenta de auditoria que veio junto no pacote desmentiu o anúncio. Não há seis provas ali dentro. São reduções condicionais, do tipo se essa premissa for verdadeira então o teorema segue, com a matemática difícil de verdade guardada numa caixa fechada chamada computação proprietária, que ninguém de fora consegue abrir.

Uma fraude vestida de rigor matemático, publicada com o mesmo tipo de linguagem técnica que um resultado real usaria.

Três coisas acontecendo na mesma semana

Setembro de 2026 colocou lado a lado três movimentos bem diferentes, quase ao mesmo tempo.

Uma empresa fazendo progresso real e verificável em Riemann. Outra entrando numa corrida por causa de um boato, e produzindo um resultado que continua sem validação de fora. E um terceiro anúncio, apresentado como prova dos seis problemas de uma vez, que não sustentou nem o próprio teste de auditoria.

Terence Tao, um dos matemáticos mais respeitados vivos, publicou o aviso dele no meio disso tudo: labs de IA hoje têm poder de computação suficiente pra jogar contra qualquer problema assim que ouvem um boato de que alguém está perto de resolver.

O que setembro mostrou é que esse padrão saiu do campo da hipótese. Já está rodando nos seis problemas ao mesmo tempo, agora.

Assim que rumor vira gatilho pra investir poder de computação, três coisas passam a competir pelo mesmo espaço de atenção: ciência real, ciência apressada, e anúncio que veste a roupa das outras duas sem ter o conteúdo delas.

Quem lê de fora, sem tempo de abrir um pacote Lean e conferir linha por linha, não consegue mais distinguir as três só pelo anúncio. E é aí que o prejuízo mora: não em qual empresa leva o crédito, e sim em quantas pessoas vão parar de acreditar em prova nenhuma, porque três anúncios diferentes chegaram usando a mesma roupa.

O que ainda separa os outros cinco de caírem

Nenhum desses cinco tem, hoje, o tipo de ruptura que Navier-Stokes teve. Não existe um trabalho quase pronto sendo perseguido por boato, como aconteceu em agosto.

O que existe é avanço fatiado. Uma medida que sobe em Riemann. Um caso particular resolvido em BSD. Nada disso é a prova inteira, e é exatamente por isso que preocupa mais: o próximo boato pode nascer de qualquer uma dessas fatias, do jeito que nasceu dessa vez.

---

Trabalhar no próprio ritmo, em vez de correr atrás do boato dos outros, também é decisão de energia. O seu Desenho Humano mostra qual é o seu ritmo de verdade. Descubra o seu.