The AI That Proved What Can’t Be Done
An AI just proposed a new lower bound for the n=17 square packing problem—proving what can’t be done. This shifts the bottleneck from generating proofs to validating them. When a non-human mind asserts a mathematical limit, we must decide: does authority lie in the derivation or the system that produced it? The era of verification literacy has arrived.