За пределами математики: Аристотель достигает SOTA 96.8% генерации доказательств на VERINA: Бенчмаркинг проверяемой генерации кода. Вы можете узнать больше об этой производительности в нашем инженерном блоге, ссылка на который в био