Rumo à Pesquisa Matemática Autônoma

Alethia é um agente de pesquisa matemática que gera, verifica e revisa soluções de ponta a ponta de forma iterativa em linguagem natural. Alimentado por uma versão avançada do Gemini Deep Think, o modelo consegue resolver problemas de Olimpíadas e exercícios de nível de doutorado. Este artigo apresenta e reflete sobre a primeira leva de artigos de pesquisa matemática alcançados por Alethia em colaboração com matemáticos.