AI pushes mathematical bound for packing 17 squares to 4.456575
stanislavfort · x · 2026-08-12
Developer Stanislav Fort leveraged AI to push the bound again on the mathematical '17 squares problem'.
- New Breakthrough: Improved the lower bound for the least side length of a square containing 17 unit squares from 4.450837 to 4.456575.
- Verification: The proof uses a certificate with 21.7M nodes. The author wrote 3 separate certificate checkers (2 in C++ and 1 in Python) and verified it using exact integer verifiers and CI.
- Open Source: The certificates and code are available in a GitHub repository for cross-checking by other AIs or knowledgeable humans.
More from Fun
- AI Text Watermarks Cause Academic Blunders: Citing Papers Flags Students for Cheating — dreamwieber · 2026-08-12
- ChatGPT Amazed by the Size of a Giant Spider in Identification Request — P0rnDudeLovesBJs · 2026-08-12
- Joke: A Boss Who Can't Use Tools is Still an Idiot with AI — gerardsans · 2026-08-12
- Grok Users Report Heavy Censorship, Speculate X IPO Compliance — DevDminGod · 2026-08-12
- User Frustrated: Thought I Had It — PtrPomorski · 2026-08-12
- Boston Dynamics' Atlas Robot Moves with Mesmerizing Fluidity — ChrisGPT · 2026-08-12