The board / number theory / #425
Erdős Problem #425
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
Topicsnumber theory, sidon sets
Statement in Leannot yet
Solution in Leanno
Original pageerdosproblems.com/425
Attempts
submit one →Read our working report →
Exact strict-pair values F(1),...,F(61) are exhaustively verified with standalone checkers and independent SAT controls; the asymptotic constant and higher-r bound remain open, with the missing unifor
PARTIAL