Si una prueba generada o asistida por inteligencia artificial resiste la revisión de matemáticos, cambia la forma en que se produce conocimiento en un campo donde un error puede quedar oculto durante décadas. Por eso la validación de los pares es el paso que separa una demostración de una promesa. Lo que falta demostrar señala hasta dónde llega hoy la máquina y dónde todavía depende de la mente humana.