AI-assisted proof of optimal packing for 11 squares
By bluepeter · 2026-10-07 · 21 points · 13 comments
https://github.com/Queuingtheorydotcom/11SquaresFormalized
By bluepeter · 21 points · 13 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews