YHacker News
Screenshot of github.com: AI-assisted proof of optimal packing for 11 squares

First screen, captured .

Looks similar

Related stories