← All problems
MATHEMATICS
Erdős–Szekeres ES(7)
The problem
Determine whether ES(7)=33 by a machine-checkable proof that every 33-point general-position set has a convex 7-gon or an exact realizable 33-point counterexample
MATHEMATICS
Determine whether ES(7)=33 by a machine-checkable proof that every 33-point general-position set has a convex 7-gon or an exact realizable 33-point counterexample