An independent research program · 2026

The Riemann Project Three published papers on a spectral route to the Riemann Hypothesis

An independent, open-source study of one specific, recently proposed route to the most famous open problem in mathematics. Three papers measure, prove, and decode one finite construction at up to 1000 digits of precision. Every number has runnable code behind it, every correction is public, and no claim of proof is made.

3
Papers published (2026)
329
Correct digits of the first Riemann zero (best case)
512
Zeros in the exactness check (Paper 2)
7
Independent verification records

What is the Riemann Hypothesis?

Proposed in 1859 by Bernhard Riemann, it is among the most important unsolved problems in mathematics. It governs how the prime numbers, the atoms of arithmetic, are distributed, and it reaches into cryptography, physics, and the deep structure of the number system.

The Zeta Function

Riemann's zeta function encodes information about every prime. Its non-trivial "zeros" control how the primes are spread out. The hypothesis says all of those zeros sit on a single vertical line in the complex plane: the critical line.

A Millennium Prize

The Clay Mathematics Institute lists it among the seven Millennium Prize Problems, with $1 million offered for a resolution. As of 2026 it has stood unsolved for 167 years.

The Spectral Dream

A century-old idea (Hilbert and Pólya) suggests the zeros might be the vibration frequencies of some natural operator: if such an operator exists with the right symmetry, the hypothesis follows. In February 2026, Alain Connes revisited a concrete candidate framework of this kind, and left one question open: does its finite version converge to the true Riemann zeros? If the finite versions home in on the true zeros, the route stays alive; if they drift, it is in trouble. Running that test is what this project does.

Three papers, one finite object

Connes' framework rests on an older equivalence. André Weil proved in 1952 that the Riemann Hypothesis is exactly the statement that a certain quadratic form, built from the primes together with an explicit archimedean term, never goes negative. The form itself is infinite. Connes and van Suijlekom showed how to truncate it, keeping only the prime powers up to a cutoff c; discretizing the result at a finite resolution N, the step carried out computationally by Connes, Consani, and Moscovici, turns it into an ordinary finite matrix that a computer can build, measure, and prove theorems about. That family of matrices, indexed by c and N, is the shared object of all three papers.

In plain terms

Imagine the infinite arithmetic of the primes compressed into a finite grid of numbers, small enough to hold in a computer, rich enough that the first Riemann zeros can be read out of it to hundreds of correct digits. The three papers ask three different questions about that grid: what does it do (measure it), why can it be trusted (prove exactly what it sees of the infinite object), and where are the primes inside it (find them, exactly).

Two words carry most of what follows. A matrix's eigenvalues are its short list of characteristic numbers; they are the same "vibration frequencies" as in the spectral dream above. And positive means none of those numbers dips below zero. Weil's theorem says the Riemann Hypothesis is exactly the statement that the infinite form never dips negative, which is why the smallest eigenvalue of the finite matrix is the needle every measurement below watches.

The three dials on the machine

c · the prime cutoff How much of the primes' information is admitted: the prime powers up to c.
N · the resolution The size of the finite matrix: how fine its frequency grid is.
T · the technical cutoff A purely computational frequency window used to evaluate the smooth (archimedean) part of the form. The "cutoff-free" matrix Q is the ideal object with T removed. Paper 1's computations use finite T; Paper 2 proves exactly what finite T can and cannot certify about Q.
The honest frame, stated once and repeated often. Across the series, the claims are empirical or finite-dimensional; none is a proof of the Riemann Hypothesis. The papers are open preprints and archived deposits (arXiv and Zenodo); they have not yet been peer-reviewed, and who has independently checked them is recorded in the Verification section below. The mathematical foundation belongs to Connes, van Suijlekom, Consani, and Moscovici; these papers reproduce, extend, prove finite theorems about, and stress-test that framework in public.

Measure the matrix, then push it far beyond the published cutoffs

To our knowledge the first independent public implementation of the Connes–van Suijlekom operator: it reproduces the published c = 13 result, cross-validates against the Connes–Consani–Moscovici group at c = 14, measures fifteen cutoffs, and then jumps far out of sample to c = 100, where, to our knowledge, the framework's predicted behaviour had never been checked.

In plain terms

The framework's authors reported striking results at the first small cutoffs (up to c = 14). This paper rebuilt the whole machine from the published equations, sharing no code with the original, and confirmed those values. Then it kept going: fourteen additional cutoffs, and finally a leap to c = 100, far beyond the published range, to test the framework's predicted limiting behaviour where, to our knowledge, no one had looked. Along the way, the matrix gives back the first ten Riemann zeros to more than 300 correct digits each. For comparison: no physical measurement has ever reached even 15 significant digits.

