Un hito genial en matemáticas de IA Aristóteles (un matemático de IA) acaba de resolver el problema #124 de Erdos, que llevaba abierto casi 30 años Boris Alexeev (matemático investigador) lo ejecutó en una nueva beta de Aristóteles con razonamiento más fuerte + interfaz de lenguaje natural, y produjo una demostración formal completa. Un momento bastante loco para demostrar teoremas de IA.