Augusti 2025: Matematiker från Oxford och Cambridge publicerar en artikel med titeln "No LLM Solved Yu Tsumura's 554th Problem". De gav detta problem till o3 Pro, Gemini 2.5 Deep Think, Claude Opus 4 (Extended Thinking) och andra modeller, med instruktioner om att "inte utföra en webbsökning för att lösa problemet". Ingen LLM kunde lösa det. Tidningen hävdar självbelåtet: "Vi visar, i motsats till optimismen om LLM:s problemlösningsförmåga, underblåst av de nyligen uppnådda guldmedaljerna, att ett problem existerar – Yu Tsumuras 554:e problem – som a) ligger inom ramen för ett IMO-problem när det gäller bevissofistikering, b) inte är ett kombinatoriskt problem som har orsakat problem för LLM:er, c) kräver färre bevistekniker än typiska hårda IMO-problem, d) har en offentligt tillgänglig lösning (sannolikt i LLM:s träningsdata) och e) som inte lätt kan lösas av någon befintlig off-the-shelf LLM (kommersiell eller öppen källkod)." (Tydligen fick dessa matematiker inte memot att de osläppta OpenAI- och Google-modellerna som vann guld på IMO är betydligt kraftfullare än de offentligt tillgängliga modellerna de testade. Men det spelar ingen roll.) Oktober 2025: GPT-5 Pro löser Yu Tsumuras 554:e problem på 15 minuter. Lee Sedol-ögonblicket kommer för många.