La IA y los humanos colaboran para lograr avances importantes en matemáticas

El 7 de septiembre de 2026, el modelo de IA de Anthropic, Claude, logró un gran avance al demostrar que más del 67,25% de los ceros de Riemann se encuentran en la línea crítica, avanzando significativamente la Hipótesis de Riemann. Este progreso representa un cambio con respecto al avance anterior del 0,8% en 37 años, acercando la solución en un 32,75%. Sin embargo, la prueba fue compleja y carecía de intuición, lo que dificultó su comprensión para los matemáticos. Youness Lamzouri, un matemático, simplificó la prueba de Claude utilizando una concisa desigualdad del espacio de Hilbert, transformando el problema en una estimación de correlaciones. Este elegante enfoque fue rápidamente verificado por AxiomProver, una herramienta de IA del equipo Axiom, en cuestión de horas de su lanzamiento. El proceso de verificación marcó un hito en las matemáticas, demostrando el poder de la verificación por máquina. Basándose en este éxito, el equipo Axiom y otros matemáticos lograron avances en la Conjetura de los primos gemelos, reduciendo aún más la diferencia entre los números primos. Esta colaboración marca el comienzo de una nueva era en la que la intuición humana y la computación de la máquina trabajan juntas para redefinir el descubrimiento matemático.