Agosto de 2025: Matemáticos de Oxford e Cambridge publicam um artigo intitulado "Nenhum LLM resolveu o 554º problema de Yu Tsumura". Eles deram esse problema para o3 Pro, Gemini 2.5 Deep Think, Claude Opus 4 (Extended Thinking) e outros modelos, com instruções para "não realizar uma pesquisa na web para resolver o problema". Nenhum LLM poderia resolvê-lo. O artigo afirma presunçosamente: "Mostramos, ao contrário do otimismo sobre as habilidades de resolução de problemas do LLM, alimentadas pelas recentes medalhas de ouro que foram alcançadas, que existe um problema - o 554º problema de Yu Tsumura - que a) está dentro do escopo de um problema da IMO em termos de sofisticação de prova, b) não é um problema combinatório que causou problemas para LLMs, c) requer menos técnicas de prova do que os problemas típicos da IMO, d) tem uma solução disponível publicamente (provavelmente nos dados de treinamento de LLMs) e e) que não pode ser prontamente resolvida por qualquer LLM existente (comercial ou de código aberto)." (Aparentemente, esses matemáticos não receberam o memorando de que os modelos inéditos da OpenAI e do Google que ganharam ouro na IMO são significativamente mais poderosos do que os modelos disponíveis publicamente que eles testaram. Mas não importa.) Outubro de 2025: GPT-5 Pro resolve o 554º problema de Yu Tsumura em 15 minutos. O momento Lee Sedol está chegando para muitos.