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.
All topics

1194 of 1194 statement records

17 source collections · 43 mathematical fields

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

Green's Open Problem 36

Do the following exist, for arbitrarily large nn? An abelian group HH with H=n2+o(1)|H| = n^{2+o(1)}, together with subsets A1,...,An,B1,...,BnA_1, ..., A_n, B_1, ..., B_n satisfying AiBin2o(1)|A_i||B_i| \ge n^{2-o(1)} and Ai+Bi=AiBi|A_i + B_i| = |A_i||B_i|, such that the sets Ai+BiA_i + B_i are disjoint from the sets Aj+BkA_j + B_k (jkj \neq k)?

NOTE: according to [CKS05, 4.1], the conditions should be Ai+BjA_i + B_j disjoint from Aj+BkA_j + B_k for iki \neq k. See green_36.variants.cks05.

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

Green's Open Problem 36: Cks05

Variant using the exact simultaneous double product property from [CKS05, 4.1].

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