Erdős Problems Database
Interactive table of mathematical problems
Data from
erdosproblems repository
Light
Dark
Search:
Status:
All Statuses
Open
Proved
Disproved
Solved
Proved (Lean)
Disproved (Lean)
Solved (Lean)
Falsifiable
Verifiable
Decidable
Not Provable
Prize:
All
Has Prize
No Prize
Formalized:
All
Yes
No
OEIS:
All
Already Linked
N/A
Possible
In Progress
Reset Filters
Tags Filter
Match:
Any selected tag (OR)
All selected tags (AND)
Sort by:
Count (most common first)
Alphabetically (A-Z)
Loading...
Loading data...
#
▲
Prize
Status
Formalized
OEIS
Tags
Comments
Loading problems...