Yhn first seen 18 h ago, last 8 h ago, peak #13
AI-assisted proof shows 11-square packing is optimal
Original: 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.
Why now: AI-assisted formal mathematics is a hot topic, and a verified solution to a classic packing problem is a striking new example.
GitHubHacker Newssquares in a square packing problem
Rank over time, top of the chart is #1. 16 snapshots from 11 h ago to 8 h ago.
Evidence
- AI-assisted proof of optimal packing for 11 squares · bluepeter · 109
API: https://socialmediatrends-api.osmike.com/v1/trends/1371369