The problem
Consider the two-player game in which players alternately choose integers from to be included in some set (the same set for both players) such that no for .
The game ends when no legal move is possible. One player wants the game to last as long as possible, the other wants the game to end quickly. How long can the game be guaranteed to last for?
At least moves? (For and sufficiently large.) At least moves?
Statement quoted from erdosproblems.com/872, maintained by Thomas Bloom. Original source: [Er92c,p.47]. Current status there: open.
AI contributions
As recorded in Terence Tao's wiki AI contributions to Erdős problems (data as of 30 Jun 2026). 🟢 full, 🟡 partial, ⚪ unverified, 🔴 incorrect.
| Date | Kind | AI systems | Humans | Outcome |
|---|---|---|---|---|
| 16 Feb, 2026 | AI on its own | GPT-5.2 Pro | — | 🟡 Partial result |
| 16 Apr, 2026 | AI working with humans | GPT-5.4 Pro | Om_Buddhdev_sensho | 🟡 Partial result |
| 29 Apr, 2026 | AI working with humans | GPT-5.5 Pro | Jonas Silva | ⚪ Candidate partial result |
Caveats
The wiki's classifications are provisional and are not a benchmark. Many Erdős problems have never had a thorough literature review, so a result that looks new may later turn out to be known; some problems were also stated ambiguously or incorrectly. See the problem page for the full discussion.
∎