Stats
- Tracked problems
- 713
- New entries this week
- 42
- Lean-verified
- 21%
491 fully resolved
▲ 27% on last week
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.
127 entries are partial results or variants, which have no age at resolution. 161 of the remaining 586 lack a posed year or a score.
Most significant result per month
The heaviest problem resolved in each month since the record begins. Unlike the other charts here this one does not rise with volume: it moves only when something bigger lands. The line is the running best.
6 months set a new record. Hover a month for its result, click to open it.
Problems solved per vendor, over time
Cumulative count per vendor to date; an entry counts toward every vendor named on it, so the lines sum to more than the number of problems.
The last point is the current week, still filling.
Growth per AI-contribution tier
Cumulative resolved entries by how much the model contributed; 490 classified to date.
The last point is the current week, still filling.
Growth per resolution method
Cumulative resolved entries by the decisive step: a conceptual argument, an explicit object, or a finite computation; 491 classified to date.
The last point is the current week, still filling.
Growth per area
Cumulative tracked entries by mathematical area to date; the 7 largest over the whole record, with the remaining 5 folded into Other.
The last point is the current week, still filling.
Problems over time
Cumulative count of all tracked entries, 713 to date, candidates and partial results included.
The last point is the current week, still filling.
Proved vs. disproved
Across the 490 resolutions that went one way or the other. 1 more was shown independent of the ambient axioms, so it is in neither slice.
- Proved303(62%)
- Disproved187(38%)