Será que uma IA ganhará uma medalha de ouro na Olimpíada Internacional de Matemática de 2025?https://t.co/KRJPxJ34aI