En el artículo «AI at IMO 2025: a round-up», Kevin Buzzard (medalla de oro en la IMO de 1987), analiza cómo sistemas de IA como Gemini (Google) y modelos de OpenAI lograron puntuaciones de "medalla de oro" en la Olimpiada Internacional de Matemáticas (IMO), resolviendo 5 de 6 problemas. Sin embargo, la falta de reglas claras para evaluar a la IA generó controversia, ya que las empresas marcaron sus propias soluciones sin verificación independiente. Aunque el avance es notable, el autor critica el sensacionalismo y advierte que estos resultados aún distan de la investigación matemática actual.