En el artículo «The path to a superhuman AI mathematician», el profesor Sanjeev Arora propone que las matemáticas serán el primer dominio donde surgirá una IA superhumana. Esta se definiría como un sistema capaz de demostrar más teoremas que los logrados por la humanidad.

La ruta hacia este logro se basa en la verificación formal de pruebas con sistemas como Lean, que permite comprobar la corrección de forma automática. La IA se automejoraría mediante aprendizaje por refuerzo, usando Lean para validar sus respuestas sin depender solo de humanos. Además, podría generar sus propias preguntas matemáticas de manera creativa.

Evidencias recientes, como los modelos AlphaProof y Goedel-Prover, confirman esta tendencia. Arora concluye que, gracias a esta capacidad de verificación y mejora continua, una IA matemática superhumana es un horizonte plausible.