lean4
for ai researchers, devs
Why this scored 13
every term, weightedIts fastest-moving item, measured against the pace of its own source
Whether that velocity is itself speeding up, as a per-hour rate
How many independent communities its own items come from
Decays to zero over 14 days, counted from when we first saw it
Subtracted once something is big and old — sized by its biggest item, aged from when we first saw it
Weights are hand-tuned, not learned — we're calibrating them against realized trends as history accumulates. On an entity's first sighting there's no previous reading to compare against, so acceleration starts from a neutral prior rather than a measurement, and velocity falls back to engagement over its whole lifetime until a second reading exists. Full methodology
Signal history
7-day window (free)The evidence
The live items this entity's score aggregates — every community independently talking about it right now. This is the corroboration, shown, not claimed.
- 137
Lean 4 proof of Fermat's Last Theorem: how Claude did it in 11 days
Claude used Lean 4 to formalize Fermat's Last Theorem in 11 days, showing LLM reasoning depth. · for ai researchers, devs
devtoSteady 3 · claudeai28d ago - 229
OpenAI’s Navier-Stokes release included a Lean 4 formal proof
OpenAI released a Navier-Stokes formal proof in Lean 4, showcasing verification for ML research. · for AI researchers
hackernewsSteady 2 · openaiai45d ago - 316
Fermat's Last Theorem in Lean 4
Lean 4 now hosts a formal proof of Fermat's Last Theorem, showcasing its math-library power. · for formal methods engineers
hackernewsSteadydevtools51d ago