search
11 squares packing problem
Trends
- 1AI-assisted proof shows 11-square packing is optimal▼AI-assisted proof of optimal packing for 11 squares
A new project on GitHub presents a formalized, AI-assisted proof of the optimal packing of 11 equal squares in a square container, a long-standing problem in combinatorial geometry. The work verifies a candidate arrangement as provably optimal rather than merely the best known. Commenters on Hacker News are debating the reliability of AI-assisted mathematics and how formal verification can backstop machine-generated proofs.
- 2Mathematicians Confirm Optimal Packing of 11 Squares●Mathematicians Verify Optimal Packing of 11 Squares After Decades
Researchers have finally verified the optimal way to pack 11 equal squares inside the smallest possible container, settling a problem open for decades. The proof confirms longstanding conjectures in discrete geometry. Mathematicians are celebrating the result as a rare advance in packing theory, a field with links to logistics, coding, and materials science.