New results in square packing problem by a hobbyist
cheeseblubber
11 points
3 comments
September 09, 2026
Related Discussions
Found 5 related stories in 118.7ms across 10,486 title embeddings via pgvector HNSW
- AI-assisted proof of optimal packing for 11 squares bluepeter · 113 pts · October 07, 2026 · 64% similar
- Another better lower bound for n=17 square packing gus_massa · 27 pts · August 21, 2026 · 61% similar
- The beautiful mathematics behind OpenAI's sphere packing result brandonb · 14 pts · August 17, 2026 · 52% similar
- Some combinatorial applications of spacefilling curves shraiwi · 12 pts · July 25, 2026 · 48% similar
- Subquadratic 3SUM and Subcubic APSP mauriziocalo · 98 pts · October 06, 2026 · 46% similar
Discussion Highlights (1 comments)
pavel_lishin
It might be better to link to https://jlevy.github.io/squares/ - it's an actual written explanation of what was achieved, and not just the git repo. Also, specifically, this claims a new lower bound , not a smaller packing than was previously known.