Cientistas descobrem que a IA falhou em construir provas matemáticas nos problemas da Olimpíada USAMO de 2025Gemini