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 936: Factorial Sub One

Is n!1n! - 1 powerful for finitely many nn?

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

Erdős Problem 938

Let A={n1<n2<}A=\{n_1 < n_2 < \cdots\} be the sequence of powerful numbers (if pnp\mid n then p2np^2\mid n). Are there only finitely many three-term progressions of consecutive terms nk,nk+1,nk+2n_k,n_{k+1},n_{k+2}?

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

Erdős Problem 939

If r4r≥4 then can the sum of r2r-2 coprime rr-powerful numbers ever be itself rr-powerful?

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

Erdős Problem 939: Infinite

If r4r≥4 are there infinitely many sums of r2r-2 coprime rr-powerful numbers that are themselves rr-powerful?

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

Erdős Problem 939: Triples

Are there infinitely many triples of coprime 33-powerful numbers a,b,ca, b, c such that a+b=ca + b = c?

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

Erdős Problem 940

Let r3r \ge 3. Is it true that the set of integers which are the sum of at most rr rr-powerful numbers has density 00?

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

Erdős Problem 940: Three Cubes

Is it true that the set of integers which are the sum of at most three cubes has density 00?

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

Erdős Problem 940: Large Integers

It is not known if all large integers are the sum of at most rr-many rr-powerful numbers.

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

Erdős Problem 942

Is there some constant c>0c > 0 such that h(n)<(logn)c+o(1)h(n) < (\log n)^{c + o(1)} and, for infinitely many nn, h(n)>(logn)co(1)h(n) > (\log n)^{c - o(1)}.

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

Erdős Problem 943

Let AA be the set of powerful numbers. Is is true that 1A1A(n)=no(1)1_A\ast 1_A(n)=n^{o(1)} for every nn?

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

Erdős Problem 944

Let k4k \ge 4 and r1r\ge 1. Must there exist a graph GG with chromatic number kk such that every vertex is critical, yet every critical set of edges has size >r>r?

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

Erdős Problem 944: Dirac Conjecture

Let k4k \ge 4. Must there exist a graph GG with chromatic number kk such that every vertex is critical, yet every critical set of edges has size >1>1?

This was conjectured by Dirac in 1970.

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

Erdős Problem 944: K Eq Four

The case k=4k=4 and r=1r=1 remains open: Are there 44-critical graphs without any critical edges?

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