Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2508.03685 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866913976607047680 |
|---|---|
| author | Frieder, Simon Hart, William |
| author_facet | Frieder, Simon Hart, William |
| contents | We show, contrary to the optimism about LLM's problem-solving abilities, fueled by the recent gold medals that were attained, that a problem exists -- Yu Tsumura's 554th problem -- that a) is within the scope of an IMO problem in terms of proof sophistication, b) is not a combinatorics problem which has caused issues for LLMs, c) requires fewer proof techniques than typical hard IMO problems, d) has a publicly available solution (likely in the training data of LLMs), and e) that cannot be readily solved by any existing off-the-shelf LLM (commercial or open-source). |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2508_03685 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | No LLM Solved Yu Tsumura's 554th Problem Frieder, Simon Hart, William Machine Learning We show, contrary to the optimism about LLM's problem-solving abilities, fueled by the recent gold medals that were attained, that a problem exists -- Yu Tsumura's 554th problem -- that a) is within the scope of an IMO problem in terms of proof sophistication, b) is not a combinatorics problem which has caused issues for LLMs, c) requires fewer proof techniques than typical hard IMO problems, d) has a publicly available solution (likely in the training data of LLMs), and e) that cannot be readily solved by any existing off-the-shelf LLM (commercial or open-source). |
| title | No LLM Solved Yu Tsumura's 554th Problem |
| topic | Machine Learning |
| url | https://arxiv.org/abs/2508.03685 |