Manasseh Ahmed

Years active
2026
Handles
MathCompSciFTW, Square Packing Fan

Resources

Repository11SquaresOptimal

By Ahmed

github.com/Queuingtheorydotcom/11SquaresOptimalA computer-assisted proof that Trump's packing of eleven squares is optimal.

1 result (at S5) · 1 record (at S5) · 1 credit (at S3)

Repository11SquaresFormalized

Contributors: ctjlewis, Hosono, Gurevitch, Julian-JJ, Guzhou0806, Ahmed

github.com/Queuingtheorydotcom/11SquaresFormalizedA Lean 4 formalization of that proof, trusting Lean's compiler for its certificates.

0 results

1 result (at S5) · 1 record (at S5) · 4 credits (3 at S5, 1 at S3)

Results

  • T-060 (optimality, n = 11): source author, credited contributor — Ahmed, in [Ahmed n11 optimality 2026] (Registered in: #246; Supporting: #262)

Records

Current registered contributions in their recorded family and scope. A result counts once when any of its facets remains current.

  • T-060 (optimality, n = 11): source author, credited contributor — Ahmed, in [Ahmed n11 optimality 2026] (Registered in: #246; Supporting: #262)

Credited work

  • T-112 (uniqueness, n = 11): prerequisite — Ahmed
  • T-153 (optimality, n = 17): prerequisite — Ahmed, in [Overbeck n17 candidate 2026] (Registered in: #592 · #595 · #560 · #577)
  • T-154 (formalization, n = 17): prerequisite — Ahmed, in [Fitzharding n17 Lean 2026] (Registered in: #592 · #595 · #588)
  • T-194 (optimality, n = 19): prerequisite — Ahmed, in [Fitzharding n19 Lean 2026]

Other reviewed records

Related News

Sources
  1. owner-confirmation: Decisions and Exceptions, the Manasseh Ahmed row: the owner’s confirmation that @ManassehA06, Queuingtheorydotcom and Manasseh Ahmed are one person, credited by his real name.
  2. n17-credits: CREDITS.md of the n = 17 edition at 653b958, line 28: “Manasseh Ahmed (github.com/Queuingtheorydotcom), 11SquaresOptimal (github.com/Queuingtheorydotcom/11SquaresOptimal): the proof shape”. The packet keeps no upstream bytes; its acquisition/upstream-subtree.sha256 binds the file at SHA-256 fab3b10b36da9842d0f6168ff7b080da50449028d1d116d62995326a5eeda9c8, and its Source and Credit table summarizes the credit in the Human credit row.
  3. primary-byline: Acknowledgements names @Queuingtheorydotcom for the underlying proof and integration; bibliography explicitly identifies its Ahmed attribution.
  4. bibliography: Source author, credit and credited_names fields retain the printed attribution labels.
  5. announcement-account: user.id_str is 1499452114313129988; user.screen_name is ManassehA06; user.name is Square Packing Fan.
  6. earlier-announcement-account: The September announcement has the same user.id_str, 1499452114313129988, as the October announcement.
  7. intake-identity: Opening identity account and Source and Pin table record the owner-confirmed GitHub/X join, former MathCompSciFTW handle, and curated Mannaseh Ahmed spelling; primary receipts expose only the account display name.

Identity evidence