Optimality of the 11-Square Packing  
In September 2026, Mannaseh Ahmed, Joshua Levy, and their collaborators proved that my 1979 packing of 11 unit squares in a square is optimal. Their computer-assisted proof involved the AI models Astra and Claude.

Original Work and Mathematical Proofs

  1. Walter Trump (2023). Packing of 11 unit squares in a square with minimum size. ResearchGate Preprint.
  2. Mannaseh Ahmed (September 29, 2026). Optimality of the Eleven-Square Packing. Computer-assisted proof, GitHub.
  3. Joshua Levy (2026). A Review of the Optimality Proof of the Trump Packing of 11 Squares. The Squares Project.
  4. Queuingtheorydotcom and contributors (October 6, 2026). 11SquaresFormalized: Lean Formalization of the Optimality Proof. GitHub.

Mathematical Documentation

  1. The Squares Project (2026). 11 Unit Squares in a Square: Bounds and Best Packing. Documentation of optimality and uniqueness.
  2. The Squares Project (2026). Square Packing – Papers and Results. Project overview.

Media Coverage

  1. Startup Fortune (October 2026). AI Models Formally Proved Walter Trump's 1979 Square Packing Is Optimal.
  2. Wisevoter (October 7, 2026). Lean Proof Verified Eleven-Square Packing Discovery.
  3. Vlad Makarov, Traictory (October 8, 2026). Astra and Claude Are Credited on a Lean Proof That Trump's 1979 Packing of Eleven Squares Is Optimal.
  4. AI Weekly (October 2026). Astra and Claude Credited on Lean Proof of 11-Square Packing.
  5. GoKawiil (October 2026). Lean Proof Verifies Optimal Packing of 11 Unit Squares.
 Walter Trump, Nürnberg, Germany, ms(at)trump.de, © 2026-10-20