AI-assisted proof of optimal packing for 11 squares

Article URL: https://github.com/Queuingtheorydotcom/11SquaresFormalized Comments URL: https://news.ycombinator.com/item?id=49993121 Points: 81 # Comments: 36

Read the full story at Hacker News Front Page ↗

Timeline · 1 report

2026-10-07 14:10 · Hacker News Front Page
AI-assisted proof of optimal packing for 11 squares

More stories

Introducing Mistral Large 4 — Mistral AI News
GPT-6 and Intelligent UI for everyone — OpenAI News
Sharing AI progress in mathematics — OpenAI News
Mistral Says Its New AI Model ‘Le Chonk’ Is the Best Open-Weight Offering Outside of China — Wired AI
Introducing Playground: Create and play custom games — Google AI Blog
OpenAI Decisions API now available on AI Gateway — Vercel Blog
Now in Nature: Retrofitting language models to operate over bytes — Allen Institute for AI (Ai2)
Anthropic is giving startups a free year of Claude Team and $1,000 in credits — TechCrunch AI

Get the daily brief of stories like this at 6:30 every morning →