Серпень 2025: математики Оксфордського та Кембриджського університетів публікують статтю під назвою «554-та проблема Ю Цумури не розв'язала LLM». Вони віддали цю проблему o3 Pro, Gemini 2.5 Deep Think, Claude Opus 4 (Extended Thinking) та іншим моделям, з вказівкою «не виконувати веб-пошук для вирішення проблеми». Жоден LLM не зміг би її вирішити. У статті самовдоволено стверджується: «Ми показуємо, всупереч оптимізму щодо здібностей LLM до вирішення проблем, підживлених нещодавніми золотими медалями, які були отримані, що проблема існує — 554-та задача Ю Цумури — що а) входить до сфери задачі IMO з точки зору складності доведення, б) не є задачею комбінаторики, яка спричинила проблеми для LLM, в) вимагає менше методів доведення, ніж типові жорсткі задачі IMO, г) має загальнодоступне рішення (ймовірно, в навчальних даних LLM), і д) яке не може бути легко вирішене будь-яким існуючим готовим LLM (комерційним або з відкритим вихідним кодом)». (Судячи з усього, ці математики не отримали пам'ятку про те, що невипущені моделі OpenAI і Google, які виграли золото на IMO, значно потужніші, ніж загальнодоступні моделі, які вони тестували. Але не біда.) Жовтень 2025: GPT-5 Pro вирішує 554-ту проблему Ю Цумури за 15 хвилин. Момент Лі Седоля настає для багатьох.