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.
All topics

234 of 1194 statement records

17 source collections · 43 mathematical fields

Clear filters
Source labels openWikipedia · Number theory

Lehmer's Mahler measure problem: Best

μ=M(X^10 + X^9 - X^7 - X^6 - X^5 - X^4 - X^3 + X + 1) is the best value for lehmer_mahler_measure_problem.

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

Lehmer's totient problem

Does there exist a composite number n>1n > 1 such that Euler’s totient function φ(n)\varphi(n) divides n1n - 1?

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

Lemoine's conjectures

For all odd integers n7n ≥ 7 there are prime numbers p,qp,q such that n=p+2qn = p+2q.

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

Lemoine's conjectures

For all odd integers n9n ≥ 9 there are odd prime numbers p,q,r,sp,q,r,s and natural numbers a,ba,b such that p+2q=np+2q = n, 2+pq=2a+r2+pq = 2^a+r, 2p+q=2b+s2p+q = 2^b+s

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

Littlewood conjectures

For any two real numbers α\alpha and β\beta,

lim infnnnαnβ=0 \liminf_{n\to\infty} n\||n\alpha\||\||n\beta\|| = 0

where x:=min(xx,xx)\||x\|| := \min(|x - \lfloor x \rfloor|, |x - \lceil x \rceil|) is the distance to the nearest integer.

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

Littlewood conjectures

For real number α\alpha and prime pp,

lim infnnnpnα=0 \liminf_{n \to\infty} n |n|_{p}\||n\alpha\|| = 0

where x:=min(xx,xx)\||x\|| := \min(|x - \lfloor x \rfloor|, |x - \lceil x \rceil|) is the distance to the nearest integer, and xp|x|_{p} is the pp-adic norm.

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

Lonely runner conjecture

Consider nn runners on a circular track of unit length. At the initial time t=0t = 0, all runners are at the same position and start to run; the runners' speeds are constant, all distinct, and may be negative. A runner is said to be lonely at time tt if they are at a distance (measured along the circle) of at least 1n\frac 1 n from every other runner. The lonely runner conjecture states that each runner is lonely at some time, no matter the choice of speeds.

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

Lychrel numbers in base 10

Lychrel conjecture (base 10):* conjecturally, there are no Lychrel numbers in base 10.

Equivalently, every positive integer eventually becomes a palindrome under the Lychrel iteration.

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

Lychrel numbers in base 10

The first widely studied open case: whether 196 is a base-10 Lychrel number.

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

Magic Squares

Does there exist a 3×33 \times 3 matrix such that every entry is a distinct square, and all rows, columns, and diagonals add up to the same value?

0 is excluded, as a Magic Square of Squares with 0 and 8 distinct squares is know is knownn. See Magic Square of Squares

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

Mahler's 3/2 Problem

The Mahler Conjecture states that there are no non-zero Z-numbers.

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

Conjectures about Mersenne primes

For any odd natural number p if two of the following conditions hold, then all three must hold:

  1. 2p12^p-1 is prime
  2. (2p+1)/3(2^p+1)/3 is prime
  3. Exists a number k such that p=2kpm1p = 2^k \\pm 1 or p=4kpm3p = 4^k \\pm 3
Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openWikipedia · Number theory

Conjectures about Mersenne primes

The New Mersenne Conjecture statement holds for odd primes.

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

Conjectures about Mersenne primes

Are there infinitely many Mersenne primes?

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

Conjectures about Mersenne primes

The first five Catalan-Mersenne numbers c0,,c4c_0, \ldots, c_4 are known to be prime. Catalan conjectured that they are prime "up to a certain limit". Are all Catalan-Mersenne numbers cnc_n with n5n \geq 5 prime?

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

Oppermann's Conjecture: I

For every integer x2x \ge 2 there exists a prime between x(x1)x(x-1) and x2x^2.

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

Oppermann's Conjecture: Ii

For every integer x2x \ge 2 there exists a prime between x2x^2 and x(x+1)x(x+1).

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

Oppermann's Conjecture

Oppermann's Conjecture*: For every integer x2x \ge 2, the following hold:

  • There exists a prime between x(x1)x(x-1) and x2x^2.
  • There exists a prime between x2x^2 and x(x+1)x(x+1).
Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openWikipedia · Number theory

Infinitude of Pell number primes

There are infinitely many prime Pell numbers

Source checked Jul 26, 20261 pinned Lean statementInspect problem