Problems from Paul Erdos, one of the most prolific mathematicians in history. For official problem statements and comments, see erdosproblems.com. For the latest problem status and formalization links, see the collaborative database at Terry Tao's Erdos Problems project.
Completion is 100% for problems resolved in that database. For other problems, completion remains the LLM estimate. LLM Claim is assigned from the database: open, falsifiable, or decidable means unresolved; every other status means solved. Individual attempt claims and Community Review remain separate. Reused writeups retain their original model attribution. Statement-only records are marked as awaiting an attempt and do not count as LLM attempts.
Loading catalogue…
| Problem # | Community Review ⇅ |
LLM Claim ⇅ |
Completion ⇅ | Models | Links | External Links |
|---|---|---|---|---|---|---|
| Loading... | ||||||
Contribute
For new attempts, reviews, and problem proposals, visit We-Solve's contribution guides for current requirements and submission availability.