Além da matemática: Aristotle alcança 96,8% de geração de provas em SOTA no VERINA: Benchmarking Verifiable Code Generation. Você pode ler mais sobre essa performance em nosso blog de engenharia linkado na biografia