What was already known
The paper compares its result with the previous 5/12 unconditional proportion bound.
What changed and why it matters
A substantial reported partial advance concerning the zeta zeros, rather than a proof of the Riemann hypothesis.
The AI contribution
The source attributes discovery to Claude; the named human authors validated and communicated the argument.
Limitations
The full Riemann hypothesis remains a stronger statement. AIProofWatch has not rerun the Lean project or audited the analytic dependencies. The paper’s authors work at Anthropic, so their validation is not independent checking.
Verification evidence
Evidence labels show what supports the claim. Importance rates its impact if correct.
Author claim
Reported theorem and provenance in version 2.
Accessible artifact / proof
Pinned-toolchain project and comparator information are available.
Formal checking
Anthropic reports Lean/comparator checking; AIProofWatch has not run it.
Checker: Anthropic formalization team (reported)
Scope: The project’s statement on simple critical-line zeros, under its declared analytic dependencies.
Basis: Reported by the linked checker
Checking a formal statement does not establish that it matches the original problem.
Correction and publication history
News-led source-context amendment, preserving the existing claim, rating, AI attribution and checking limits. No subscriber alerts.
Read this published revisionEditorial importance reassessment: rate the scoped impact if correct independently from verification. The claim, limitations, sources, and verification evidence are unchanged.
Read this published revisionHistorical seed, researched for the initial catalog. Initial alerting disabled.
Read this published revision