Polynomial removal fails for ordered binary matrices

Formal proof listed 1 paper September 25, 2026
What the paper claims, in its own words

Disproves polynomial ordered binary matrix removal with one fixed 66×6666\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.

The plain-language explainer for this entry is still coming.

The original paper