2025年8月：牛津和剑桥的数学家们发表了一篇题为《没有LLM解决的Yu Tsumura的第554个问题》的论文。 他们将这个问题交给了o3 Pro、Gemini 2.5 Deep Think、Claude Opus 4（扩展思维）和其他模型，指示它们“不要进行网络搜索来解决这个问题”。没有任何LLM能够解决它。 论文自鸣得意地声称：“我们展示了，与对LLM问题解决能力的乐观预期相反，这种乐观是由最近获得的金牌所推动的，存在一个问题——Yu Tsumura的第554个问题——它a) 在证明复杂性上属于IMO问题的范围，b) 不是一个组合问题，这对LLM造成了问题，c) 需要的证明技术比典型的困难IMO问题少，d) 有一个公开可用的解决方案（可能在LLM的训练数据中），并且e) 不能被任何现有的现成LLM（商业或开源）轻易解决。” （显然，这些数学家没有收到通知，未发布的OpenAI和Google模型在IMO上获得金牌的能力远远超过他们测试的公开可用模型。但无所谓。） 2025年10月：GPT-5 Pro在15分钟内解决了Yu Tsumura的第554个问题。 Lee Sedol时刻即将到来。