Source authenticated

The Proportion of Zeta Zeros on the Critical Line

An unconditional record, not a resolution: the Riemann hypothesis is untouched, and Anthropic states it does not expect these techniques to lead to a proof of it. The paper is explicit that these are lower bounds only - the remaining third of the zeros are not shown to be off the line, merely not reached by the certificate. What it does settle is a question that was posed. Goldston and Suriajaya had reduced Montgomery's conditional $\tfrac23$ to a single obstruction, the termwise positivity that fails for zeros off the line, and asked what would follow without it. Theorem A replaces that positivity with a rank-trace inequality on a finite compression of Weil's Hermitian form, with Sylvester's law of inertia handling off-line pairs; reading the negative index of truncations as a count of off-line pairs is Bombieri's device. The paper also proves the bound sharp for this route: improving on $\tfrac23$ this way would need pair-correlation information beyond Fourier support 1.

Exact FrontierDelta

Prior state unknownproved

Scope and record

Occurred: Aug 10, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: lean-checked. Publication: preprint. AI contribution: ai-discovered. Imported under CC BY 4.0.

Canonical aliases: The Proportion of Zeta Zeros on the Critical Line · Zeta zeros on the line

Confidence: Not scored

Registry verification: lean checked · preprint · partial

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Levent Alpöge
human · human collaborator

Claude (unreleased research version)
model · ai model contributor · Anthropic

Jarred Sumner
human · human collaborator

Ralph Furman
human · human collaborator

Eric Easley
human · human collaborator

Artifacts and verifiers

Lean repository - audited at tag v1.0; comparator statements under comparator/

lean artifact · pending

Artifact ↗

Compute record

No linked compute attempts recorded.

Lineage and corrections

This event attributed to Jarred Sumner

This event attributed to Levent Alpöge

This event attributed to Ralph Furman

This event attributed to Eric Easley

This event attributed to Claude (unreleased research version)

Act on this frontier

Verify, challenge, or extend the result.

The Proportion of Zeta Zeros on the Critical Line — Mathematical Frontier Network