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 · Number theory

Erdős Problem 951

If 1 < a 0 < ... has property Erdos951Prop, is it true that #{a i ≤ x} ≤ π x?

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

Erdős Problem 952

Is there an infinite sequence of distinct Gaussian primes x1,x2,x_1,x_2,\ldots such that xn+1xn1\lvert x_{n+1}-x_n\rvert \ll 1?

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

Erdős Problem 961

It is conjectured that f(k)(logk)O(1)f(k) \ll (\log k)^O(1).

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

Erdős Problem 962

Main conjecture:

logk(n)(logn)(1/2+o(1))\log k(n) \le (\log n)^{(1/2 + o(1))}

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

Erdős Problem 968

Does the set {n | u n < u (n+1)} have positive natural density?

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

Erdős Problem 968: Infinite Increasing Triples

Erdős asked whether there are infinitely many solutions to uₙ < uₙ₊₁ < uₙ₊₂.

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

Erdős Problem 968: Infinite Decreasing Triples

Erdős asked whether there are infinitely many solutions to uₙ > uₙ₊₁ > uₙ₊₂.

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

Erdős Problem 971

Let p(a, d) be the least prime congruent to a (mod d). Does there exist a constant c > 0 such that for all large d, p(a, d) > (1 + c) * φ(d) * log d for ≫ φ(d) many values of a?

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

Erdős Problem 972

Erdős problem 972.* Let α>1\alpha > 1 be irrational. Are there infinitely many primes pp such that pα\lfloor p\alpha \rfloor is also prime?

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

Erdős Problem 973

Does there exist a constant C>1C>1 such that, for every n2n\geq 2, there exists a sequence ziCz_i\in \mathbb{C} with z1=1z_1=1 and zi1\lvert z_i\rvert \geq 1 for all 1in1\leq i\leq n with max2kn+11inzik<Cn\max_{2\leq k\leq n+1}\left\lvert \sum_{1\leq i\leq n}z_i^k\right\rvert < C^{-n}?

This is Problem 7.3 in [Ha74], where it is attributed to Erdős.

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

Erdős Problem 975

For an irreducible polynomial fZ[x]f \in \mathbb{Z}[x] with f(n)1f(n) \ge 1 for sufficiently large nn, does there exists a constant c=c(f)>0c = c(f) > 0 such that nxτ(f(n))cxlogx\sum_{n \le x} \tau(f(n)) \approx c \cdot x \log x?

Note that it is unclear whether the polynomial should have integer coefficients or merely be integer-valued. We assume the former.

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

Erdős Problem 978: Ii

If k>3k>3 (and k2lk \neq 2^l), and for all primes pp there exists nn such that pk2f(n)p^{k-2}\nmid f(n), then are there infinitely many nn for which f(n)f(n) is (k2)(k-2)-power-free?

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

Erdős Problem 978: Iii

Does n ^ 4 + 2 represent infinitely many squarefree numbers?

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

Erdős Problem 979

Let k2k ≥ 2, and let fk(n)f_k(n) count the number of solutions to n=p1k++pkkn = p_1^k + \dots + p_k^k, where the pip_i are prime numbers. Is it true that lim supfk(n)=\limsup f_k(n) = \infty?

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

Erdős Problem 985

Is it true that, for every prime pp, there is a prime qpq \leq p which is a primitive root modulo pp?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openGreen's Open Problems · Number theory

Ben Green's Open Problem 2

Let AZA \subset \mathbf{Z} be a set of nn integers. Is there a set SAS \subset A of size (logn)100(\log n)^{100} such that the restricted sumsetS+^SS \hat{+} S is disjoint from AA?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openGreen's Open Problems · Number theory

Ben Green's Open Problem 3

Suppose that A[0,1]A \subset [0,1] is open and has measure greater than 13\frac{1}{3}. Is there a solution to xy=zxy = z with x,y,zAx, y, z \in A?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openGreen's Open Problems · Number theory

Green's Open Problem 44

Sieve [N][N] by removing half the residue classes mod pip_i, for primes 2p1<p2<<p1000<N9/102 \leqslant p_1 < p_2 < \dots < p_{1000} < N^{9/10}. Does the remaining set have size at most 110N\frac{1}{10} N?

We interpret "half the residue classes" as pi/2\lfloor p_i / 2 \rfloor.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openGreen's Open Problems · Number theory

Ben Green's Open Problem 46: Improve Lower

We conjecture that the best-known lower bound can be improved.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openGreen's Open Problems · Number theory

Ben Green's Open Problem 46: Improve Upper

We conjecture that the best-known upper bound can be improved.

Source checked Jul 26, 20261 pinned Lean statementInspect problem