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

741 of 1194 statement records

17 source collections · 43 mathematical fields

Clear filters
Source labels openErdős Problems · Combinatorics

Erdős Problem 307: Coprime One Not Mem

There are no examples known of the weakened coprime version if we insist that 1∉PQ1\not\in P\cup Q.

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 · Combinatorics

Erdős Problem 312

Does there exist a constant c > 0 such that, for any K > 1, whenever A is a sufficiently large finite multiset of integers with nA1/n>K\sum_{n \in A} 1/n > K there exists some SAS \subseteq A such that 1exp((cK))<nS1/n11 - \exp(-(c*K)) < \sum_{n \in S} 1/n \le 1?

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 · Combinatorics

Erdős Problem 326

Let ANA \subset \mathbb{N} be an additive basis of order 2.

Must there exist B={b1<b2<}AB = \{b_1 < b_2 < \dots\} \subseteq A which is also a basis such that limkbkk2\lim_{k\to\infty} \frac{b_k}{k^2} does not exist?

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 · Combinatorics

Erdős Problem 329

Erdős Problem 329.* Let A ⊆ ℕ be a Sidon set. How large can lim sup_{N → ∞} |A ∩ {1,…,N}| / N^{1/2} be?

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 · Combinatorics

Erdős Problem 329: Converse Implication

The converse: if the maximum density is 1, then any finite Sidon set can be embedded in a perfect difference set modulo n>0n > 0.

Since the consequent is false (due to the counterexamples in [Ha47] and [AlMi25]), this implication is logically equivalent to the statement that the maximum upper density of Sidon sets is NOT 1. Because the maximum upper density problem is still open, the truth value of this implication is also an open research problem.

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 · Combinatorics

Erdős Problem 330

Does there exist a minimal basis ANA \subset \mathbb{N} with positive density such that, for any nAn \in A, the (upper) density of integers which cannot be represented without using nn is positive?

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
Source labels openErdős Problems · Number theory

Erdős Problem 12: Iii

Let AA be an infinite set such that there are no distinct a,b,cAa,b,c \in A such that a(b+c)a \mid (b+c) and b,c>ab,c > a. Is it true that nA1n<∑_{n \in A} \frac{1}{n} < \infty?

Source checked Jul 26, 20261 pinned Lean statementInspect problem