Если вы пропустили: Аристотель теперь автоматически формализует целые математические статьи