IA chega à pesquisa matemática