Hey John Apple, I have five kids I need to deal with this morning. Let me order my damn $2,000 phone.
James Talarico just texted me personally. He’s asking me to break him out of the Lindner Center of Hope.
😢
17 squares. No smaller square.
I've released the first complete Lean proof of optimality for Bidwell's 1998 packing of 17 squares.
Built with @OpenAI Astra + @AnthropicAI Opus 5.5.
Thanks to @ManassehA06 & @ojoshe for prior work.
github.com/ofitzharding/sq17…







