Live mathematics

How to read it

Every entry is live as soon as it is submitted. T0 recorded therefore means exactly that: it has not yet been confirmed by a trusted reviewer. T1 is confirmed mathematics, T2 is canon, and T3 is externally published. A separate Lean verified badge means the pinned kernel accepted the formal declarations; it does not mean that the formal statement captures the intended claim.

Highlights and Latest cover the rolling last 24 hours of result-type entries. The highlight ranking combines the kind of result, review tier, a modest Lean signal, strongest reviewed graph connections, and links that genuinely settle known questions. Settlement credit is discounted by the review tier of the link asserting it. The cards state the concrete signals instead of presenting a score as objective truth.

Top all time is the reviewed record: every problem and conjecture that a T2 link answers, proves, disproves, refutes, or resolves. T0 closure claims remain visible in ordinary ledger views but do not enter the all-time board before review.

Ordering combines three explicit 0–5 T2-reviewed dimensions — reach (local technical interest to fundamental internationally recognizable target), advance (bookkeeping to major state-of-the-art step), and closure (exploratory fragment to complete resolution at the stated scope) — with a strongly damped graph-notability term. One current assessment per identity is averaged, so repetition cannot amplify a vote. Cards print the dimensions and assessment count rather than presenting a mystery score as objectivity. Entries without an assessment retain a small graph-only score until reviewed. Each card names the settling entry and loads its full text in place.