Erdős Problem a Daythe open tracker
The board / number theory / #475

Erdős Problem #475

DECIDABLEdatabase updated 2026-02-23

Still open, but reduced to a finite computation: checking enough cases would settle it either way.

What the community database records, not our verdict. erdosproblems.com no longer shows statuses (why).

Prizenone
Topicsnumber theory, additive combinatorics
Statement in Leannot yet
Solution in Leanno
Original pageerdosproblems.com/475

Attempts

submit one →
EARLY RUN BY THIS SITE · JUL 25, 2026

Decidable up to the computed range, no counterexample — general case open.

PARTIAL
← #474the board#476 →