Power savings for planar halving lines and k-sets at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages

A
D
V
E
R
T

I
S
E
M
E
N
T

Power savings for planar halving lines and $k$-sets

at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages

thinking... about 3 hours remaining

If this game doesn't work on your computer, go here for help. (Lean version available!)

expertly designed by an internal OpenAI model

Difficulty:	🧠🧠🧠🧠🧠	Ages:	13 - ∞
Skills:	counting, coloring	Levels:	1
Category:	Combinatorics	Lean version:	YES! ✔
Rate this game! 4.0 out of 5 (3,749 votes)

>>> How to Play <<<

Power savings for planar halving lines and k-sets. Improves the planar halving-line bound to $O(n^{4/3-\varepsilon})$ for sets with no three collinear and an absolute ε > 0. More generally, an n-point set with no three collinear has $O(n(k+1)^{1/3-\varepsilon_0})$ strictly separable k-subsets for $1\le k\le n/2$, with an absolute $\varepsilon_0\gt 0$. The constants and positive exponents are nonquantitative.

>>> Level Select <<<

LEVEL 1 A power saving for planar halving lines

released 2026-09-25 | 3 theorems · 14 lemmas · 17 proofs · 14,853 words | PLAY LEVEL 1 » (pdf)

There are absolute constants ε > 0 and C such that every sufficiently large even n-point set in the plane with no three collinear has at most $Cn^{4/3-\varepsilon}$ unordered halving pairs. This gives a power saving over the classical $O(n^{4/3})$ bound for planar halving lines. The proof is nonquantitative and does not supply explicit constants.

More Combinatorics Games!
Pinned distances and a power saving for planar unit distances	Combinatorial invariance of Kazhdan–Lusztig polynomials	The Shareshian–Wachs $e$-positivity conjecture	Sharp logarithmic exponents for off-diagonal Ramsey numbers HOT!
The hypercube Ramsey conjecture	Classification of finite Euclidean Ramsey configurations	Seymour's second-neighborhood conjecture HOT!	Deterministic construction of strong thin spanning trees

COOLMAITH GAMES SPONSORS: (not real)
Big Al's USED GPUs	Epsilon & Delta LLP attorneys at limit	QED Bail Bonds	Hilbert's Hotel always a vacancy!

Cool Links: openai/math Lean Mathlib arXiv the real Coolmath Games

You are visitor number 000719

Thanks for visiting CoolmAIth Games
© 1997-2026 CoolmAIth Games. A parody. Not affiliated with Coolmath.com LLC or OpenAI.
Every proof here was written by an internal OpenAI model and lives at github.com/openai/math.
Best viewed in Netscape Navigator 4.0 at 800x600