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 18

Conjecture 1.* Are there infinitely many practical numbers mm such that h(m)<(loglogm)O(1)h(m) < (\log \log m)^{O(1)}?

More precisely: does there exist a constant C>0C > 0 such that for infinitely many practical numbers mm, we have h(m)<(loglogm)Ch(m) < (\log \log m)^C?

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

Erdős Problem 18

Conjecture 2.* Is it true that h(n!)<no(1)h(n!) < n^{o(1)}? That is, for all ε>0\varepsilon > 0, is h(n!)<nεh(n!) < n^\varepsilon for sufficiently large nn?

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

Erdős Problem 18

Conjecture 3.* Or perhaps even h(n!)<(logn)O(1)h(n!) < (\log n)^{O(1)}?

Erdős offered $250 for a proof or disproof.

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

Erdős Problem 208: I

Let s1<s2<s_1 < s_2 < \dots be the sequence of squarefree numbers. Is it true that for any ϵ>0\epsilon > 0 and large nn, sn+1snϵsnϵs_{n+1} - s_n \ll_\epsilon s_n^\epsilon?

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

Erdős Problem 208: Ii

Let s1<s2<s_1 < s_2 < \dots be the sequence of squarefree numbers. Is it true that sn+1sn(1+o(1))(π2/6)log(sn)/log(log(sn))s_{n + 1} - s_n \le (1 + o(1)) \cdot (\pi^2 / 6) \cdot \log (s_n) / \log (\log (s_n))?

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

Erdős Problem 208: Log Bound

In [Er79] Erdős says perhaps sn+1snlogsns_{n+1} - s_n \ll \log s_n, but he is 'very doubtful'.

[Er79] Erdős, Paul, Some unconventional problems in number theory. Math. Mag. (1979), 67-70.

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

Erdős Problem 218: Le

The set of indices nn for which a prime gap is followed by a larger or equal prime gap has a natural density of 12\frac 1 2.

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

Erdős Problem 218: Ge

The set of indices nn for which a prime gap is preceeded by a larger or equal prime gap has a natural density of 12\frac 1 2.

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

Erdős Problem 218: Infinite Equal Prime Gap

There are infintely many indices nn such that the prime gap at nn is equal to the prime gap at n+1n+1. This is equivalent to the existence of infinitely many arithmetic progressions of length 33, see erdos_141.variants.infinite_three.

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

Erdős Problem 233

A conjecture by Heath-Brown: The sum of squares of the first NN gaps between consecutive primes behaves like N(logN)2N * (log N)^2.

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

Erdős Problem 234

Is it true that for all c ≥ 0, the density f c of integers for which (p (n + 1) - p n) / log n < c exists and is a continuous function of c?

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

Erdős Problem 238

Let c₁, c₂ > 0. Is it true that for any sufficiently large x, there exists more than c₁ * log x many consecutive primes ≤ x such that the difference between any two is > c₂?

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

Erdős Problem 242

For every n>2n>2 there exist distinct integers 1x<y<z1 ≤ x < y < z such that 4n=1x+1y+1z\frac 4 n = \frac 1 x + \frac 1 y + \frac 1 z.

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

Erdős Problem 242: Schinzel Generalization

Schinzel conjectured (see [Si56]) the generalisation that, for any fixed aa, if nn is sufficiently large in terms of aa then there exist distinct integers 1x<y<z1\leq x < y < z such that an=1x+1y+1z.\frac{a}{n} = \frac{1}{x}+\frac{1}{y}+\frac{1}{z}.

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

Erdős Problem 244

Let C>1C > 1. Does the set of integers of the form p+Ckp + \lfloor C^k \rfloor, for some prime pp and k0k\geq 0, have density >0>0?

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

Erdős Problem 247

Let n1<n2<n_1 < n_2 < \cdots be a sequence of integers such that

lim supnkk=. \limsup \frac{n_k}{k} = \infty.

Is

k=112nk \sum_{k=1}^{\infty} \frac{1}{2^{n_k}}

transcendental?

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

Erdős Problem 249

Is nϕ(n)2n\sum_{n} \frac{\phi(n)}{2^n} irrational? Here ϕ\phi is the Euler totient function.

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

Erdős Problem 25

Let n1<n2<n_1 < n_2 < \dots be an arbitrary sequence of integers, each with an associated residue class ai(modni)a_i \pmod{n_i}. Let AA be the set of integers nn such that for every ii either n<nin < n_i or n≢ai(modni)n \not\equiv a_i \pmod{n_i}. Must the logarithmic density of AA exist?

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

Erdős Problem 251

Is n=1pn2n\sum_{n=1}^\infty \frac{p_n}{2^n} irrational? Here pnp_n is the nn-th prime (p1=2,p2=3,p_1=2, p_2=3, \dots).

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

Erdős Problem 252

Erdős Problem 252: irrationality of the sum for a given kk.

Source checked Jul 26, 20261 pinned Lean statementInspect problem