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

108 of 1194 statement records

17 source collections · 43 mathematical fields

Clear filters
Source labels openGreen's Open Problems · Combinatorics

Ben Green's Open Problem 14

W(3,24)593W(3, 24) \ge 593 from [AKS14, Table 2].

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

Ben Green's Open Problem 14

W(3,25)656W(3, 25) \ge 656 from [AKS14, Table 2].

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

Ben Green's Open Problem 14

W(3,26)727W(3, 26) \ge 727 from [AKS14, Table 2].

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

Ben Green's Open Problem 14

W(3,27)770W(3, 27) \ge 770 from [AKS14, Table 2].

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

Ben Green's Open Problem 14

W(3,28)827W(3, 28) \ge 827 from [AKS14, Table 2].

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

Ben Green's Open Problem 14

W(3,29)868W(3, 29) \ge 868 from [AKS14, Table 2].

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

Ben Green's Open Problem 14

W(3,30)903W(3, 30) \ge 903 from [AKS14, Table 2].

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

Ben Green's Open Problem 14

W(3,31)>930W(3, 31) > 930 from [AKS14, Table 3].

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

Ben Green's Open Problem 14

W(3,32)>1006W(3, 32) > 1006 from [AKS14, Table 3].

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

Ben Green's Open Problem 14

W(3,33)>1063W(3, 33) > 1063 from [AKS14, Table 3].

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

Ben Green's Open Problem 14

W(3,34)>1143W(3, 34) > 1143 from [AKS14, Table 3].

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

Ben Green's Open Problem 14

W(3,35)>1204W(3, 35) > 1204 from [AKS14, Table 3].

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

Ben Green's Open Problem 14

W(3,36)>1257W(3, 36) > 1257 from [AKS14, Table 3].

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

Ben Green's Open Problem 14

W(3,37)>1338W(3, 37) > 1338 from [AKS14, Table 3].

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

Ben Green's Open Problem 14

W(3,38)>1378W(3, 38) > 1378 from [AKS14, Table 3].

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

Ben Green's Open Problem 14

W(3,39)>1418W(3, 39) > 1418 from [AKS14, Table 3].

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

Green's Open Problem 15

Does there exist a Lipschitz function f:NZf : \mathbb{N} \to \mathbb{Z} whose graph Γ={(n,f(n)):nN}Z2\Gamma = \{(n, f(n)) : n \in \mathbb{N}\} \subseteq \mathbb{Z}^2 is free of 3-term progressions?

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

Ben Green's Open Problem 16

What is the largest subset of [N][N] with no solution to x+3y=2z+2wx + 3y = 2z + 2w in distinct integers x,y,z,wx, y, z, w?

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

Ben Green's Open Problem 16

From [Ruzsa] f(N)N1/2f(N) \gg N^{1/2}.

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

Ben Green's Open Problem 16

From [Schoen and Sisask] f(N)Nec(logN)1/7f(N) \ll N \cdot e^{-c(\log N)^{1/7}}.

Source checked Jul 26, 20261 pinned Lean statementInspect problem