Collaborative AI-assisted proofs settle 11-square packing: Trump's 1979 layout proven optimal
ctjlewis · x · 2026-10-07
A collaborative project has machine-verified that Trump's 1979 packing of 11 squares is optimal, s(11)=3.8770835… The papers series introduces new lower bounds (s(11)≥3.8264…) via weighted-point and 2-of-3 threshold atoms, reviews Kleddamag's certified bound s(11)>31/8 with a 12,028-row certificate, and explains the optimality proof. The authors argue mathematical proof is shifting toward an open-source-style collaboration model, aided by AI-written explainers and visual verification.
Related event: Optimal packing of 11 squares proved and formalized with AI assistance(6 posts)→
More from Research
- COLM paper: latent reasoning traces decodable 65-93% of the time in LRMs — sarahwiegreffe · 2026-10-07
- Apple ML Research is hiring a PhD intern to make foundation models know what they know — sineadwilliamso · 2026-10-07
- CAVEAT testbed exposes how merchants can steer your shopping AI agent — ZacharyHuang12 · 2026-10-07
- GEA treats agent groups as the evolution unit, hitting 71% SWE-bench Verified with zero human help — xwang_lk · 2026-10-07
- 9B model fine-tuned with ~$25 of compute hits 79% of Jev's Decision Index score — sophiamyang · 2026-10-07
- Recovery skills lift real-robot task success from 77.5% to 87.5% in Recova — qinzytech · 2026-10-07