¿La IA gana medalla de oro en la IMO en 2026? — Predicciones