Andrew Granville sabe que la inteligencia artificial cambiará profundamente las matemáticas. El lenguaje de programación Lean ya desempeña un papel en la demostración de la teoría. Es por eso que el teórico de números de la Universidad de Montreal ha comenzado a hablar con filósofos sobre la naturaleza de la prueba matemática y cómo la disciplina de las matemáticas podría evolucionar en la era de la IA.