Uma prova produzida pela inteligência artificial e anunciada no início deste mês como parte de um lote de 377 resultados matemáticos derivados da IA está a conquistar os especialistas humanos que passaram as últimas duas semanas a desmontá-la. Escrevendo em 19 de outubro, a Quanta Magazine informou que os teóricos dos números já desvendaram a prova gerada pela IA da hipótese quase-Riemann – uma versão mais fraca da hipótese de Riemann, sem dúvida a maior questão em aberto na matemática – e o seu veredicto é invulgarmente enfático.
Jared Duker Lichtman, da Universidade de Stanford, chamou-a de "a conquista mais significativa em IA para matemática até agora, por uma boa margem". Maksym Radziwiłł, da Universidade de Nova Iorque, cujo próprio trabalho sustenta partes da prova, descreveu as implicações como “impressionantes”. Para mais contexto sobre esta história, confira nossa últimos desenvolvimentos em IA.
O que a hipótese de quase-Riemann afirma
A hipótese de Riemann está aberta há mais de 160 anos. Diz respeito à função zeta de Riemann e às localizações dos seus zeros não triviais, e está intimamente ligado à forma como os números primos são distribuídos entre os inteiros. Como os números primos são os blocos de construção da aritmética, uma prova remodelaria enormes áreas da teoria dos números.
A hipótese é um dos sete Problemas do Prêmio Milênio nomeados pelo Clay Mathematics Institute, e foi o único problema herdado da famosa lista de 23 problemas de David Hilbert, anunciada um século antes.
O esqueleto técnico, conforme estabelecido pela Quanta, foi mapeado passo a passo durante gerações. Riemann mostrou em 1859 que os zeros não triviais da função zeta governam como os primos se estreitam ao longo da reta numérica e provou que eles só podem ficar dentro de uma faixa vertical onde a parte real da entrada fica entre zero e um. Em 1896, dois matemáticos mostraram independentemente que não havia zeros na borda direita da faixa — um resultado suficientemente forte para provar o teorema dos números primos. A própria hipótese diz que todos os zeros não triviais ficam exatamente na linha média da faixa, onde a parte real é igual a metade. Zeros triviais em inteiros pares negativos já são totalmente compreendidos. Mais de 160 anos de esforços estreitaram e sondaram essa faixa sem nunca fixar os zeros.
A hipótese quase-Riemann, ou quase-RH, é uma afirmação estritamente mais fraca. Mesmo assim, as suas consequências chegam quase tão longe. “Em certo sentido, a grande maioria das consequências da UR já decorrem da quase UR”, disse Radziwiłł à Quanta.
Do anúncio à verificação
O resultado surgiu pela primeira vez em 6 de outubro, quando a OpenAI anunciou 377 resultados matemáticos derivados de seus sistemas de IA. Entre os matemáticos profissionais, o anúncio inicialmente foi recebido com ceticismo medido – os sistemas de IA já produziram provas alegadas que fracassaram sob o escrutínio de especialistas, e a verificação tem sido há muito tempo o gargalo que separa a matemática gerada pela IA da matemática aceita.
De acordo com o relatório da Quanta, esta prova é diferente: ao contrário de outras provas recentes de IA, esta foi desvendada por especialistas humanos. Teóricos dos números, incluindo Radziwiłł, Alexander Dunn, do Instituto de Tecnologia da Geórgia, e outros, têm trabalhado no argumento desde o anúncio, verificando os seus passos e situando-o dentro do conhecimento existente.
Os cheques resistiram. “A prova é uma síntese surpreendente de ideias bem conhecidas”, disse Dunn, que junto com Radziwiłł foi pioneiro em técnicas nas quais o resultado depende em parte.
Idéias antigas, conexões ocultas
Talvez o aspecto mais surpreendente da prova, disseram os matemáticos à Quanta, seja o que ela não exigia. Contrariamente às expectativas de que a resolução mesmo de uma forma enfraquecida da hipótese de Riemann exigiria maquinaria fundamentalmente nova, a prova produzida pela IA não introduziu novos conceitos. Em vez disso, desenterrou conexões ocultas entre as estabelecidas, combinando técnicas de uma forma que nenhum ser humano havia conseguido.
Esse padrão – novidade através de síntese inesperada e não através de nova teoria – está a emergir como uma assinatura da descoberta matemática assistida por IA, e está a levar os investigadores a reconsiderar onde é mais provável que a contribuição da máquina para a matemática chegue primeiro.
Por que é importante para a pesquisa de IA
O resultado verificado é um marco para a IA para matemática, um campo que acelerou rapidamente à medida que os modelos de raciocínio melhoraram. O anúncio da OpenAI em 6 de outubro, que cobrimos quando o Instituto de Estudos Avançados levantou questões sobre o lote de resultados, foi a maior afirmação da matemática derivada da IA até o momento. A prova quase-RH é o primeiro resultado desse lote a receber uma leitura detalhada de um especialista e sobreviveu.
Para laboratórios de IA, o episódio demonstra um fluxo de trabalho que pode se tornar padrão: modelos produzem provas de candidatos em escala e especialistas humanos fazem a triagem, verificam e absorvem os resultados importantes. Para os matemáticos, a consequência imediata é mais restrita, mas real – um conjunto de consequências da hipótese de Riemann que não precisa mais da conjectura completa para ser válida.
Quanta observa que os matemáticos estão apenas começando a descobrir o que a prova significa para a área. Como disse Radziwiłł, as implicações são “impressionantes” – um adjectivo raramente associado a um resultado que não atinge a hipótese completa.
O episódio também estabelece uma referência para reivindicações futuras. Qualquer laboratório de IA que anuncie avanços matemáticos será agora medido em relação ao quase-HR: um resultado alegado que foi verificado, verificado e aceite pelos próprios especialistas melhor posicionados para o refutar.
Nada disso resolve a hipótese de Riemann em si. A conjectura completa permanece em aberto e o quase-RH é estritamente mais fraco. Mas, pela primeira vez, um sistema de IA produziu uma prova na fronteira da teoria analítica dos números que os principais especialistas na área desvendaram e endossaram – um facto que pode dizer tanto sobre o futuro da investigação matemática como o próprio teorema.
Este artigo é baseado em reportagem da Quanta Magazine, publicada em 19 de outubro de 2026.
---
Fique à Frente da IAAs últimas notícias, análises e avanços em inteligência artificial — tudo em um só lugar.
Ler mais notícias de IA →
