IA encontra resposta que matemáticos buscavam há 87 anos