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.
1 topic

741 of 1194 statement records

17 source collections · 43 mathematical fields

Clear filters
Source labels openErdős Problems · Number theory

Erdős Problem 945

Is it true that F(x)(logx)O(1)F(x) \leq (\log x)^{O(1)}?

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

Erdős Problem 945: Constant

Is there a constant C>0C > 0 such that, for all large xx, every interval [x,x+(logx)C][x, x+(\log x)C] contains two integers with the same number of divisors?

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

Erdős Problem 950: I

Is it true that lim inff(n)=1\liminf f(n)=1?

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

Erdős Problem 950: Ii

Is it true that lim supf(n)=\limsup f(n)=\infty?

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

Erdős Problem 950: Iii

Is it true that f(n)=o(loglogn)f(n)=o(\log\log n) for all nn?

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

Erdős Problem 950: Weaker Pi

Erdős writes that a 'weaker conjecture which is perhaps not quite inaccessible' is that, for every ϵ>0\epsilon>0, if xx is sufficiently large there exists y<xy<x such that π(x)<π(y)+ϵπ(xy)\pi(x)< \pi(y)+\epsilon \pi(x-y). Compare this to [855].

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

Erdős Problem 950: Sum Primes

The study of f(p)f(p) is even harder, and Erdős could not prove that p<xf(p)2π(x)\sum_{p<x}f(p)^2\sim \pi(x).

Source checked Jul 26, 20261 pinned Lean statementInspect problem
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