- A IA e o futuro da matemática Folha de S.Paulo
- Inteligência artificial revoluciona solução de equações matemáticas complexas O Cafezinho
- Um novo método de IA resolve um dos problemas matemáticos mais difíceis da ciência segundabase.com.br
- A IA na formalização da matemática Folha de S.Paulo