Humanities Helping Hands
For Investors
A library of facts where every claim says how sure it is. A fact goes in as PROVEN only when a machine proof checker accepts it. Everything else stays labeled SOURCED, MEASURED, REASONED or GUESS, so a reader, or an AI, never mistakes a guess for a fact.
I.The numbers today
167 facts in the library, each PROVEN by Lean, a proof checker MEASURED counted by a script every build
67 of them are known theorems found in Mathlib and re-checked here, not new math MEASURED
118 proven all the way down to their first step MEASURED
not read yet visitors in the last 14 days MEASURED our own counter, one count per device a day, no cookies, bots skipped
72 test calls by our own AI agents (Haiku, Sonnet, Opus) to the site's connector MEASURED simulated traffic, not outside use
0 wrong labels in those agents' latest round MEASURED
The same numbers, with how each one is counted, are on Every Number. Nobody types them in.
II.What is still open
OPEN
Outside use. No outside AI agent or company is measured using the connector yet; the agent calls above are our own tests.
OPEN
Time from a real question to a proven answer: not measured. No visitor's question has been timed yet.
OPEN
Revenue. The site is free and has no paid product.
OPEN
Team. One founder; seats 2 to 12 of the founding circle are open. No equity is promised until a lawyer checks the rules.
GUESS
Growth. Too few days of visitor counts to call a trend; the number above is a count, not a forecast.
III.Talk to Daniel
Daniel Steadham, founder. One email, read by him.