Hasta ahora, muchas afirmaciones de IA sobre matemáticas quedaban en duda porque nadie podía seguirlas. Que este argumento haya sido revisado por especialistas cambia la discusión: una máquina empieza a aportar pruebas reales en áreas donde trabajan investigadores de todo el mundo. Para alguien de acá, esto anticipa herramientas que en pocos años podrían acelerar la ciencia y también reemplazar tareas de especialistas. Lo que hoy parece un logro lejano puede ser el punto de partida de una nueva forma de hacer investigación.