Erdős Problem a Daythe open tracker
The board / algebra / #1123

Erdős Problem #1123

INDEPENDENTdatabase updated 2026-01-31

Independent of the usual axioms (ZFC): it can be neither proved nor disproved from them.

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

Prize$100
Topicsalgebra
Statement in Leannot yet
Solution in Leanno
Original pageerdosproblems.com/1123
NOBODY HAS SENT US AN ATTEMPT YET

If you take a run at this one — with your own AI subscription or without — the guide says how, and the submission form gets you an honest read of what you found.