Erdős problems in the AI era

Explore recorded resolutions and formalized proofs over time, alongside AI model releases

Dates show database updates, not necessarily when the mathematics was done. Release markers provide context, not attribution.

Source data on GitHub

History: —

See recent changes
Resolved problems576

+224 since the first snapshot

Changes to resolved177

177 distinct problems since start

Resolved problems in Lean54.3%

Up from 0.9% of resolved problems

Resolved without Lean263

86 fewer than in the first snapshot

The resolved share rose from 35.5% to 47.2%. The database grew by 229 problems; unresolved problems went from 640 to 645.

“Resolved” includes proved, disproved, and otherwise solved

Changes to resolved — daily average

Each point is a daily average over the previous 30 days

Example: 6 status changes over 30 days = 0.2 per day (one every 5 days on average)

Changes to resolved — daily average, looking back 30 days0.00.20.40.60.81.0Oct 25Nov 25Dec 25Jan 26Feb 26Mar 26Apr 26May 26Jun 26Jul 26Aug 26Sep 26Claude Sonnet 4.5 · Sep 29, 2025Sonnet 4.5GPT-5.1 · Nov 13, 2025GPT-5.1Claude Opus 4.5 · Nov 24, 2025Opus 4.5GPT-5.2 · Dec 11, 2025GPT-5.2Claude Opus 4.6 · Feb 5, 2026Opus 4.6GPT-5.4 · Mar 5, 2026GPT-5.4GPT-5.5 · Apr 24, 2026GPT-5.5Claude Fable 5 · Jun 9, 2026Fable 5GPT-5.6 · Sol, Terra & Luna · Jul 9, 2026GPT-5.6Claude Fable 5.1 · Sep 1, 2026Fable 5.1GPT-6 Astra · Sep 3, 2026GPT-6 AstraClaude Opus 5.5 · Sep 22, 2026Opus 5.5GPT-6 · Sol & Luna · Sep 22, 2026GPT-6Claude Sonnet 5.5 · Sep 28, 2026Sonnet 5.5

Sep 28, 2026 · 19 changes to resolved in the previous 31 days · 0.61 per day on average

Counts changes to existing problems, including repeats. Grey bands mark snapshots more than a week apart; windows may be longer.

Choose a point, or use arrow keys then Enter, to see its changes. Lines mark model releases; select one to compare before and after.

What changed

19 changes across 19 distinct problems

Changes to resolved between the snapshots on Aug 28, 2026 and Sep 28, 2026 (31 days)

ProblemRecorded onChangeBetween snapshotsSource
#5472026-09-18Marked resolved2026-09-09 → 2026-09-18View revisions ↗
#4772026-09-05Marked resolved2026-09-04 → 2026-09-05View revisions ↗
#6252026-09-05Marked resolved2026-09-04 → 2026-09-05View revisions ↗
#1932026-09-04Marked resolved2026-09-03 → 2026-09-04View revisions ↗
#12026-09-03Marked resolved2026-09-02 → 2026-09-03View revisions ↗
#742026-09-03Marked resolved2026-09-02 → 2026-09-03View revisions ↗
#1262026-09-03Marked resolved2026-09-02 → 2026-09-03View revisions ↗
#5482026-09-03Marked resolved2026-09-02 → 2026-09-03View revisions ↗
#5572026-09-03Marked resolved2026-09-02 → 2026-09-03View revisions ↗
#5712026-09-03Marked resolved2026-09-02 → 2026-09-03View revisions ↗
#3462026-09-01Marked resolved2026-08-31 → 2026-09-01View revisions ↗
#4212026-09-01Marked resolved2026-08-31 → 2026-09-01View revisions ↗
#7302026-09-01Marked resolved2026-08-31 → 2026-09-01View revisions ↗
#10052026-09-01Marked resolved2026-08-31 → 2026-09-01View revisions ↗
#1062026-08-31Marked resolved2026-08-28 → 2026-08-31View revisions ↗
#1462026-08-31Marked resolved2026-08-28 → 2026-08-31View revisions ↗
#1802026-08-31Marked resolved2026-08-28 → 2026-08-31View revisions ↗
#1832026-08-31Marked resolved2026-08-28 → 2026-08-31View revisions ↗
#5752026-08-31Marked resolved2026-08-28 → 2026-08-31View revisions ↗

Problem links show today’s page. “View revisions” shows the historical changes. Repeated changes count separately.

Monthly changes

Download data ↗

Resolved status changes and database additions, shown separately. Select a bar to see the problems.

Marked resolvedAdded as resolvedNo longer resolvedRemoved from databaseUnmatched changesNet change
Monthly changes: changes to resolved010203040Sep 25Oct 25Nov 25Dec 25Jan 26Feb 26Mar 26Apr 26May 26Jun 26Jul 26Aug 26Sep 26September 2025 (partial month) · +23 net change · 6 marked resolved · 17 added as resolvedOctober 2025 · +32 net change · 28 marked resolved · 7 added as resolved · 3 no longer resolvedNovember 2025 · +3 net change · 3 marked resolvedDecember 2025 · +27 net change · 21 marked resolved · 9 added as resolved · 3 no longer resolvedJanuary 2026 · +35 net change · 28 marked resolved · 8 added as resolved · 1 removed from databaseFebruary 2026 · +8 net change · 8 marked resolvedMarch 2026 · +9 net change · 8 marked resolved · 1 added as resolvedApril 2026 · +33 net change · 22 marked resolved · 11 added as resolvedMay 2026 · +19 net change · 19 marked resolvedJune 2026 · +3 net change · 3 marked resolvedJuly 2026 · +12 net change · 12 marked resolvedAugust 2026 · +5 net change · 5 marked resolvedSeptember 2026 (partial month) · +15 net change · 14 marked resolved · 1 added as resolved

September 2026 (partial month) · +15 net change · 14 marked resolved · 1 added as resolved

View monthly totals
MonthMarked resolvedAdded as resolvedNo longer resolvedRemovedUnmatchedNet change
2025-09 (partial)617000+23
2025-10287-300+32
2025-1130000+3
2025-12219-300+27
2026-012880-10+35
2026-0280000+8
2026-0381000+9
2026-042211000+33
2026-05190000+19
2026-0630000+3
2026-07120000+12
2026-0850000+5
2026-09 (partial)141000+15

Resolved problems in Lean

The shaded gap shows resolved problems with no Lean solution recorded

ResolvedOf those, in Lean
Resolved problems and how many have solutions in Lean0100200300400500600Oct 25Nov 25Dec 25Jan 26Feb 26Mar 26Apr 26May 26Jun 26Jul 26Aug 26Sep 26

Sep 28, 2026 · 576 resolved · 313 of those in Lean (54.3%) · 263 without Lean formalization

Excludes problems still listed as unresolved

Before and after a model release

Compare observed changes to resolved across two 30-day windows around the release date. The data does not tell us whether the model helped.

30 days before—

Choose a release to compare

Release day + 29 days—

Choose a release to compare

Windows use UTC dates, not launch times. Ranges cover only changes captured between saved snapshots; missed changes are not estimated. Nearby release windows can overlap.