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

Erdős Problem 272

Let N1N\geq 1. What is the largest tt such that there are A1,,At{1,,N}A_1,\ldots,A_t\subseteq \{1,\ldots,N\} with AiAjA_i\cap A_j a non-empty arithmetic progression for all iji\neq j?

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

Erdős Problem 1094

For all n2kn\ge 2k the least prime factor of (nk)\binom{n}{k} is max(n/k,k)\le\max(n/k,k), with only finitely many exceptions.

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

Erdős Problem 272: Szabo Strong

Szabo asks whether the maximal tt is given by

N22+O(N) \frac{N^2}{2} + O(N)
Source checked Jul 26, 20261 pinned Lean statementInspect problem
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 · Combinatorics

Erdős Problem 273

Is there a covering system all of whose moduli are of the form p1p-1 for some primes p5p \geq 5?

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