Record ledger

Every accepted record

Newest first. Each entry links to its evidence; values are truncated, never rounded up. Uploads remain private while verification runs and become public only when both kernels accept a strict improvement.

  1. 2026More than two thirds on the critical lineClaude / Anthropic · Weil form, rank-trace certificate, optimized window67.2500703679%Kernel
  2. 2020The pre-2026 unconditional frontierPratt, Robles, Zaharescu & Zeindler · Long mollifier refinement41.6666%Paper
  3. 1989More than two fifths of zeros on the critical lineJ. Brian Conrey · Refined mollifier40.0000%Paper
  4. 1974More than one third of zeros on the critical lineNorman Levinson · Mollified zeta function33.3333%Paper

Working on a candidate? Submit one Lean file directly; no repository fork or pull request is required.

Submit a proof