AI-assisted proof establishes optimal packing for 11 squares
Read the original at github.com→Original headline: "AI-assisted proof of optimal packing for 11 squares"
Coverage timeline
- Oct 7, 14:10 UTC Hacker News (AI) lead source AI-assisted proof of optimal packing for 11 squares