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 195

What is the largest kk such that in any permutation of Z\mathbb{Z} there must exist a monotone kk-term arithmetic progression x1<<xkx_1 < \cdots < x_k?

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

Erdős Problem 1065: Ii

Are there infinitely many primes pp such that p=2k3lq+1p = 2^k 3^l q + 1 for some prime qq and k0k ≥ 0, l0l ≥ 0?

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

Erdős Problem 196

Must every permutation of N\mathbb{N}, contain a monotone 4-term arithmetic progression?

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

Erdős Problem 1072: I

Is it true that there are infinitely many pp for which f(p)=p1f(p) = p − 1?

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

Erdős Problem 197

Can N\mathbb{N} be partitioned into two sets, each of which can be permuted to avoid monotone 3-term arithmetic progressions?

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

Erdős Problem 1072: Ii

Is it true that f(p)/p0f(p)/p \to 0 for pp \to \infty in a density 1 subset of the primes?

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

Erdős Problem 20

Is it true that f(n,k)<cknf(n,k) < c_k^n for some constant ck>0c_k>0 and for all n>0n > 0?

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

Erdős Problem 1072: Littleo

Erdős, Hardy, and Subbarao [HaSu02], believed that the number of pxp \le x for which f(p)=p1f(p)=p−1 is o(x/logx)o(x/\log x).

[HaSu02] Hardy, G. E. and Subbarao, M. V., A modified problem of Pillai and some related questions. Amer. Math. Monthly (2002), 554--559.

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

Erdős Problem 200

Does the longest arithmetic progression of primes in {1,,N}\{1,\ldots,N\} have length o(logN)o(\log N)?

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

Erdős Problem 1073

Is it true that A(x)xo(1)A(x) \le x^{o(1)}?

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

Erdős Problem 203

Is there an integer mm with (m,6)=1(m, 6) = 1 such that none of 2k3m+12^k \cdot 3^\ell \cdot m + 1 are prime, for any k,0k, \ell \ge 0?

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

Erdős Problem 1074: I

Let SS be the set of all m1m\geq 1 such that there exists a prime p≢1(modm)p\not\equiv 1\pmod{m} such that m!+10(modp)m! + 1 \equiv 0\pmod{p}. Does

limS[1,x]x \lim\frac{|S\cap[1, x]|}{x}

exist?

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

Erdős Problem 23

Can every triangle-free graph on 5n5n vertices be made bipartite by deleting at most n2n^2 edges?

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

Erdős Problem 1074: Ii

Let SS be the set of all m1m\geq 1 such that there exists a prime p≢1(modm)p\not\equiv 1\pmod{m} such that m!+10(modp)m! + 1 \equiv 0\pmod{p}. What is

limS[1,x]x? \lim\frac{|S\cap[1, x]|}{x}?
Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Combinatorics

Erdős Problem 236

Let f(n)f(n) count the number of solutions to n=p+2kn=p+2^k for prime pp and k0k\geq 0. Show that f(n)=o(logn)f(n)=o(\log n).

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

Erdős Problem 1074: Iii

Similarly, if PP is the set of all primes pp such that there exists an mm with p≢1(modm)p\not\equiv 1\pmod{m} such that m!+10(modp)m! + 1 \equiv 0\pmod{p}, then does

limP[1,x]π(x) \lim\frac{|P\cap[1, x]|}{\pi(x)}

exist?

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

Erdős Problem 241

Is it true that f(N)N1/3f(N)\sim N^{1/3}?

Originally asked to Erdős by Bose.

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

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

Erdős Problem 1074: Iv

Similarly, if PP is the set of all primes pp such that there exists an mm with p≢1(modm)p\not\equiv 1\pmod{m} such that m!+10(modp)m! + 1 \equiv 0\pmod{p}, then what is

limP[1,x]π(x)? \lim\frac{|P\cap[1, x]|}{\pi(x)}?
Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Combinatorics

Erdős Problem 241: Generalization

More generally, Bose and Chowla [BoCh62] conjectured that the maximum size of A{1,,N}A\subseteq \{1,\ldots,N\} with all rr-fold sums distinct (aside from the trivial coincidences) then AN1/r.\lvert A\rvert \sim N^{1/r}.

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

Erdős Problem 1074: EHSNumbers One Half

Regarding the first question, Hardy and Subbarao computed all EHS numbers up to 2102^{10}, and write "...if this trend conditions we expect [the limit] to be around 0.5, if it exists."

Source checked Jul 26, 20261 pinned Lean statementInspect problem