JUST IN: Hoy @CadeMetz en el New York Times cubrió a Aristóteles y nuestra búsqueda por forjar el motor de razonamiento matemático más avanzado del mundo. La superinteligencia matemática está entrando en la corriente principal.