Riemann Hypothesis
Every nontrivial zero of the Riemann zeta function satisfies .
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.
For every , repeatedly apply when is even and otherwise. Some iterate equals .
There are infinitely many primes for which is also prime.
For an elliptic curve , .
For every positive integer , there is a prime satisfying .
Every perfect number , satisfying , is even.
If positive integers satisfy with , then , , and share a prime factor.
Determine whether positive integers exist such that , , , and are all perfect squares.
For runners with distinct constant speeds on a unit circle, each runner is at circular distance at least from every other runner at some time.
The number is normal in base , so every block of decimal digits has limiting frequency .
The sequence will eventually reach .
If is a crystal, then there are no other pairs of positive integers , different from the couple , such that and , i.e., the components of the crystals are unique.
Conjecture 1.1*: For any odd prime , the sum associated with the classical theta function , is positive.
Conjecture 4.1*: For any prime larger than , .
Conjecture 4.2*: For any prime larger than , .
Conjecture 4.3*: For any prime larger than , .
Conjecture 4.4*: Given a natural number , for all large enough odd prime (depending on ), .
Let D be the diagonal group of SL_n(ℝ) where n ≥ 3.
Then any relatively compact D-orbit in SL_n(ℝ) / SL_n(ℤ) is closed.
Problem 10.1. Are there a transcendental number and a positive real number such that tends to~ as~ tends to infinity? [Har19] (Trivial for )