Techly NewsGet the app

Get the latest tech news

AI-assisted proof of optimal packing for 11 squares


Lean formalization of the optimality proof of the 11 square packing - Queuingtheorydotcom/11SquaresFormalized

None

Get the Android app

Or read this on Hacker News

Read more on:

Photo of squares

squares

Photo of assisted proof

assisted proof

Photo of optimal packing

optimal packing

Related news:

News photo

Exploding variance of means of exponentials: least-squares to the rescue

News photo

The ColorChecker, photography's most important 24 squares, turns 50

News photo

Squares in Squares

« SynthID Detector
Google Playground »