AI-assisted proof of optimal packing for 11 squares

A GitHub repository titled '11SquaresFormalized' presents an AI-assisted formal proof of the optimal packing for 11 squares. The project appears to use AI or machine learning techniques to help formalize the proof, and it is being discussed on Hacker News with 107 points and 49 comments.