LLM 未解 Yu Tsumura 的第 554 题
机器学习
2025-08-06 v1
摘要
我们表明，与关于大型语言模型（LLM）问题解决能力的乐观主义相矛盾，后者是由近期获得金牌所驱动的——存在一个问题——Yu Tsumura 的第 554 题——a) 在证明复杂程度上属于 IMO 题目的范围内，b) 不是导致 LLM 出现问题的组合问题，c) 需要的证明技术少于典型难题，d) 拥有公开解答（可能在 LLM 的训练数据中），且e) 无法被任何现有的即插即用 LLM（商业或开源）轻松解决。
引用
@article{arxiv.2508.03685,
title = {No LLM Solved Yu Tsumura's 554th Problem},
author = {Simon Frieder and William Hart},
journal= {arXiv preprint arXiv:2508.03685},
year = {2025}
}
备注
67 pages