+222 since the first snapshot
Erdős Problems Database
Track problem statuses and Lean formalizations over time.
Plus 53 added as already resolved
Up from 0.9% of resolved problems
71 fewer than in the first snapshot
The resolved share rose from 35.5% to 47.2%. The database grew by 225 problems; unresolved problems went from 640 to 643.
“Resolved” includes proved, disproved, and otherwise solved.
Loading chart controls…
Problems marked resolved — daily average
Each point is a daily average over the previous 30 days.
Example: 6 problems over 30 days = 0.2 per day (one every 5 days on average).
Sep 9, 2026 · 18 problems marked resolved in the previous 30 days · 0.60 per day on average
Counts changes to existing problems. Gaps between snapshots can lengthen the averaging window.
Lines mark model releases; grey bands mark gaps over a week. Select a model to compare before and after.
Monthly changes
Download data ↗Status changes and database additions, shown separately. Select a bar to see the problems.
Marked resolvedAdded as resolvedNo longer resolvedRemoved from databaseUnmatched changesNet change
September 2026 (partial month) · +13 net change · 13 marked resolved
View monthly totals
| Month | Marked resolved | Added as resolved | No longer resolved | Removed | Unmatched | Net change |
|---|---|---|---|---|---|---|
| 2025-09 (partial) | 6 | 17 | 0 | 0 | 0 | +23 |
| 2025-10 | 28 | 7 | -3 | 0 | 0 | +32 |
| 2025-11 | 3 | 0 | 0 | 0 | 0 | +3 |
| 2025-12 | 21 | 9 | -3 | 0 | 0 | +27 |
| 2026-01 | 28 | 8 | 0 | -1 | 0 | +35 |
| 2026-02 | 8 | 0 | 0 | 0 | 0 | +8 |
| 2026-03 | 8 | 1 | 0 | 0 | 0 | +9 |
| 2026-04 | 22 | 11 | 0 | 0 | 0 | +33 |
| 2026-05 | 19 | 0 | 0 | 0 | 0 | +19 |
| 2026-06 | 3 | 0 | 0 | 0 | 0 | +3 |
| 2026-07 | 12 | 0 | 0 | 0 | 0 | +12 |
| 2026-08 | 5 | 0 | 0 | 0 | 0 | +5 |
| 2026-09 (partial) | 13 | 0 | 0 | 0 | 0 | +13 |
View changed problems
Problem links show today’s page. “View revisions” shows the historical changes.
| Problem | Recorded on | Change | Between snapshots | Source |
|---|---|---|---|---|
| Loading problem changes… | ||||
Resolved problems in Lean
The shaded gap shows resolved problems with no Lean solution recorded.
ResolvedOf those, in Lean
Sep 9, 2026 · 574 resolved · 296 of those in Lean (51.6%) · 278 without Lean formalization
Excludes problems still listed as unresolved.
Before and after a model release
Compare problems marked resolved in the 30 days before and after release. The data does not tell us whether the model helped.
Choose a release to compare.
Choose a release to compare.
Requires 30 days on each side. Nearby release windows can overlap.