Polynomial removal fails for ordered binary matrices 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

Polynomial removal fails for ordered binary matrices

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.7 out of 5 (7,768 votes)

>>> How to Play <<<

Polynomial removal fails for ordered binary matrices. Disproves polynomial ordered binary matrix removal with one fixed $66\times66$ zero–one pattern. Matrices can require many binary-entry changes to become pattern-free while their copy density is smaller than every proposed polynomial bound in that distance. Copies preserve row and column orders and match both zeros and ones.

>>> Level Select <<<

LEVEL 1 Polynomial removal fails for ordered binary matrices

released 2026-09-25 | 1 theorem · 4 lemmas · 9 proofs · 5,471 words | PLAY LEVEL 1 » (pdf)

We construct a fixed $66\times66$ binary matrix for which ordered matrix removal has no polynomial bound. This disproves the polynomial ordered binary matrix-removal conjecture. Ordered copies preserve the separate row and column orders and match both zeros and ones; removal permits changing entries in either direction.

More Combinatorics Games!
The sharp constant in random triangle removal	Exact cycle–clique Ramsey numbers	A power improvement in the Heilbronn triangle problem	A counterexample to the Gopalan–Servedio conjecture
A counterexample to periodic tiling in dimension three HOT!	Borsuk's conjecture fails in dimension nine HOT!	Counterexamples to the Hadwiger and Colin de Verdière conjectures	The Euclidean plane cannot be colored with five colors PLAYABLE!

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