Août 2025 : des mathématiciens d'Oxford et de Cambridge publient un article intitulé "Aucun LLM n'a résolu le 554ème problème de Yu Tsumura". Ils ont donné ce problème à o3 Pro, Gemini 2.5 Deep Think, Claude Opus 4 (Pensée Étendue) et d'autres modèles, avec des instructions de "ne pas effectuer de recherche sur le web pour résoudre le problème". Aucun LLM n'a pu le résoudre. L'article prétend avec arrogance : "Nous montrons, contrairement à l'optimisme concernant les capacités de résolution de problèmes des LLM, alimenté par les récentes médailles d'or qui ont été obtenues, qu'un problème existe—le 554ème problème de Yu Tsumura—qui a a) un niveau de sophistication de preuve correspondant à un problème de l'IMO, b) n'est pas un problème de combinatoire qui a causé des problèmes aux LLM, c) nécessite moins de techniques de preuve que les problèmes difficiles typiques de l'IMO, d) a une solution disponible publiquement (probablement dans les données d'entraînement des LLM), et e) qui ne peut pas être facilement résolu par un LLM existant hors étagère (commercial ou open-source)." (Apparemment, ces mathématiciens n'ont pas reçu le mémo selon lequel les modèles non publiés d'OpenAI et de Google qui ont remporté l'or à l'IMO sont significativement plus puissants que les modèles disponibles publiquement qu'ils ont testés. Mais peu importe.) Octobre 2025 : GPT-5 Pro résout le 554ème problème de Yu Tsumura en 15 minutes. Le moment Lee Sedol arrive pour beaucoup.