A IA na formalização da matemática - Folha de S.Paulo

A IA na formalização da matemática  Folha de S.Paulo