Stats
- Tracked problems
- 1284
- New entries this week
- 0
- Lean-verified
- 12%
518 fully resolved
▼ 100% 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.
Only entries scoring 50 or above; the full record has a dense band at 10 that hides them. 26 more clear the cut but carry no posed year, so they have no age to plot against.
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.
Dashed adds 569 candidate claims under review, not yet checked by anyone independent. Solid is resolved only.
The last point is the current week, still filling.
Growth per AI-contribution tier
Cumulative resolved entries by how much the model contributed; 517 classified to date.
Dashed adds 519 candidate claims under review, not yet checked by anyone independent. Solid is resolved only.
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; 518 classified to date.
Dashed adds 518 candidate claims under review, not yet checked by anyone independent. Solid is resolved only.
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, 1284 to date, candidates and partial results included.
The last point is the current week, still filling.
Proved vs. disproved
Across the 1035 resolutions that went one way or the other. 2 more were shown independent of the ambient axioms, so they are in neither slice.
Includes 519 candidate claims under review, not yet checked by anyone independent.
- Proved708(68%)
- Disproved327(32%)