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

624 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 · Discrete dynamics

Collatz Conjecture

For every n>0n>0, repeatedly apply T(n)=n/2T(n)=n/2 when nn is even and T(n)=3n+1T(n)=3n+1 otherwise. Some iterate Tm(n)T^m(n) equals 11.

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 · Arithmetic geometry

Birch and Swinnerton-Dyer Conjecture

For an elliptic curve E/QE/\mathbb{Q}, rankE(Q)=ords=1L(E,s)\operatorname{rank}E(\mathbb{Q})=\operatorname{ord}_{s=1}L(E,s).

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
Open problemEditorial · Number theory

Odd Perfect Number Conjecture

Every perfect number nn, satisfying n=dn, d<ndn=\sum_{d\mid n,\ d<n}d, is even.

Source checked Jul 24, 20261 pinned Lean statementInspect problem
Open problemEditorial · Diophantine equations

Beal Conjecture

If positive integers satisfy Ax+By=CzA^x+B^y=C^z with x,y,z>2x,y,z>2, then AA, BB, and CC share a prime factor.

Source checked Jul 24, 20261 pinned Lean statementInspect problem
Open problemEditorial · Diophantine geometry

Perfect Cuboid Problem

Determine whether positive integers a,b,ca,b,c exist such that a2+b2a^2+b^2, a2+c2a^2+c^2, b2+c2b^2+c^2, and a2+b2+c2a^2+b^2+c^2 are all perfect squares.

Source checked Jul 24, 20261 pinned Lean statementInspect problem
Open problemEditorial · Diophantine approximation

Lonely Runner Conjecture

For nn runners with distinct constant speeds on a unit circle, each runner is at circular distance at least 1/n1/n from every other runner at some time.

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

Normality of π

The number π\pi is normal in base 1010, so every block of kk decimal digits has limiting frequency 10k10^{-k}.

Source checked Jul 24, 20261 pinned Lean statementInspect problem
Source labels openarXiv · Number theory

The Curling Number Conjecture

The sequence will eventually reach 11.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openarXiv · Number theory

Unique Crystal Components

If n=abn = ab is a crystal, then there are no other pairs of positive integers c,d>1c, d > 1, different from the couple a,ba, b, such that n=cdn = cd and B(c,d)NB(c, d) ∈ ℕ, i.e., the components of the crystals are unique.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openarXiv · Number theory

A conjecture by Margulis on matrix groups

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.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openBooks · Number theory

Bugeaud Collection of Conjectures and Open Questions: Fractional Parts of Powers

Problem 10.1. Are there a transcendental number α\alpha and a positive real number ξ\xi such that ξαn\lVert \xi \alpha^n \rVert tends to~00 as~nn tends to infinity? [Har19] (Trivial for α<1|\alpha| < 1)

Source checked Jul 26, 20261 pinned Lean statementInspect problem