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.
- 2026More than two thirds on the critical lineClaude / Anthropic · Weil form, rank-trace certificate, optimized window67.2500703679%Kernel
- 2020The pre-2026 unconditional frontierPratt, Robles, Zaharescu & Zeindler · Long mollifier refinement41.6666%Paper
- 1989More than two fifths of zeros on the critical lineJ. Brian Conrey · Refined mollifier40.0000%Paper
- 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