2026-10-06 · America/Los_Angeles · 社区动态 · #12

The optimality of the packing for 11 squares has been formalized in lean thanks to Astra and Claude!

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

热度 55.1 / 100；排名与评分保留该期记录。