Questions, not proof records

Open-problem statements, with their sources attached.

Each statement record keeps the mathematical question, a dated status source, accessible references, and any pinned Lean formulation separate from proof verification.

“Open” is a dated source assertion. In these pinned sources, sorry marks an admitted statement, not a proof. Source indexing does not mean the formulation has been independently built or certified by Therefore.
1 topic

4 of 1194 statement records

17 source collections · 43 mathematical fields

Clear filters
Open problemEditorial · Analytic number theory

Riemann Hypothesis

Every nontrivial zero ρ\rho of the Riemann zeta function satisfies Re(ρ)=12\operatorname{Re}(\rho)=\tfrac12.

Source checked Jul 24, 20262 pinned Lean statementsInspect problem
Open problemEditorial · Additive number theory

Goldbach's Conjecture

Every even integer n>2n>2 can be written as n=p+qn=p+q with pp and qq prime.

Source checked Jul 24, 20261 pinned Lean statementInspect problem
Open problemEditorial · Number theory

Twin Prime Conjecture

There are infinitely many primes pp for which p+2p+2 is also prime.

Source checked Jul 24, 20261 pinned Lean statementInspect problem
Open problemEditorial · Number theory

Legendre's Conjecture

For every positive integer nn, there is a prime pp satisfying n2<p<(n+1)2n^2<p<(n+1)^2.

Source checked Jul 24, 20261 pinned Lean statementInspect problem