Hoy culmina el programa de #MachineAssistedProofs , al que le podríamos llamar #MatemáticasAutomáticas . En verdad, hay que pensar que «a todo cerdo le llega su San Martín» y que estamos llegando a un cambio de paradigma, al final de un camino. Poco a poco el trabajo, a veces tedioso y a veces complejo, detrás de una demostración matemática se está automatizando. A penas van los conceptos básicos de algunas áreas, pero ahí va la maquinaria creciendo.