The headline: an out-of-sample test of Connes' 2026 §6.4 prediction

Connes' 2026 letter gives a heuristic formula for how the operator's smallest-positive eigenvalue (see the caveats below) should decay in the limit. We tested that formula where, to our knowledge, no one had: at c = 100, on a sequence of increasingly fine approximations (N = 100, 150, 200, 250) carried to as many as 1000 digits of precision.

extrapolated  log10min| → −536.8, then −533.7  ⟶  Connes §6.4: ≈ −530.4

Two successive extrapolations both move toward Connes' predicted value, the deeper one landing closer: about 3.3 away from the predicted exponent of roughly 530, agreement at the under-one-percent level on the exponent. Four data points cannot rule out alternative convergence models; the paper's sensitivity discussion spells out what this does and does not establish. This is, to our knowledge, the first independent out-of-sample test of that prediction at a cutoff beyond those previously reported.

The c = 100 sequence

N (resolution)PrecisionSmallest-positive eigenvalue λminNote
100500 digits1.22 × 10−191First point
150500 / 1000 digits6.42 × 10−248Cross-checked to 25 leading digits at 1000-digit precision
200500 digits4.87 × 10−295
250500 digits2.08 × 10−334Deepest point; γ1–γ10 to 307–329 digits

The extrapolations use two overlapping triples from this sequence; the underlying eigenvalues are stored as full-precision decimal strings in the public dataset.

The foundation: convergence across fifteen cutoffs

Before the c = 100 test, the operator was measured across fifteen cutoffs from c = 13 to 67. The error in the first Riemann zero shrinks smoothly and without interruption through 113 orders of magnitude.

First-zero error vs. prime cutoff · logarithmic scale (full values in the table below)
10⁰10⁻⁴⁰10⁻⁸⁰ 10⁻¹²⁰10⁻¹⁶⁰ 13305067 prime cutoff c c = 14 · error 3.54 × 10⁻⁶¹ c = 17 · error 1.63 × 10⁻⁷⁶ c = 19 · error 1.07 × 10⁻⁸⁶ c = 23 · error 5.52 × 10⁻¹⁰³ c = 29 · error 4.59 × 10⁻¹²⁰ c = 31 · error 1.14 × 10⁻¹²⁴ c = 37 · error 5.69 × 10⁻¹³⁶ c = 41 · error 2.76 × 10⁻¹⁴² c = 43 · error 3.38 × 10⁻¹⁴⁵ c = 47 · error 4.27 × 10⁻¹⁵⁰ c = 53 · error 1.49 × 10⁻¹⁵⁶ c = 59 · error 3.91 × 10⁻¹⁶² c = 61 · error 8.72 × 10⁻¹⁶⁴ c = 13 · error 2.005 × 10⁻⁵⁵ c = 67 · error 1.478 × 10⁻¹⁶⁸ c = 13 · ~10⁻⁵⁵ c = 67 · ~10⁻¹⁶⁸ 113 orders of magnitude of monotone convergence
Show all fifteen cutoffs (c = 13 → 67)
Cutoff cFirst-zero error |γ1 − γ1R|λminNote
132.005 × 10−552.865 × 10−59VerifiedReproduces Connes/CCM (~2.6×10−55) to a factor of ~1.3
143.541 × 10−614.835 × 10−65Cross-checkvs CCM 2025 (~1.07×10−60)
171.634 × 10−762.030 × 10−80New cutoff
191.070 × 10−861.265 × 10−90New cutoff
235.520 × 10−1035.959 × 10−107New cutoff
294.587 × 10−1204.366 × 10−124New cutoff
311.141 × 10−1241.045 × 10−128New cutoff
375.686 × 10−1364.670 × 10−140New cutoff
412.760 × 10−1422.122 × 10−146New cutoff
433.379 × 10−1452.519 × 10−149New cutoff
474.270 × 10−1502.994 × 10−154New cutoff
531.493 × 10−1569.615 × 10−161New cutoff
593.911 × 10−1622.328 × 10−166New cutoff
618.722 × 10−1645.063 × 10−168New cutoff
671.478 × 10−1687.993 × 10−173BlindDeepest in-sample; passed a pre-registered blind-prediction test

