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

1194 of 1194 statement records

17 source collections · 43 mathematical fields

Source labels openErdős Problems · Combinatorics

Erdős Problem 128

Let G be a graph with n vertices such that every induced subgraph on ≥ n/2n/2 vertices has more than n2/50n^2/50 edges. Must G contain a triangle?

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

Erdős Problem 1004

For any fixed c > 0, if x is sufficiently large then there exists n ≤ x such that the values of φ(n+k) are all distinct for 1 ≤ k ≤ (log x)^c. This is an open problem.

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

Erdős Problem 13: General

A general version asks, for a fixed rNr \in \mathbb{N}, if a set A{1,...,N}A \subseteq \{1, ..., N\} has no aAa \in A and b1,...,brAb_1, ..., b_r \in A such that a(b1+...+br)a | (b_1 + ... + b_r) and a<min(b1,...,br)a < \min(b_1, ..., b_r), then is it true that AN/(r+1)+O(1)|A| \le N/(r+1) + O(1)?

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

Erdős Problem 1049

Let t>1t>1 be a rational number. Is n=11tn1=n=1τ(n)tn\sum_{n=1}^\infty\frac{1}{t^n-1}=\sum_{n=1}^\infty \frac{\tau(n)}{t^n} irrational, where τ(n)\tau(n) counts the divisors of nn?

A conjecture of Chowla.

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

Erdős Problem 141

Let k3k≥3. Are there kk consecutive primes in arithmetic progression?

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

Erdős Problem 1052

Are there only finitely many unitary perfect numbers?

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

Erdős Problem 141: Eleven

Are there 1111 consecutive primes in arithmetic progression?

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

Erdős Problem 1054: I

Let f(n)f(n) be the minimal integer mm such that nn is the sum of the kk smallest divisors of mm for some k1k\geq 1. Is it true that f(n)=o(n)f(n)=o(n)?

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

Erdős Problem 141: Infinite Three

It is open, even for k=3k=3, whether there are infinitely many such progressions.

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

Erdős Problem 1054: Ii

Let f(n)f(n) be the minimal integer mm such that nn is the sum of the kk smallest divisors of mm for some k1k\geq 1. Is it true that f(n)=o(n)f(n)=o(n) for almost all nn?

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

Erdős Problem 141: Infinite General Case

Fix a k3k \geq 3. Is it true that there are infinitely many arithmetic prime progressions of length kk?

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

Erdős Problem 1054: Iii

Let f(n)f(n) be the minimal integer mm such that nn is the sum of the kk smallest divisors of mm for some k1k\geq 1. Is it true that lim supf(n)/n=\limsup f(n)/n=\infty?

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

Erdős Problem 153

Let AA be a finite Sidon set and A+A={s1<<st}A+A=\{s_1<\cdots<s_t\}. Is it true that 1t1i<t(si+1si)2\frac{1}{t}\sum_{1\leq i<t}(s_{i+1}-s_i)^2 \to \infty as A\lvert A\rvert\to \infty?

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

Erdős Problem 1055

A prime pp is in class 11 if the only prime divisors of p+1p+1 are 22 or 33. In general, a prime pp is in class rr if every prime factor of p+1p+1 is in some class r1\leq r-1, with equality for at least one prime factor. Are there infinitely many primes in each class?

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

Erdős Problem 155

Is it true that for every k1k \geq 1 we have

F(N+k)F(N)+1F(N + k) \leq F(N) + 1

for all sufficiently large NN?

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

Erdős Problem 1055: Erdos Limit

A prime pp is in class 11 if the only prime divisors of p+1p+1 are 22 or 33. In general, a prime pp is in class rr if every prime factor of p+1p+1 is in some class r1\leq r-1, with equality for at least one prime factor. If prp_r is the least prime in class rr, then how does pr1/rp_r^{1/r} behave? Erdos conjectured that this tends to infinity.

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

Erdős Problem 156

Does there exist a maximal Sidon set A{1,,N}A\subset \{1,\ldots,N\} of size O(N1/3)O(N^{1/3})?

A question of Erdős, Sárközy, and Sós [ESS94].

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

Erdős Problem 1055: Selfridge Limit

A prime pp is in class 11 if the only prime divisors of p+1p+1 are 22 or 33. In general, a prime pp is in class rr if every prime factor of p+1p+1 is in some class r1\leq r-1, with equality for at least one prime factor. If prp_r is the least prime in class rr, then how does pr1/rp_r^{1/r} behave? Selfridge conjectured that this is bounded.

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

Erdős Problem 158

Let A be an infinite B₂[2] set. Must liminf |A ∩ {1, ..., N}| * N ^ (- 1 / 2) = 0?

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

Erdős Problem 1056

Let k2k ≥ 2. Does there exist a prime pp and consecutive intervals I0,,IkI_0,\dots,I_k such that nIin1modn\prod\limits_{n{\in}I_i}n \equiv 1 \mod n for all 1ik1 \le i \le k?

Source checked Jul 26, 20261 pinned Lean statementInspect problem