Astra and Claude prove the best known square packing for 11 squares is optimal (formalized in Lean)
https://x.com/ManassehA06/status/2107508501610217640
Read the full story at r/singularity ↗
Timeline · 1 report
- 2026-10-06 21:41 · r/singularity
Astra and Claude prove the best known square packing for 11 squares is optimal (formalized in Lean)