AI-assisted proof of optimal packing for 11 squares

bluepeter·Hacker News·Community·

Lean formalization of the optimality proof of the 11 square packing - Queuingtheorydotcom/11SquaresFormalized

Read full article →

Related Articles

Mistral Large 4
Philpax · Hacker News · 1d ago
Shipping JPEG XL in Chrome
AshleysBrain · Hacker News · 5h ago
JetBrains reported a net financial loss first time in its tracked history
thw_9a83c · Hacker News · 1d ago
AnyPS5: Port PS5 binaries to PC without emulation (87% system libraries mapped)
Fe2O3 · Hacker News · 17h ago
OpenTPU – An open-source AI accelerator, developed by AI
fsbonetto · Hacker News · 1d ago