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

624 of 1194 statement records

17 source collections · 43 mathematical fields

Clear filters
Source labels openErdős Problems · Number theory

Erdős Problem 913: Infinite Many 8p Sq Add One Primes

It is likely that there are infinitely many primes pp such that 8p218p^2 - 1 is also prime.

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

Erdős Problem 930

Is it true that, for every rr, there is a kk such that if I1,,IrI_1,\ldots,I_r are disjoint intervals of consecutive integers, all of length at least kk, then

1irmIim \prod_{1\leq i\leq r}\prod_{m\in I_i}m

is not a perfect power?

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

Erdős Problem 931

Let k1k23k_1 \geq k_2 \geq 3. Are there only finitely many n2n1+k1n_2\geq n_1 + k_1 such that

1ik1(n1+i) and 1jk2(n2+j) \prod_{1\leq i\leq k_1}(n_1 + i)\ \text{and}\ \prod_{1\leq j\leq k_2} (n_2 + j)

have the same prime factors?

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