All rows use a fixed resolution (N = 100) and 150- or 200-digit precision, chosen to stay clear of the arithmetic floor. Together with c = 100, these rows form, to our knowledge, the first independent multi-c survey of this spectrum beyond the framework authors' reported values at c ∈ {9, 12, 13, 14}. The first-zero error is the absolute difference from the true value γ1 = 14.134725… The two columns are two gauges of the same convergence: how far the recovered first zero sits from the true one, and how close the matrix's smallest characteristic number sits to zero.

What the operator reveals (for specialists)

Eigenvector stability The ground states at different cutoffs are nearly parallel: every one of the 105 pairwise overlaps exceeds 0.9498, even though the eigenvalues differ by up to 113 orders of magnitude.
Universality across zeros The behaviour is not special to the first zero: all ten detectable zeros converge in step, tracking one another to within 3.8%.
Smoothing with cutoff The ground state grows markedly smoother as the cutoff increases, following an empirical law of roughly σ(c) ≈ 55·log c − 128 (we write σ for the smoothness exponent, reserving s(c) for Connes' §6.4 quantity).
A tight bulk regularity A global property of the N = 100 Galerkin matrix follows a clean linear law, log|det Qc| ≈ −65.6·c + 542, with R² = 0.997 across the sweep.

Two things we are careful about

The smallest-positive eigenvalue. Some eigenvalues at c = 100 first came out negative. That turned out to be an artifact of the technical dial T, not of the object itself: a published correction (June 2026) traced the negative block to the finite archimedean cutoff, and a rigorous re-computation with guaranteed error bounds (an interval-arithmetic factorization, free of that cutoff) certifies the even sector non-negative at c = 100 for N = 100, 150, and 200. So we report the smallest positive eigenvalue as the object of interest; the full record lives in the repository's public ERRATA.

A note on scope: the matrix splits by symmetry into two independent halves, the even and odd sectors, and the headline measurements live in the even sector. The odd sector, where a small finite-cutoff negative has been reported through the public issue tracker, carries no cutoff-free certificate to date. And the continuum positivity that would close the whole argument is equivalent to the Riemann Hypothesis itself; we do not assume it.

The fit is finite-resolution, not the limit. A simple power law describes the data up to c = 67 at fixed resolution, but it is a finite-resolution rate, not the true limiting behaviour: the c = 100 measurement overturns its naive extrapolation by 49 orders of magnitude. We report what the numbers show, and what they do not.

For context. Others have computed Riemann zeros far more extensively by direct methods, into the trillions. This is a different question: whether one specific operator framework converges toward the Riemann zeros, an open problem posed by the framework's own authors. Each cutoff from c = 17 upward is, to our knowledge, the first public measurement of that operator's convergence at that scale; c = 13 and 14 reproduce and cross-check the published values.
BibTeX
@article{groskin2026weil, author = {Groskin, Akiva}, title = {High-Precision Approximation of Riemann Zeros via the Truncated Weil Form}, year = {2026}, eprint = {2605.20224}, archivePrefix = {arXiv}, primaryClass = {math.NT}, doi = {10.5281/zenodo.19546514} }

The finite window is exact, and it comes with a price list

A finite computation can only ever see a window of an infinite object. This paper proves two exact finite theorems about that window: a dictionary that makes every even-sector value of the cutoff-free matrix an exact statement about the true zeros of zeta, and a sign theorem for the archimedean tail that any finite-T computation omits.

In plain terms

First half: the ideal window is not an approximation at all. Remove the technical dial T and you get the cutoff-free matrix Q, the ideal object the computed matrices approach. Every number that ideal matrix produces (in the even sector, where the headline results live) equals, exactly, a sum over the true zeros of the zeta function. The paper constructs an explicit change of language, a dictionary, between vectors of the matrix and the inputs of the 150-year-old formula that links primes to zeros. Nothing is lost in translation, and the translation is a closed formula.

Second half: what a real, finite-T computation still omits can only push one way. The omitted piece, the archimedean tail, is proved to have a definite sign, and its size has an exact budget. Together the two halves give a certification rule: certain finite computations genuinely certify facts about the ideal object, others certify nothing at all, and the rule tells you which is which before you compute.

The two theorems

The dictionary (Theorem 2.5). Every real even Galerkin coefficient vector v (Galerkin: the standard recipe for shrinking an infinite problem onto a finite frequency grid) determines, in closed form, a band-limited Guinand–Weil test function gv with

⟨v, Q v⟩  =  ∑* gv(z)   over the zeros  ζ(½ + iz) = 0 Q is the N×N Galerkin matrix with the archimedean cutoff removed (T → ∞); the prime cutoff c and the band N stay finite. The starred sum runs over the nontrivial zeros, counted with multiplicity.

The construction factors through an exact source quotient of dimension 2N + 1 (membership characterized exactly, Corollary 2.4), and admits a non-collapsing pole-neutral subfamily.

The tail order (Theorem 3.2). Beyond the archimedean cutoff T, the omitted archimedean tail is a strictly positive definite, strictly totally positive Cauchy–Stieltjes increment. This yields a two-sided certification rule with an explicit budget:

BT  ∼  (2N + 1) ρ · log T  /  (π² T),   ρ = 2π / log c Finite-cutoff positivity certifies cutoff-free positivity; an eigenvalue below −BT certifies a genuine negative; a negative in [−BT, 0) certifies nothing.

The budget has teeth: resolving the 10−59 scale of the c = 100 negative block by brute archimedean cutoff would require T of order 1063. A cutoff-free interval LDLT factorization resolves it directly, which is exactly the certificate used in Paper 1's correction record.

Verified against the zeros themselves The dictionary is checked over the first 512 nontrivial zeros of ζ and by three independent computational routes; all scripts and artifacts ship with the paper.
Why it matters for Paper 1 The tail-order theorem is motivated by, and retroactively explains, the c = 100 negative-sign artifact that Paper 1 corrected: those negatives are controlled by the omitted tail, not by the cutoff-free form.

Stated scope. The paper makes no claim regarding the Riemann Hypothesis, Weil positivity, or a prime-location bound. Its theorems are exact and finite-dimensional.

BibTeX
@article{groskin2026dictionary, author = {Groskin, Akiva}, title = {A finite Guinand--Weil dictionary and archimedean tail order for the truncated Weil quadratic form}, year = {2026}, eprint = {2607.02828}, archivePrefix = {arXiv}, primaryClass = {math.NT}, doi = {10.5281/zenodo.21124802} }

Where the primes live inside the matrix

Fix the resolution N and let the prime cutoff vary: the finite matrices trace a path. This paper studies the singular part of that path's second derivative and finds, sitting inside it, an exact finite copy of the prime side of the classical explicit formula.

In plain terms

Where are the primes inside this matrix? Not smeared across the spectrum: at exact addresses along the path. As the cutoff slides upward and crosses a prime power q, the matrix's rate of change jumps, the way a hiking trail's altitude profile kinks where the grade changes: the altitude itself never jumps, but its slope does, all at once. And the size of that kink is not approximately related to q. It carries exactly the classical von Mangoldt weight of q (a standard number-theory score that essentially records the prime's logarithm), up to one universal normalization shared by every prime power, in every one of the matrix's entries at once. Each prime arrives as a sharp, indivisible event with a universal shape, and the paper works out the exact finite geometry of those events.

The defining identity

The first-derivative jump of the matrix path u ↦ QN(u), u = log c, at a prime-power threshold u = log q:

Q′N(log q + 0) − Q′N(log q − 0)  =  − (2 Λ(q) / (√q · log q)) · 1N1NT Λ is the von Mangoldt function; 1N1NT is the all-ones rank-one matrix. The jump carries exactly the weight Λ(q), with the universal normalization 2/(√q log q), in every entry.

This defines a negative semidefinite, rank-one matrix-valued von Mangoldt measure: a finite, cutoff-free realization of the prime side of the Weil–Guinand explicit formula on the operator path itself. The identity relating the prime side to the zeros is classical and is not reproved; the contribution is the isolation and naming of the finite matrix-valued measure and the exact finite geometry established around it.

Arithmetic rigidity The entire singular jet at an edge is a universal matrix scaled by the von Mangoldt weight Λ(q) alone (times a universal normalization): it carries exactly the arithmetic weight and nothing more.
A lossless finite dictionary The source-to-jet map is lossless on the squared-integer nodes {0, 1², …, N²}, with an explicit confluent-Vandermonde determinant and a sharp 2N + 1 window.
A prime-edge uncertainty principle A sharp finite vanishing-moment bound limits the order at which a band-limited normal can be blind to an entering prime; the centered finite-difference stencil is the unique extremizer.
Spectral interlacing Each prime event is a rank-one negative-semidefinite deflation of the spectral velocity, interlacing the velocity spectrum.

Stated scope. The results are structural: the paper proves no positivity, no Riemann Hypothesis, and no prime-counting, next-prime, or factoring statement. The event algebra transfers to Selberg-class L-functions once a finite path with the same event structure is prescribed.

BibTeX
@misc{groskin2026vonmangoldt, author = {Groskin, Akiva}, title = {A matrix-valued von Mangoldt measure in the finite Connes--van Suijlekom path}, year = {2026}, publisher = {Zenodo}, doi = {10.5281/zenodo.21242028} }

Checked by others, corrected in public

In open research, being checkable matters more than being right the first time. Everything here is built to be re-run by strangers, and it has been.

Seven independent verification records Credited by name in the repository README: among them, an independent from-scratch reimplementation reproducing the c = 13 and c = 100 spectra to roughly 330 digits (B. Martin), a published Zenodo reproduction (R. Andrews), and printed-digit checks plus odd-sector probes raised through the issue tracker (M. Osman).
A public correction record Five dated corrections are recorded in the public ERRATA, none of which changes a measured value. The June 2026 correction, prompted by a question from Alain Connes with the mechanism independently identified by B. W. A. Silva, is explained by Paper 2's tail theorem.
A cutoff-free certificate The even sector's non-negativity at c = 100 for N = 100, 150, and 200 is certified by an interval-arithmetic LDLT factorization of the cutoff-free matrix: rigorous outward-rounded arithmetic, not floating-point trust. (The odd sector carries no such certificate to date; see the Paper 1 caveats.)
An engineered public package connes-cvs 0.3.1 on PyPI: MIT-licensed, one hard dependency, Python ≥ 3.10, a 95-function test suite gated by a c = 13 regression benchmark, CI across operating systems and Python versions. Version 0.2.2 stays frozen and installable as the papers' bit-identity reference.

Try it: pip install connes-cvs, clone the repository for the public data/, and reproduce the headline extrapolation with the bundled script, in under a second.

From the first line of code to a three-paper series

Every major computation was pre-registered before running, reviewed afterward, and recorded. Failures included.

How the work is done

A famous open problem invites wishful thinking. This project runs on a discipline designed to prevent it.

Pre-registration Major computations are registered with explicit pass/fail criteria before they run. No moving the goalposts after seeing the numbers.
Adversarial review Every result is put through internal adversarial review that actively tries to break it, and is confirmed by multiple independent computational routes before it stands.
No claim of proof The phrase "proves the Riemann Hypothesis" is off-limits. We report numerical evidence and finite theorems, and state precisely what they do and do not show.
Self-correction in public Errors found after publication are corrected in dated public ERRATA entries, with credit to whoever surfaced them. No measured value has changed to date.
Open & reproducible Every number has runnable code and structured data behind it, all of it open-source on GitHub.

In dialogue with the field

The work drew substantive correspondence through 2026, most extensively with Professor Alain Connes, whose program it builds on. That exchange confirmed a basis convention used throughout, clarified the qualitative motivation behind one of the constructions, and produced formulation comments that improved the manuscript. A number of other researchers across noncommutative geometry, spectral theory, and analytic number theory engaged with the work as well.

Through the summer of 2026 the project's public repository became a working surface of its own. Independent researchers reproduced the central spectra from scratch, in one case to more than 300 matching digits; probed the odd sector; and surfaced documentation defects through the public issue tracker. Every issue was answered and closed, each contribution is credited by name in the README, and the corrections are recorded in the public ERRATA.

The mathematical foundation is entirely due to Connes, van Suijlekom, Consani, and Moscovici; the papers' acknowledgments record individual contributions in full.

An independent research project

The Riemann Project is an independent research effort by Click Fate Media: an open, reproducible study of one specific, recently proposed route to the Riemann Hypothesis, carried out at extreme numerical precision and published in full as a three-paper series.

It follows a strict discipline: pre-registration, adversarial review, verification from multiple directions, open reporting of failures, and fully public code and data.

Modern AI tools were used as assistants for drafting implementation code and exposition, to specifications written by the researcher. Every mathematical claim was conceived, directed, and verified by the researcher, who takes full responsibility for the work; the papers each carry their own formal statement on the use of AI tools.

At a glance

  • AuthorAkiva Groskin
  • FrameworkCvS / CCM
  • Precision150–1000 digits
  • StackPython · mpmath · flint
  • Cutoffsc = 13…67, 100
  • Packageconnes-cvs 0.3.1
  • Papers3 · two on arXiv
  • StatusOpen preprints · maintained

Read the papers & run the code

Three papers are published, the package is maintained, and everything is open-source and reproducible.