IA e humanos colaboram para alcançar avanços significativos em matemática

Em 7 de setembro de 2026, o modelo de IA da Anthropic, Claude, alcançou um avanço significativo ao provar que mais de 67,25% dos zeros de Riemann estão na linha crítica, avançando significativamente a Hipótese de Riemann. Este progresso representa uma mudança em relação ao avanço anterior de 0,8% ao longo de 37 anos, aproximando a solução em 32,75%. No entanto, a prova era complexa e carecia de intuição, tornando difícil para os matemáticos compreendê-la. Youness Lamzouri, um matemático, simplificou a prova de Claude usando uma concisa desigualdade de espaço de Hilbert, transformando o problema em uma estimativa de correlações. Esta abordagem elegante foi rapidamente verificada pelo AxiomProver, uma ferramenta de IA da equipe Axiom, em poucas horas após o lançamento. O processo de verificação marcou um marco na matemática, demonstrando o poder da verificação por máquina. Com base neste sucesso, a equipe Axiom e outros matemáticos fizeram progressos na Conjectura dos Primos Gemelos, reduzindo ainda mais a lacuna entre os números primos. Esta colaboração sinaliza o advento de uma nova era em que a intuição humana e a computação de máquina trabalham juntas para redefinir a descoberta matemática.