AI-assisted proof of optimal packing for 11 squares
A GitHub project presents an AI-assisted formal proof of optimal packing for 11 equal squares.
1 stories, newest first · one card per story
A GitHub project presents an AI-assisted formal proof of optimal packing for 11 equal squares.
Today 1.5K readers · 2.4K views · 757 reads · all time 189K views