Another better lower bound for n=17 square packing

Published: 2026-08-21

The idea is to improve a recent result and prove that 4.5058(?)≤s(17) using these weights:

Originally sourced from Hacker News