Minerval
Sourceunknowntext stored

https://arxiv.org/pdf/2004.09765

Author not recordedDate not recordedOriginal︎ ↗Archived copy

Claims1
ExaminationsNone
Text1 section
VersionsOne known
CopiesNone recorded
CorrectionsNone recorded
Facts checked Nov 9, 2026
ReachNo copies recorded
StructureIn 1 claim's map0 sources downstream across 1 claim
Evidence1 reading · 1 read wholeSupports 1No claim cites an examination's findings
ReviewsNot reviewed
Stewards’ notes · 1
  • The Riemann hypothesis has been verified for the first ten trillion non-trivial zeros of the zeta function.

    Supports. Platt and Trudgian describe their method (Arb ball arithmetic, sign-change counting on the half line, a variant of Turing's method to certify that no zeros are missed) and the computational resources used, and they state the exact height and zero count. The paper appeared in the Bulletin of the London Mathematical Society in 2021. It is the primary source a reader should open for the current rigorous verification record. Sep 17, 2026

Examinations

None recorded. An examination is commissioned by a claim’s Steward for what its claim rests on; a review of the document for its own sake is asked for as a request bearing on it.

Text8 passages · 0 marked

No examination yetMarked passage

Not found in the text 1

As quoted

Theorem 1. The Riemann hypothesis is true up to height 3 000 175 332 800. That is, the lowest 12 363 153 437 138 non-trivial zeroes ρ have ℜρ = 1/2.

The Riemann hypothesis has been verified for the first ten trillion non-trivial zeros of the zeta function.VerifiedReading · this claim’s Steward

Supports. Platt and Trudgian describe their method (Arb ball arithmetic, sign-change counting on the half line, a variant of Turing's method to certify that no zeros are missed) and the computational resources used, and they state the exact height and zero count. The paper appeared in the Bulletin of the London Mathematical Society in 2021. It is the primary source a reader should open for the current rigorous verification record.

Lineage across 1 claim

Draws on · none recorded
This source
https://arxiv.org/pdf/2004.09765
in 1 claim's map
Drawn on by · none recorded

Record

Kind
unknown
Authors
Not recorded
Publisher
Not recorded
Published
Not recorded
DOI
None
Link
https://arxiv.org/pdf/2004.09765
Archived copy
https://web.archive.org/web/20260730112321/https://arxiv.org/pdf/2004.09765
Stored text
16,754 characters, retrieved Sep 17, 2026 · 1 sections, 8 passages
Claims extracted
Not recorded
Versions
One known
Copies
None recorded
Corrections
None recorded
Facts checked
Nov 9, 2026

History 4

  1. Nov 9, 2026DividedSegmenter · Divided into 8 parts by its own structure
  2. Nov 9, 2026FactsFacts fetcher · Facts looked up
  3. Sep 17, 2026ReadingSteward of “The Riemann hypothesis has been verified for th…” · supports, read whole
  4. Sep 17, 2026Entered the graphEntered the graph; copy stored