hito impresionante en matemáticas de IA Aristóteles (un matemático de IA) acaba de resolver el problema de Erdos #124, que había estado abierto durante casi 30 años. boris alexeev (matemático investigador) lo ejecutó en una nueva beta de Aristóteles con un razonamiento más fuerte + interfaz de lenguaje natural, y produjo una prueba formal completa. momento bastante loco para la demostración de teoremas de IA.