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.
Avalie este artigo:
Compartilhar:
- Categoria
- CEVIU IA
- Publicado
- 12 de fevereiro de 2026
- Fonte
- CEVIU IA
