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 openGreen's Open Problems · Combinatorics

Ben Green's Open Problem 33

Are there infinitely many qq for which there is a set AZ/qZA \subset \mathbb{Z}/q\mathbb{Z}, A=(2+o(1))q1/2|A| = (\sqrt{2} + o(1))q^{1/2}, with A+A=Z/qZA + A = \mathbb{Z}/q\mathbb{Z}? [Gr24]

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

Erdős Problem 373: Suranyi

Surányi was the first to conjecture that the only non-trivial solution to a!b!=n! is 6!7!=10!.

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

Erdős Problem 375

Is Erdos375Prop true?

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

Erdős Problem 376

Are there infinitely many nn such that (2nn){2n\choose n} is coprime to 105105?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openGreen's Open Problems · Combinatorics

Ben Green's Open Problem 37

Given a natural number N, what is the smallest size of a subset of that contains, for each d = 1, …, N, an arithmetic progression of length k with common difference d.

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

Erdős Problem 377

Is there some absolute constant C>0C > 0 such that

pn1p(2nn)1pC \sum_{p \leq n} 1_{p\nmid {2n \choose n}}\frac{1}{p} \leq C

for all nn?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openGreen's Open Problems · Combinatorics

Ben Green's Open Problem 37

Asymptotic version: determine the asymptotic behavior of m(N, k) as N grows. The solver should determine what function f : ℕ → ℝ eventually equals (fun N ↦ (m N k : ℝ)).

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

Erdős Problem 383

Is it true that for every kk there are infinitely many primes pp such that the largest prime divisor of

i=0k(p2+i) \prod_{i = 0}^k (p ^ 2 + i)

is pp?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openGreen's Open Problems · Combinatorics

Ben Green's Open Problem 37

Determine the asymptotic equivalence class (theta) of m(N, k).

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

Erdős Problem 385: I

Let F(n) := \max\{m + p(m) \mid \textrm{m < n composite}\}\} where p(m)p(m) is the least prime divisor of mm. Is it true that F(n)>nF(n)>n for all sufficiently large nn?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openGreen's Open Problems · Combinatorics

Ben Green's Open Problem 37

Determine an upper bound (big O) for m(N, k).

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

Erdős Problem 385: Ii

Let F(n) := \max\{m + p(m) \mid \textrm{m < n composite}\}\} where p(m)p(m) is the least prime divisor of mm. Does F(n)nF(n) - n \to \infty as nn\to\infty?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openGreen's Open Problems · Combinatorics

Ben Green's Open Problem 37

Determine a strict upper bound (little o) for m(N, k).

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

Erdős Problem 385: Lb

A question of Erdős, Eggleton, and Selfridge, who write that in fact it is possible that this quantity is always at least n+(1o(1))nn+(1-o(1))\sqrt{n}

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openGreen's Open Problems · Combinatorics

Green's Open Problem 38: Lower

Can we improve the lower bound?

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

Erdős Problem 386

There is a kk, such that 2kn22 \le k \le n - 2 and (nk)\binom{n}{k} can be the product of consecutive primes infinitely often?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openGreen's Open Problems · Combinatorics

Green's Open Problem 38: Upper

Can we improve the best upper bound?

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

Erdős Problem 386: Forall

For all 2kn22 \le k \le n - 2, can (nk)\binom{n}{k} be the product of consecutive primes infinitely often?

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

Erdős Problem 386: Two

Can (n2)\binom{n}{2} be the product of consecutive primes infinitely often?

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

Erdős Problem 387: Schinzel

The following is Schinzel's conjecture, which appears in [Gu04].

Source checked Jul 26, 20261 pinned Lean statementInspect problem