math-035-disprove: Disprove The Erdős–Szekeres Conjecture (Happy Ending problem, exact version)

[IndieMath:math-035:disprove] Disprove the The Erdős–Szekeres Conjecture (Happy Ending problem, exact version) conjecture through an IndieMath AI research attempt. Canonical statement: For every n ≥ 3, any set of 2^{n−2} + 1 points in the plane in general position contains n points in convex position — and this is sharp. Contributions fund model usage and related compute for this direction.