Humanities Helping Hands
Every Number
Everything the site counts about itself. A script counts each one from the site's own files, the same way every build.
◆Every label, counted
11 labeled PROVEN
29 labeled SOURCED
2 labeled MEASURED
6 labeled REASONED
7 labeled GUESS
5 labeled BLOCKED
7 labeled OPEN
How many times each label appears on the site's pages. PROVEN: a machine checked it. SOURCED: a named source says it. MEASURED: we counted or timed it. REASONED: it follows from proven facts but was not tried. GUESS: an estimate, graded by how far it was weighed. BLOCKED: a published theorem shows that road cannot work. OPEN: nobody has done it. The library's facts are counted below, each one PROVEN.
◆Proof it's working
167 proven facts
167 of them checked by Lean, a proof checker
67 of those, known theorems found in Mathlib (not proved here)
0 of them checked by exact math in your browser
118 proven all the way to the root
49 numbers proven, real-world part still open
1 known P vs NP pieces machine-checked here (P vs NP itself: OPEN)
1 P vs NP pieces measured here, not proven
4 roads to P vs NP proven blocked
5 P vs NP pieces still open, P vs NP itself one of them
not measured minutes from question to proven answer
72 test calls by our own AI agents (simulated, not outside use)
0 wrong labels in their latest round
Every number here is counted by a script from the site's own files, the same way every run. Nobody types them in.