Skip to content

Erdős Problems

1,217 source-owned questions · 604 with a formal statement · searchable by statement, number, topic and source status.

Add a contributionCollection details
Collection coverage

Collection coverage

Source status, exact formal material, and reviewed Results are separate signals.

  • Open per source608
  • Resolved per source556
  • Other source status53
Exact formal statement available604 / 1,217
With Repository-reviewed evidence2 / 1,217
More filters

Coverage is source-observation coverage, not Problem completeness. Inspect coverage

Active scope:Area · MathematicsClear filters

Problems

1,217 Problems · 2 with reviewed evidence

15/26

NumberQuestionOpen
#673No statement retained — open to read what the source holdsprovedNo formal declaration
#674Are there any integer solutions to xxyy=zzx^xy^y=z^z with x,y,z>1x,y,z>1?proved (Lean)Formalized
#675No statement retained — open to read what the source holdsopenNo formal declaration
#676No statement retained — open to read what the source holdsopenNo formal declaration
#677Denote by M(n,k)M(n, k) the least common multiple of the finite set {n+1,…,n+k}\{n+1, \dotsc, n+k\}. Is it true that for all m≥n+km \geq n + k, we get M(m,k)≠M(n,k)M(m, k) \neq M(n, k)?openFormalized
#678Write M(n,k)M(n, k) be the least common multiple of {n+1,…,n+k}\{n+1, \dotsc, n+k\}. Let kk be sufficiently large. Are there infinitely many m,nm, n with m≥n+km \geq n + k such that M(n,k)>M(m,k+1) M(n, k) > M(m, k + 1) ? The answer is yes, as proved in a strong form by Cambie [Ca24]. [Ca24] S. Cambie, Resolution of an Erdős' problem on least common multiples. arXiv:2410.09138 (2024).proved (Lean)Formalized
#679No statement retained — open to read what the source holdsopenNo formal declaration
#680Is it true that, for all sufficiently large nn, there exists some kk such that p(n+k)>k2+1, p(n+k)>k^2+1, where p(m)p(m) denotes the least prime factor of mm?openFormalized
#681Erdős problem 681. Is it true that for all large nn there exists kk such that n+kn + k is composite and p(n+k)>k2p(n+k) > k^2, where p(m)p(m) is the least prime factor of mm ?openFormalized
#682No statement retained — open to read what the source holdsprovedNo formal declaration
#683There exists c>0c > 0 such that P(n,k)>min⁡{n−k+1,k1+c}P(n, k) > \min\{n-k+1, k^{1 + c}\} for all 0<k<n0 < k < n.}openFormalized
#684No statement retained — open to read what the source holdsopenNo formal declaration
#685No statement retained — open to read what the source holdsopenNo formal declaration
#686Can every integer N≥2N≥2 be written as N=∏1≤i≤k(m+i)∏1≤i≤k(n+i)N=\frac{\prod_{1\leq i\leq k}(m+i)}{\prod_{1\leq i\leq k}(n+i)} for some k≥2k≥2 and m≥n+km≥n+k?openFormalized
#687No statement retained — open to read what the source holdsopenNo formal declaration
#688In particular, is it true that ϵn=o(1)\epsilon_n = o(1)?openFormalized
#689Let n be sufficiently large. Is there some choice of congruence class a_p for all primes 2 ≤ p ≤ n such that every integer in [1,n] satisfies at least two of the congruences ≡ a_p (mod p)?openFormalized
#690No statement retained — open to read what the source holdssolvedNo formal declaration
#691No statement retained — open to read what the source holdsopenNo formal declaration
#692Let δ1(n,m)\delta_1(n,m) be the density of the set of integers with exactly one divisor in (n,m)(n,m). Is δ1(n,m)\delta_1(n,m) unimodular for m>n+1m>n+1 (i.e. increases until some mm then decreases thereafter)?disproved (Lean)Formalized
#693No statement retained — open to read what the source holdsopenNo formal declaration
#694Let f_\max(n) be the largest mm such that ϕ(m)=n\phi(m) = n, and f_\min(n) be the smallest such mm, where ϕ\phi is Euler's totient function. Investigate \max_{n\leq x}\frac{f_\max(n)}{f_\min(n)}. solved (Lean)Formalized
#695Let q1<q2<⋯q_1 < q_2 < \cdots be a sequence of primes such that qi+1≡1(modqi)q_{i + 1} \equiv 1 \pmod{q_i}. Is it true that lim⁡k→∞qk1/k=∞? \lim_{k \to \infty} q_k^{1/k} = \infty? openFormalized
#696No statement retained — open to read what the source holdssolved (Lean)No formal declaration
#697For each mm and α\alpha, the density of the set of integers which are divisible by some d≡1(modm)d \equiv 1 \pmod{m} with 1<d<exp⁡(mα)1 < d < \exp (m ^ \alpha) exists.provedFormalized
#698Is there some h(n)→∞h(n)\to \infty such that for all 2≤i<j≤n/22\leq i<j\leq n/2 gcd((ni),(nj))≥h(n)?\textrm{gcd}\left( \binom{n}{i},\binom{n}{j}\right) \geq h(n)?proved (Lean)Formalized
#699Erdős Problem 699. Is it true that for every 1≤i<j≤n/21 \le i < j \le n / 2 there exists a prime p≥ip \ge i with p∣gcd⁡((ni),(nj))p \mid \gcd\big(\binom{n}{i}, \binom{n}{j}\big)?falsifiableFormalized
#700f n unfolds to the infimum of fSet n.openFormalized
#701Let F\mathcal{F} be a family of sets closed under taking subsets (i.e. if B⊆A∈FB\subseteq A\in\mathcal{F} then B∈FB\in \mathcal{F}). There exists some element xx such that whenever F′⊆F\mathcal{F}'\subseteq \mathcal{F} is an intersecting subfamily we have ∣F′∣≤∣{A∈F:x∈A}∣.\lvert \mathcal{F}'\rvert \leq \lvert \{ A\in \mathcal{F} : x\in A\}\rvert.openFormalized
#702No statement retained — open to read what the source holdsprovedNo formal declaration
#703No statement retained — open to read what the source holdsprovedNo formal declaration
#704No statement retained — open to read what the source holdsopenNo formal declaration
#705Let GG be a finite unit distance graph in \mamthbbR2\mamthbb{R}^2. Is there some kk such that if GG has girth ≥k≥ k, then χ(G)≤3\chi(G) ≤ 3?disprovedFormalized
#706No statement retained — open to read what the source holdsopenNo formal declaration
#707Erdős Problem 707: It is false that any finite Sidon set can be embedded in a perfect different set modulo some nn.disproved (Lean)Formalized
#708No statement retained — open to read what the source holdsopenNo formal declaration
#709No statement retained — open to read what the source holdsopenNo formal declaration
#710No statement retained — open to read what the source holdsopenNo formal declaration
#711No statement retained — open to read what the source holdsopenNo formal declaration
#712No statement retained — open to read what the source holdsopenNo formal declaration
#713No statement retained — open to read what the source holdsopenNo formal declaration
#714No statement retained — open to read what the source holdsopenNo formal declaration
#715No statement retained — open to read what the source holdsprovedNo formal declaration
#716No statement retained — open to read what the source holdsproved (Lean)No formal declaration
#717No statement retained — open to read what the source holdsprovedNo formal declaration
#718No statement retained — open to read what the source holdsprovedNo formal declaration
#719No statement retained — open to read what the source holdsopenNo formal declaration
#720No statement retained — open to read what the source holdsprovedNo formal declaration

Search problems.science

Find a Problem, Result, source, or page