Agustus 2025: Matematikawan Oxford dan Cambridge menerbitkan makalah berjudul "Tidak Ada LLM yang Memecahkan Masalah ke-554 Yu Tsumura". Mereka memberikan masalah ini kepada o3 Pro, Gemini 2.5 Deep Think, Claude Opus 4 (Extended Thinking) dan model lainnya, dengan instruksi untuk "tidak melakukan pencarian web untuk menyelesaikan masalah". Tidak ada LLM yang bisa menyelesaikannya. Makalah itu dengan sombong mengklaim: "Kami menunjukkan, bertentangan dengan optimisme tentang kemampuan pemecahan masalah LLM, yang didorong oleh medali emas baru-baru ini yang dicapai, bahwa ada masalah—masalah ke-554 Yu Tsumura—bahwa a) berada dalam lingkup masalah IMO dalam hal kecanggihan pembuktian, b) bukan masalah kombinatorika yang telah menyebabkan masalah bagi LLM, c) membutuhkan lebih sedikit teknik pembuktian daripada masalah IMO keras yang khas, d) memiliki solusi yang tersedia untuk umum (kemungkinan dalam data pelatihan LLM), dan e) yang tidak dapat dengan mudah diselesaikan oleh LLM siap pakai yang ada (komersial atau sumber terbuka)." (Rupanya, para matematikawan ini tidak mendapatkan memo bahwa model OpenAI dan Google yang belum dirilis yang memenangkan emas di IMO secara signifikan lebih kuat daripada model yang tersedia untuk umum yang mereka uji. Tapi tidak masalah.) Oktober 2025: GPT-5 Pro memecahkan masalah ke-554 Yu Tsumura dalam 15 menit. Momen Lee Sedol akan datang bagi banyak orang.