AI-assisted proof of optimal packing for 11 squares

by bluepeter | View on Hacker News