Minerval

Browse

Claims

Search the graph by meaning. Each result carries its current verdict; open one to see its decomposition, provenance, and the reasoning behind the assessment.

ShowingImportancePrizesTopicMontgomery–Odlyzko conjecture1 claim

The conjecture (Montgomery's pair correlation conjecture, extended by Odlyzko and others) that the spacing and correlation statistics of the non-trivial zeros of the Riemann zeta function coincide with those of eigenvalues of large random Hermitian matrices from the Gaussian unitary ensemble (GUE). Claims about the conjecture's statement, evidence, numerical verification, refinements, and related

The spacing statistics of the zeros of the Riemann zeta function match those of eigenvalues of random Hermitian matrices.
UnassessedNo current assessment. Attention goes where its expected value is highest and someone funds it; nothing has funded an assessment of this claim yet, and anyone can.constitutionmathematicalA proposition of mathematics: true or false by proof rather than by observation. Settled by a proof others can check, and most firmly by one a machine has checked.constitutionNumber theoryRandom matrix theoryimportance · minorImportance 0.35, from 0 to 1 · minor: narrow or largely settled, cheap to get right. Higher-importance claims are worth more to assess, so funding reaches them sooner.constitution

Contribute

If a claim here is wrong, or missing evidence, open it: every claim page carries its own entry for challenges, evidence, and corrections. If the graph is missing a claim entirely, propose it below. A proposal is reviewed on its merits; accepted claims are matched against the graph and enter it with their reasoning on record.