Square Packing Fan on X: "The optimality of the packing for 11 squares has been formalized in lean thanks to Astra and Claude! Huge thanks to @ojoshe, @kleddamag, @wand_125, @guzhou0806, and @ctjlewis for aiding in the process. Image credit: https://t.co/2oUaPKe2Hz 1/n https://t.co/pym7RQHeUC" / X
x.com · saved by 1 readers
The optimality of the packing for 11 squares has been formalized in lean thanks to Astra and Claude! Huge thanks to @ojoshe, @kleddamag, @wand_125, @guzhou0806, and @ctjlewis for aiding in the process. Image credit: https://t.co/2oUaPKe2Hz 1/n