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 931: Additional Condition

Erdős thought perhaps if the two products have the same factors then n2>2(n1+k1)n_2 > 2(n_1 + k_1). It is an open question whether this is true when allowing a finite number of counterexamples.

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

Erdős Problem 931: Exists Prime

Erdős was unable to prove that if the two products have the same factors then there must exist a prime between n1n_1 and n2n_2.

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

Erdős Problem 932

Let pkp_k denote the kkth prime. For infinitely many rr there are at least two integers pr<n<pr+1p_r < n < p_{r+1} all of whose prime factors are <pr+1pr< p_{r + 1} - p_r.

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

Erdős Problem 933

If n(n+1)=2k3lmn(n+1)=2^k3^lm, where (m,6)=1(m,6)=1, then is it true that lim supn2k3lnlogn=\limsup_{n\to \infty} \frac{2^k3^l}{n\log n}=\infty?

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

Erdős Problem 936: Two Pow Add One

Is 2n+12^n + 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 936: Two Pow Sub One

Is 2n12^n - 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 936: Factorial Add 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 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