lean artifact · pending
Artifact ↗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
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
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
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)