Por si no lo viste: Aristóteles ahora está formalizando automáticamente artículos completos de matemáticas