Many felt that announcing an AI result while the IMO had not concluded overshadowed ... Google-DeepMind attempted the IMO officially, with an advanced version of Gemini Deep Think. Three days after ...