Aristotle Agent: O Matemático Autônomo para os Mais Desafiadores Problemas de Pesquisa Matemática

O Aristotle Agent é um matemático autônomo capaz de resolver e formalizar os problemas de pesquisa matemática mais desafiadores do mundo. Ele é totalmente agentic e pode produzir código com qualidade de repositório, realizando provas e formalizações autonomamente por até 24 horas sem intervenção humana. A ferramenta já está disponível gratuitamente via web, CLI e API.