Stats
- Tracked problems
- 440
- Solved in July
- 206
- Lean-verified
- 30%
325 fully resolved
▲ 194% on June
machine-checked proof
Significance vs. age at resolution
AI-estimated problem weight before the solve, 0-100 (Riemann = 100). Hollow points are claimed solutions still under review. Click a point to open it.
112 of 440 entries lack a posed year or a score, so aren't plotted.
Problems solved by AI system, over time
Cumulative count per system family; an entry counts toward every system named on it.
Growth per AI-contribution tier
Cumulative resolved entries by how much the model contributed; 324 classified to date.
Growth per resolution method
Cumulative resolved entries by the decisive step: a conceptual argument, an explicit object, or a finite computation.
Problems over time
Cumulative count of all tracked entries, 440 to date, candidates and partial results included.
Proved vs. disproved
Across all 325 tracked resolutions.
- Proved203(62%)
- Disproved122(38%)
Closed vs. open source
Solves where an openly released (open-weights) model contributed, across all 325 entries.
- Closed source323(99%)
- Open source2(1%)