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

601 of 1194 statement records

17 source collections · 43 mathematical fields

Clear filters
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
Source labels openErdős Problems · Combinatorics

Erdős Problem 160: Better Upper

Estimate h(n)h(n) by finding a better upper bound.

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

Erdős Problem 1056: Noll Simmons

Noll and Simmons asked, more generally, whether there are solutions to q1!qk!modpq_1! \equiv \dots \equiv q_k! \mod p for arbitrarily large kk (with q1<<qkq_1 < \dots < q_k).

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

Erdős Problem 160: Better Lower

Estimate h(n)h(n) by finding a better lower bound.

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

Erdős Problem 1057

Is it true that C(x)=x1o(1)C(x)=x^{1-o(1)}?

This is discussed in problem A13 of Guy's collection [Gu04].

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

Erdős Problem 168: Ii

Is the limit F(N)/NF(N)/N as NN \to \infty irrational?

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

Erdős Problem 1057: Pomerance

Pomerance [Po89] gave a heuristic suggesting that this is the true order of growth, and in fact C(x)=xexp((1+o(1))logxlogloglogxloglogx)C(x)= x \exp\left(-(1+o(1))\frac{\log x\log\log\log x}{\log\log x}\right).

Source checked Jul 26, 20261 pinned Lean statementInspect problem