Август 2025 года: математики Оксфорда и Кембриджа публикуют статью под названием "Ни один LLM не решил 554-ю задачу Ю Цумуры". Они дали эту задачу o3 Pro, Gemini 2.5 Deep Think, Claude Opus 4 (Расширенное мышление) и другим моделям с инструкциями "не выполнять веб-поиск для решения задачи". Ни один LLM не смог её решить. Статья самодовольно утверждает: "Мы показываем, в противовес оптимизму относительно способностей LLM к решению задач, подогретому недавними золотыми медалями, что существует задача — 554-я задача Ю Цумуры — которая a) находится в рамках задачи IMO с точки зрения сложности доказательства, b) не является задачей комбинаторики, что создало проблемы для LLM, c) требует меньше техник доказательства, чем типичные сложные задачи IMO, d) имеет общедоступное решение (вероятно, в обучающих данных LLM), и e) не может быть легко решена любым существующим LLM с готовым решением (коммерческим или с открытым исходным кодом)." (Очевидно, эти математики не получили уведомление о том, что не выпущенные модели OpenAI и Google, которые выиграли золото на IMO, значительно мощнее публично доступных моделей, которые они тестировали. Но не важно.) Октябрь 2025 года: GPT-5 Pro решает 554-ю задачу Ю Цумуры за 15 минут. Момент Ли Седола приближается для многих.