Além da matemática: Aristóteles alcança 96,8% de geração de provas SOTA no VERINA: Avaliação da Geração de Código Verificável. Você pode ler mais sobre esse desempenho no nosso blog de engenharia linkado na bio