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

617 of 1194 statement records

17 source collections · 43 mathematical fields

Clear filters
Source labels openErdős Problems · Number theory

Erdős Problem 12: Iii

Let AA be an infinite set such that there are no distinct a,b,cAa,b,c \in A such that a(b+c)a \mid (b+c) and b,c>ab,c > a. Is it true that nA1n<∑_{n \in A} \frac{1}{n} < \infty?

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

Erdős Problem 1201

Is it true that for every ϵ,η>0\epsilon,\eta>0 there exists a kk such that the density of nn for which P(n(n+1)(n+k))>n1ϵP(n(n+1)\cdots(n+k))>n^{1-\epsilon} is at least 1η1-\eta (where P(m)P(m) is the greatest prime divisor of mm)?

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

Erdős Problem 1203

Prove that F(n)F(n)\to \infty as nn\to \infty.

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

Erdős Problem 1209: B

Are there nn such that n+22kn+2^{2^k} is always squarefree?

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

Erdős Problem 1209: C

Are there nn such that n+22kn+2^{2^k} is infinitely often a prime?

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

Erdős Problem 1209: D

Are there nn such that n+22kn+2^{2^k} is infinitely often squarefree?

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

Erdős Problem 1210

Let A[1,n)A\subseteq [1,n) be a set of integers such that (a,b)=1(a,b)=1 for all distinct a,bAa,b\in A. Is it true that aA1nap<n1p+O(1)\sum_{a\in A}\frac{1}{n-a}\leq \sum_{p < n}\frac{1}{p}+O(1)?

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

Erdős Problem 1210: Er80 Correction

In [Er80] he claims he "did not state this quite correctly" in [Er77c]. The problem in [Er77c] which Erdős is presumably referring to states that if n<q1<<qkmn < q_1 < \cdots < q_k\leq m is the set of primes in (n,m](n,m] then 1qin<p<mn1p+O(1)\sum \frac{1}{q_i-n} < \sum_{p < m-n}\frac{1}{p}+O(1).

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

Erdős Problem 1212

Let GG be the graph with vertex set those pairs (x,y)N2(x,y)\in \mathbb{N}^2 with gcd(x,y)=1\mathrm{gcd}(x,y)=1, in which we join two vertices if the differ in only one coordinate, and there by ±1\pm 1.

Is there a path going to infinity on GG, say PP, such that for all (x,y)P(x,y)\in P both min(x,y)>1\min(x,y)>1 and at least one of xx or yy is composite?

The weaker version (only min(x,y)>1\min(x,y) > 1) was solved by C. Stewart via the prime-pair path (pk,pk+1)(pk+1,pk+2)(p_k, p_{k+1}) \to (p_{k+1}, p_{k+2}), as recounted in [Er80]; the compositeness condition forbids those anchors and the question is open.

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

Erdős Problem 123: Powers 2 3 5 Snug

In [Er92b] Erdős makes the stronger conjecture (for a=2a=2, b=3b=3, and c=5c=5) that, for any ϵ>0\epsilon>0, all large integers nn can be written as the sum of distinct integers b1<<btb_1<\cdots <b_t of the form 2k3l5m2^k3^l5^m where bt<(1+ϵ)b1b_t<(1+\epsilon)b_1.

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

Erdős Problem 124: Ne Zero

Let k0k \ne 0 and 3d1<d2<<dr3\leq d_1 < d_2 < \cdots < d_r be integers of gcd equal to 11 such that 1ir1di11.\sum_{1 \le i \le r}\frac 1{d_i - 1} \ge 1. Can all sufficiently large integers be written as a sum of the shape iciai\sum_i c_ia_i where ci{0,1}c_i \in \{0, 1\} and aia_i is divisible by dikd_i ^ k and has only the digits 0,10, 1 when written in base did_i?

Conjectured by Burr, Erdős, Graham, and Li [BEGL96]

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

Erdős Problem 125: Positive Upper Density

Literature question: Does A+BA + B have positive upper density?

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

Erdős Problem 125: Zero Density

Case 1: Does A+BA + B have zero upper and lower density?

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

Erdős Problem 126

Let f(n)f(n) be maximal such that if ANA\subseteq\mathbb{N} has A=n|A| = n then abA(a+b)\prod_{a\neq b\in A}(a + b) has at least f(n)f(n) distinct prime factors. Is it true that f(n)logn\frac{f(n)}{\log n} \to\infty?

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

Erdős Problem 126: Is Little O

Erdős says that f(n)=o(nlogn)f(n) = o(\frac{n}{\log n}) has never been proved.

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

Erdős Problem 137

Let k3k\geq 3. Can the product of any kk consecutive integers NN ever be powerful? That is, must there always exist a prime pNp\mid N such that p2Np^2\nmid N?

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

Erdős Problem 137: Multiple Powerful Factors

Erdős [Er82c] conjectures that, if kk is fixed, then for all nn sufficiently large and all positive integers mm, there must be at least kk distinct primes pp such that pm(m+1)(m+n)p\mid m(m+1)\cdots (m+n) and yet p2p^2 does not divide the right hand side.

[Er82c] Erdős, Paul, "Miscellaneous problems in number theory". Congr. Numer. (1982), 25-45.,

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

Erdős Problem 138

In [Er80] Erdős asks whether limk(W(k))1/k=\lim_{k \to \infty} (W(k))^{1/k} = \infty

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

Erdős Problem 138: Quotient

In [Er81] Erdős asks whether W(k+1)W(k)\frac{W(k+1)}{W(k)} \to \infty.

Source checked Jul 26, 20261 pinned Lean statementInspect problem