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
Source labels openWikipedia · Number theory

Euler's sum of powers conjecture

Euler's sum of powers conjecture states that for integers n>1n > 1 and k>1k > 1, if the sum of nn positive integers each raised to the kk-th power equals another integer raised to the kk-th power, then nkn ≥ k.

The conjecture is known to be false for k=4k = 4 and k=5k = 5, but remains open for k6k ≥ 6.

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

Exponentials conjectures and theorems

The four exponential conjecture would imply that for any irrational number tt, at least one of the numbers 2t2^t and 3t3^t is transcendental.

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

Feit-Thompson conjecture on primes

There are no distinct primes pp and qq such that qp1q1\frac{q^p - 1}{q - 1} divides pq1p1\frac{p^q - 1}{p - 1}

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

Open questions about Fermat numbers

Are Fermat numbers composite for all n > 4?

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

Open questions about Fermat numbers

Are there infinitely many Fermat primes?

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

Open questions about Fermat numbers

Are there infinitely many composite Fermat numbers?

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

Open questions about Fermat numbers

Are all Fermat numbers are square-free?

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

Fermat-Catalan conjecture

The Fermat–Catalan conjecture states that the equation am+bn=cka^m + b^n = c^k has only finitely many solutions (a,b,c,m,n,k)(a,b,c,m,n,k) with distinct triplets of values (am,bn,ck)(a^m, b^n, c^k) where a,b,ca, b, c are positive coprime integers and m,n,km, n, k are positive integers satisfying 1m+1n+1k<1\frac 1 m + \frac 1 n + \frac 1 k < 1.

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

Fibonacci Primes

There are infinitely many Fibonacci primes, i.e., Fibonacci numbers that are prime It is also a barrier to defining a benchmark from this paper: https://arxiv.org/html/2505.13938v1 (see Figure 8).

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

Fibonacci Primes: Variant

There are infinitely many indices ii, such that the ii-th Fibonacci is prime.

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

Firoozbakht's conjecture

Firoozbakht's conjecture* The inequality pn+1n+1<pnn\sqrt[n+1]{p_{n+1}} < \sqrt[n]{p_n} holds for all prime numbers pnp_n.

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

Gauss circle problem

It is conjectured that the correct bound is

E(r)=O(r1/2+o(1)) |E(r)| = O\left(r^{1/2 + o(1)}\right)

[Ha59] Hardy, G. H. (1959). Ramanujan: Twelve Lectures on Subjects Suggested by His Life and Work(3rd ed.). New York: Chelsea Publishing Company. p. 67

See also https://arxiv.org/abs/2305.03549

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

Gilbreath's conjecture

Gilbreath's conjecture* Gilbreath's conjecture states that every term in the sequence d0kd^k_0 for k>0k > 0 is equal to 1.

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

Goldbach's conjecture

Can every even integer greater than 2 be written as the sum of two primes?

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

Grimm's conjecture

Grimm's Conjecture* If n,n+1,,n+k1n, n+1, \dots, n+k-1 are all composite numbers, then there are kk distinct primes pip_i such that pip_i divides n+in + i for all 0ik10 \le i \le k-1.

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

Grimm's conjecture

Grimm's Conjecture, weaker version* If n,n+1,,n+k1n, n+1, \dots, n+k-1 are all composite numbers, then their product has at least kk distinct prime divisors.

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

Hall's conjecture

Original Hall's conjecture with exponent 1/21/2.

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

Hall's conjecture

Weak form of Hall's conjecture: relax the exponent from 1/21/2 to 1/2ε1/2 - \varepsilon.

Source checked Jul 26, 20261 pinned Lean statementInspect problem