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 · Combinatorics

Erdős Problem 141: Infinite General Case

Fix a k3k \geq 3. Is it true that there are infinitely many arithmetic prime progressions of length kk?

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

Erdős Problem 1054: Iii

Let f(n)f(n) be the minimal integer mm such that nn is the sum of the kk smallest divisors of mm for some k1k\geq 1. Is it true that lim supf(n)/n=\limsup f(n)/n=\infty?

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

Erdős Problem 1055

A prime pp is in class 11 if the only prime divisors of p+1p+1 are 22 or 33. In general, a prime pp is in class rr if every prime factor of p+1p+1 is in some class r1\leq r-1, with equality for at least one prime factor. Are there infinitely many primes in each class?

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

Erdős Problem 1055: Erdos Limit

A prime pp is in class 11 if the only prime divisors of p+1p+1 are 22 or 33. In general, a prime pp is in class rr if every prime factor of p+1p+1 is in some class r1\leq r-1, with equality for at least one prime factor. If prp_r is the least prime in class rr, then how does pr1/rp_r^{1/r} behave? Erdos conjectured that this tends to infinity.

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

Erdős Problem 1055: Selfridge Limit

A prime pp is in class 11 if the only prime divisors of p+1p+1 are 22 or 33. In general, a prime pp is in class rr if every prime factor of p+1p+1 is in some class r1\leq r-1, with equality for at least one prime factor. If prp_r is the least prime in class rr, then how does pr1/rp_r^{1/r} behave? Selfridge conjectured that this is bounded.

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

Erdős Problem 1056

Let k2k ≥ 2. Does there exist a prime pp and consecutive intervals I0,,IkI_0,\dots,I_k such that nIin1modn\prod\limits_{n{\in}I_i}n \equiv 1 \mod n for all 1ik1 \le i \le k?

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

Erdős Problem 1056: Noll Simmons

Noll and Simmons asked, more generally, whether there are solutions to q1!qk!modpq_1! \equiv \dots \equiv q_k! \mod p for arbitrarily large kk (with q1<<qkq_1 < \dots < q_k).

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

Erdős Problem 1057

Is it true that C(x)=x1o(1)C(x)=x^{1-o(1)}?

This is discussed in problem A13 of Guy's collection [Gu04].

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

Erdős Problem 168: Ii

Is the limit F(N)/NF(N)/N as NN \to \infty irrational?

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

Erdős Problem 1057: Pomerance

Pomerance [Po89] gave a heuristic suggesting that this is the true order of growth, and in fact C(x)=xexp((1+o(1))logxlogloglogxloglogx)C(x)= x \exp\left(-(1+o(1))\frac{\log x\log\log\log x}{\log\log x}\right).

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

Erdős Problem 1059

Are there infinitely many primes pp such that pk!p - k! is composite for each kk such that 1k!<p1 ≤ k! < p?

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

Erdős Problem 1060: I

The conjecture is about the function f(n)f(n) which counts the number of solutions to kσ(k)=nk\sigma(k)=n, where σ(k)\sigma(k) is the sum of divisors of kk. The first bound is that f(n)f(n) grows slower than any power of n(1loglogn)n^(\frac{1}{\log\log n}). The second bound is that f(n)f(n) is at most a power of logn\log n.

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

Erdős Problem 1060: Ii

Part (ii) of Erdős Problem 1060: bound on the number of knk \le n with kσ1(k)=nk \sigma_1(k) = n.

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

Erdős Problem 1061

How many (ordered) solutions are there to σ(a) + σ(b) = σ(a + b) with a + b ≤ x? Is it true that this number is asymptotic to c * x for some constant c > 0?

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

Erdős Problem 1062: Ii

Erdős asked whether the limiting density f n / n exists and, if so, whether it is irrational.

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

Erdős Problem 1063: Better Upper

Estimate nkn_k by finding a better upper bound.

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

Erdős Problem 1065: I

Are there infinitely many primes pp such that p=2kq+1p = 2^k * q + 1 for some prime qq and k0k ≥ 0?

This is mentioned as B46 in Unsolved Problems in Number Theory by Richard K. Guy

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

Erdős Problem 1065: Ii

Are there infinitely many primes pp such that p=2k3lq+1p = 2^k 3^l q + 1 for some prime qq and k0k ≥ 0, l0l ≥ 0?

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

Erdős Problem 196

Must every permutation of N\mathbb{N}, contain a monotone 4-term arithmetic progression?

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

Erdős Problem 1072: I

Is it true that there are infinitely many pp for which f(p)=p1f(p) = p − 1?

Source checked Jul 26, 20261 pinned Lean statementInspect problem