Open problemEditorial · Analytic number theory
Riemann Hypothesis
Every nontrivial zero of the Riemann zeta function satisfies .
Source checked Jul 24, 20262 pinned Lean statementsInspect problem
Questions, not proof records
Each statement record keeps the mathematical question, a dated status source, accessible references, and any pinned Lean formulation separate from proof verification.
sorry marks an admitted statement, not a proof. Source indexing does not mean the formulation has been independently built or certified by Therefore.Every nontrivial zero of the Riemann zeta function satisfies .
Every even integer can be written as with and prime.
There are infinitely many primes for which is also prime.
For every positive integer , there is a prime satisfying .