The board / additive combinatorics / #271
Erdős Problem #271
Stanley sequences
OPENdatabase updated 2025-08-31
No proof or disproof is known, and it isn't known whether a finite computation could settle it.
What the community database records, not our verdict. erdosproblems.com no longer shows statuses (why).
Prizenone
Statement in Leannot yet
Solution in Leanno
OEISA005487
Original pageerdosproblems.com/271
Attempts
submit one →Read our working report →
proved a sharp explicit formula for every fixed index in the large-seed regime and an O(log n) exact first-obstruction reduction; independently certified A(4) through a_20000, corrected two indexing/p
PARTIAL