Avalanche de provas da OpenAI assusta matemáticos e especialistas em criptografia

A OpenAI lançou centenas de resultados matemáticos gerados por inteligência artificial, e a reação foi imediata e dividida. De um lado, o cientista da computação Scott Aaronson chamou o momento de "Mathocalypse" e o descreveu como um dos maiores dias da história da matemática. Do outro, matemáticos e criptógrafos começaram a soar alarmes sobre o que poderia estar errado, o que poderia estar certo, e o que ninguém ainda consegue verificar.

Segundo a OpenAI, cada um desses resultados resolve ou avança de forma significativa uma questão importante em matemática ou ciência da computação teórica. A empresa afirma que parte das provas já foi verificada usando Lean, uma linguagem de programação especializada em checar a lógica de demonstrações matemáticas. A velocidade e a escala do lançamento foram impressionantes o suficiente para chamar atenção global. Mas a impressão inicial rapidamente cedeu lugar à cautela. Matemáticos alertaram que ainda pode levar meses para a comunidade entender o que é realmente novo, o que é uma reaproveitação de técnicas já conhecidas, e o que pode estar simplesmente errado. A OpenAI já retirou três artigos e revisou outros quatorze após a publicação inicial, reconhecendo que alguns resultados "não formalizados" podem ter problemas que serão corrigidos.

A Association for Human Mathematics criticou duramente a publicação em massa. A organização pediu que matemáticos deixem de trabalhar com a OpenAI, argumentando que a área "não pediu" por esse tipo de produção e que o modelo de publicação merece ceticismo profundo. O que incomoda não é apenas a quantidade de resultados, mas o fato de que a comunidade científica se vê agora em posição reativa: em vez de escolher seus próprios problemas, métodos e ritmo de trabalho, matemáticos passam a "apagar incêndios", verificando, replicando e tentando acompanhar o que uma empresa privada decidiu publicar. Quando o sistema que gerou as provas permanece fechado, a ciência se torna menos replicável, menos transparente, menos capaz de confirmar descobertas através do método que a sustenta há séculos.

Mas o debate saiu do mundo acadêmico e entrou em território mais perigoso. Especialistas em criptografia e pesquisadores de criptomoedas começaram a discutir se avanços matemáticos acelerados por IA poderiam enfraquecer os "cadeados" que protegem a internet e as transações digitais hoje. Matthew Green, professor associado da Universidade Johns Hopkins, alertou que podemos "perder a criptografia de chave pública" — a base de segurança de navegadores, mensagens criptografadas como WhatsApp e operações bancárias online. Justin Drake, pesquisador do Ethereum, falou em "modo bunker" e sugeriu que usuários migrem gradualmente fundos para endereços novos, onde a chave pública ainda não foi exposta. Vitalik Buterin, cofundador do Ethereum, concordou que o risco deve ser levado a sério, mas advertiu contra pânico imediato, lembrando que já perdeu mais dinheiro em migrações malfeitas do que em ataques reais.

O risco não é que a internet "quebre" de um dia para o outro. É mais sutil e mais custoso. A criptografia que protege conversas, logins e transações depende de problemas matemáticos que, hoje, são computacionalmente muito difíceis de resolver em tempo útil para um atacante. Se a IA acelerar a descoberta de novos atalhos matemáticos — novos "macetes" — alguns desses cadeados podem ficar frágeis. Quando isso acontece, a solução é trocar as fechaduras em massa, com urgência, e operações feitas com pressa costumam dar errado.

Andrew Sutherland, matemático do MIT, resumiu o problema central: até que a OpenAI libere o modelo e as pessoas consigam replicar os resultados, qualquer afirmação de que um único agente resolveu problemas com um único comando deve ser tratada como não verificada. Precisamos de provas — não apenas de que os resultados existem, mas de que são o que dizem ser.

A "Mathocalypse" comporta duas leituras que convivem. A otimista é a de que a IA pode acelerar respostas para perguntas antigas e abrir novas ferramentas para ciência e tecnologia. A pessimista é a de que, se esse motor de descobertas ficar concentrado em poucos laboratórios e avançar mais rápido do que a capacidade de auditoria pública, a sociedade vai herdar um mundo com mais conhecimento e, simultaneamente, mais pontos cegos. Em segurança digital, pontos cegos costumam custar caro.