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

617 of 1194 statement records

17 source collections · 43 mathematical fields

Clear filters
Source labels openErdős Problems · Number theory

Erdős Problem 1095: Upper Conjecture

Ecklund, Erdős, and Selfridge [EES74] conjectured g(k)exp((1+o(1))k)g(k)\leq \exp((1+o(1))k).

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 1095: Lower Conjecture

Erdős, Lacampagne, and Selfridge [ELS93] write 'it is clear to every right-thinking person' that g(k)exp(cklogk)g(k)\geq\exp(c\frac{k}{\log k}) for some constant c>0c>0.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 1095: Log Equivalent

Sorenson, Sorenson, and Webster [SSWE20] give heuristic evidence that logg(k)klogk\log g(k) \asymp \frac{k}{\log k}.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 11

Is every odd n>1n > 1 the sum of a squarefree number and a power of 2?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 11: Not Four Dvd

Erdős often asked this under the weaker assumption that n>1n > 1 is not divisible by 4.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 11: Two Pow Two

Is every odd n>1n > 1 the sum of a squarefree number and two powers of 2?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 1101: I

  1. There is NO good sequence with polynomial growth.
Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 1101: Ii

  1. There is a good sequence with sub-exponential growth.
Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 1106: I

Let p(n)p(n) be the partition number of nn and F(n)F(n) be the number of distinct prime factors of i=1np(n)∏_{i= 1} ^ {n} p(n), then F(n)F(n) tends to infinity when nn tends to infinity.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 1106: Ii

Let p(n)p(n) be the partition number of nn and F(n)F(n) be the number of distinct prime factors of i=1np(n)∏_{i= 1} ^ {n} p(n), F(n)>nF(n)>n for sufficiently large nn.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 1107

Let r2r \ge 2. Is every large integer the sum of at most r+1r + 1 many rr-powerful numbers?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 1108: I

For each k2k \geq 2, does the set A={nSn!:SN finite}A = \left\{ \sum_{n\in S}n! : S\subset \mathbb{N}\text{ finite}\right\} of all finite sums of distinct factorials contain only finitely many kk-th powers?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 1108: Ii

Does the set A={nSn!:SN finite}A = \left\{ \sum_{n\in S}n! : S\subset \mathbb{N}\text{ finite}\right\} of all finite sums of distinct factorials contain only finitely many powerful numbers?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 1113

Erdős Problem 1113.* Do there exist Sierpiński numbers that possess no finite covering set of primes?

Erdős and Graham [ErGr80] conjectured that the answer is yes. A negative answer would imply that there are infinitely many Fermat primes.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 1113: Filaseta Finch Kozek

Filaseta–Finch–Kozek conjecture (2008).* Every Sierpiński number is either a perfect power or possesses a finite covering set of primes.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 1135

The Collatz conjecture states that for any positive integer nn, there exists a natural number mm such that the mm-th term of the sequence is 1.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 1137

Let dn=pn+1pnd_n=p_{n+1}-p_n, where pnp_n denotes the nnth prime. Is it true that maxn<xdndn1(maxn<xdn)20\frac{\max_{n < x}d_{n}d_{n-1}}{(\max_{n < x}d_n)^2}\to 0 as xx\to \infty?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 1139

Let 1u1<u2<1\leq u_1 < u_2 < \cdots be the sequence of integers with at most 22 prime factors. Is it true that lim supkuk+1uklogk=?\limsup_{k \to \infty} \frac{u_{k+1}-u_k}{\log k}=\infty?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 1142

Are there infinitely many n>2n > 2 such that n2kn - 2^k is prime for all k1k \geq 1 with 2k<n2^k < n?

The only known such nn are 4,7,15,21,45,75,1054, 7, 15, 21, 45, 75, 105 (OEIS A039669).

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 1146

Is B={2m3n:m,n0}B=\{2^m3^n : m,n\geq 0\} an essential component?

In [Ru99] Ruzsa states "The simplest set with a chance to be an essential component is the collection of numbers in the form 2m3n2^m3^n and Erdős often asked whether it is an essential component or not; I do not even have a plausible guess."

Source checked Jul 26, 20261 pinned Lean statementInspect problem