O Claude avançado da Anthropic avançou a Hipótese de Riemann ao verificar 67,25% dos zeros da zeta na linha crítica. O matemático Youness Lamzouri refinou a prova usando desigualdades do espaço de Hilbert, que o AxiomProver verificou instantaneamente no Lean. Esta colaboração humano-IA acelerou a verificação formal, marcando uma transição da revisão manual para a matemática verificada por máquina e avançando o progresso na Conjectura dos Primos Gêmeos.