Formal verification proves the cursed n=11 square packing is optimal
ctjlewis · x · 2026-10-07
A group of mathematicians — the Square Packers — formally verified that the so-called 'cursed' n=11 square packing configuration is indeed optimal. A real result in packing research, delivered with a pun about a 'gang of mathematicians.'
Related event: n=11 Square Packing Optimality Formally Proven in Lean(5 posts)→
More from Fun
- You Can Watch the Computer OpenAI's Agent Dot Is Using — McDonaghMatthew · 2026-10-07
- AI Twitter Meme: 'Matmul Is n^3, I Don't Care What Mathematicians Say' — qtnx_ · 2026-10-07
- Mistral renames Le Chat to Chaton, community jokes real AGI would talk it back — Sauers_ · 2026-10-07
- Researcher shares his favorite Grothendieck biography quote on never doubting success — aran_nayebi · 2026-10-07
- Editing SOUL.md to Coax Humor from Coding Agents Will Soon Feel Quaint — MikkoH · 2026-10-07
- Lawyer's viral analogy: Claude is the repressed good kid, GPT grew up in a trailer park — repligate · 2026-10-07