AI-assisted proof of optimal packing for 11 squares

(github.com) by bluepeter | Oct 7, 2026 | 0 comments on HN