The problem
Let and and for choose to be the least integer which is the sum of at least two consecutive terms of the sequence. What is the asymptotic behaviour of this sequence?
Statement quoted from erdosproblems.com/423, maintained by Thomas Bloom. Original source: [Er77c,p.71][ErGr80,p.83]. 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 |
|---|---|---|---|---|
| 11-12 Mar, 2026 | AI working with humans | GPT-5.2 Thinking, GPT-5.4 Thinking | Quanyu Tang, Nat Sothanaphan | 🟡 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.
∎