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

Green's Open Problem 27: Upper

Propose a better upper bound along primes.

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

Erdős Problem 361: Big Theta

Let c>0c > 0 and nn be some large integer. What is the size of the largest set A{1,,cn}A \subseteq \{1, \ldots, \lfloor c n \rfloor\} such that nn is not a sum of a subset of AA? Does this depend on nn in an irregular way?

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

Ben Green's Open Problem 31: Lower

Can we improve the lower bound N1/2+O(1)N^{1/2} + O(1), at least for infinitely many NN?

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

Erdős Problem 361: Small O

Let c>0c > 0 and nn be some large integer. What is the size of the largest set A{1,,cn}A \subseteq \{1, \ldots, \lfloor c n \rfloor\} such that nn is not a sum of a subset of AA? Does this depend on nn in an irregular way?

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

Ben Green's Open Problem 31: Lower Eventually

Can we improve the lower bound N1/2+O(1)N^{1/2} + O(1), for all sufficiently large NN?

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

Erdős Problem 364

There is no consecutive triple of powerful numbers.

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

Ben Green's Open Problem 31: Upper

Can we improve the upper bound N1/2+0.98183N1/4+O(1)N^{1/2} + 0.98183 N^{1/4} + O(1) [CHO25], at least for infinitely many NN?

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

Erdős Problem 364: Strong

Erdős [Er76d] conjectured a stronger statement: if nkn_k is the kkth powerful number, then nk+2nk>nkcn_{k+2} - n_k > n_k^c for some constant c>0c > 0.

[Er76d] Erdős, P., Problems and results on number theoretic properties of consecutive integers and related questions. Proceedings of the Fifth Manitoba Conference on Numerical Mathematics (Univ. Manitoba, Winnipeg, Man., 1975) (1976), 25-44.

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

Ben Green's Open Problem 31: Upper Eventually

Can we improve the upper bound N1/2+0.98183N1/4+O(1)N^{1/2} + 0.98183 N^{1/4} + O(1) [CHO25], for all sufficiently large NN?

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

Erdős Problem 366

Are there any 22-full nn such that n+1n+1 is 33-full?

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

Ben Green's Open Problem 31: Zmod P

It is not known whether or not there exists a Sidon subset of Z/pZ\mathbb{Z}/p\mathbb{Z} of size (1+o(1))p(1 + o(1))\sqrt{p}, for all pp [Gr24].

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

Erdős Problem 366: Three Two

Are there infinitely many 3-full nn such that n+1n+1 is 2-full?

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

Ben Green's Open Problem 31: Abelian

It is not known whether, if GG is an abelian group of size nn, there always exists a Sidon subset of GG of size 0.01n0.01\sqrt{n} [Gr24].

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

Erdős Problem 366: Weaker

Are there any consecutive pairs of 33-full integers?

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

Ben Green's Open Problem 31: Sidon 01n

Another very nice old problem is whether there is a Sidon subset of {0,1}n\{0, 1\}^n of size N0.51N^{0.51}, where N=2nN = 2^n [Gr24].

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

Erdős Problem 371

Let P(n)P(n) denote the largest prime factor of nn. Show that the set of nn with P(n+1)>P(n)P(n+1) > P(n) has density 12\frac{1}{2}.

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

Green's Open Problem 32

Let pp be a prime and let AZ/pZA \subset \mathbb{Z}/p\mathbb{Z} be a set of size p\lfloor \sqrt{p} \rfloor. Is there a dilate of AA containing a gap of length 100p100\sqrt{p}?

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

Erdős Problem 373

Show that the equation n!=a_1!a_2!···a_k!, with n−1 > a_1 ≥ a_2 ≥ ··· ≥ a_k, has only finitely many solutions.

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

Green's Open Problem 32: Log Regime

Even what happens in the regime ω(p)10logp\omega(p) \sim 10 \log p is unclear [Gr24].

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

Erdős Problem 373: Maximal Solution

Hickerson conjectured the largest solution the equation n!=a_1!a_2!···a_k!, with n−1 > a_1 ≥ a_2 ≥ ··· ≥ a_k, is 16!=14!5!2!.

Source checked Jul 26, 20261 pinned Lean statementInspect problem