Ben Green's Open Problem 14
from [AKS14, Table 2].
Questions, not proof records
Each statement record keeps the mathematical question, a dated status source, accessible references, and any pinned Lean formulation separate from proof verification.
sorry marks an admitted statement, not a proof. Source indexing does not mean the formulation has been independently built or certified by Therefore.from [AKS14, Table 2].
from [AKS14, Table 2].
from [AKS14, Table 2].
from [AKS14, Table 2].
from [AKS14, Table 2].
from [AKS14, Table 2].
from [AKS14, Table 2].
from [AKS14, Table 3].
from [AKS14, Table 3].
from [AKS14, Table 3].
from [AKS14, Table 3].
from [AKS14, Table 3].
from [AKS14, Table 3].
from [AKS14, Table 3].
from [AKS14, Table 3].
from [AKS14, Table 3].
Does there exist a Lipschitz function whose graph is free of 3-term progressions?
What is the largest subset of with no solution to in distinct integers ?
From [Ruzsa] .
From [Schoen and Sisask] .