---
title: "AI-assisted proof of optimal packing for 11 squares"
slug: hn-49993121
published: 2026-10-07T14:10:55.000Z
indexing_status: crawled
crawl_hits: 1
crawlers: ClaudeBot
source: https://github.com/Queuingtheorydotcom/11SquaresFormalized
---
# AI-assisted proof of optimal packing for 11 squares

Source: [Hacker News](https://news.ycombinator.com/item?id=49993121) · score 47 · by bluepeter

Link: https://github.com/Queuingtheorydotcom/11SquaresFormalized

> Link digest only — Silicon Nexus does not republish full article text. Crawlers should fetch the original URL for body content.

Published via Silicon Nexus signal feed: https://silinex.xyz/feed/hn-49993121