Srpen 2025: Matematici z Oxfordu a Cambridge publikují článek s názvem "No LLM Solved Yu Tsumura's 554th Problem". Tento problém dali o3 Pro, Gemini 2.5 Deep Think, Claude Opus 4 (Extended Thinking) a dalším modelům s pokynem "neprovádět vyhledávání na webu k vyřešení problému". Žádný LLM by to nedokázal vyřešit. Článek samolibě tvrdí: "Ukazujeme, na rozdíl od optimismu ohledně schopností LLM řešit problémy, poháněného nedávnými zlatými medailemi, kterých bylo dosaženo, že existuje problém – 554. problém Yu Tsumury – že a) je v rozsahu problému IMO z hlediska sofistikovanosti důkazů, b) není kombinatorickým problémem, který způsobil problémy LLM, c) vyžaduje méně důkazových technik než typické těžké IMO problémy, d) má veřejně dostupné řešení (pravděpodobně v trénovacích datech LLM) a e) které nemůže být snadno vyřešeno žádným existujícím běžně dostupným LLM (komerčním nebo open-source)." (Tito matematici zjevně nepochopili, že nevydané modely OpenAI a Google, které vyhrály zlato na IMO, jsou výrazně výkonnější než veřejně dostupné modely, které testovali. Ale na tom nezáleží.) Říjen 2025: GPT-5 Pro vyřeší 554. problém Yu Tsumury za 15 minut. Chvíle Lee Sedola přichází pro mnohé.