The problem
Let be a complete sequence, and define the threshold of completeness to be the least integer such that all are in
(the existence of is guaranteed by completeness).
Is it true that there are infinitely many such that ?
Statement quoted from erdosproblems.com/345, maintained by Thomas Bloom. Original source: [ErGr80,p.55]. 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 May, 2026 | AI working with humans | Aristotle, GPT | Wouter van Doorn | 🟡 Partial result (Lean) |
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.
∎