← Back to live feed1 story
A Lean formalization of the optimality proof for the 11 square packing has been completed.
Content history (2)
- 2026-10-10 · Summary · vi · Wording fixHình thức hóa bằng Lean cho chứng minh tính tối ưu của bài toán xếp 11 hình vuông – theo …Hình thức hóa bằng Lean cho chứng minh tính tối ưu của việc xếp 11 hình vuông - Queuingth…
- 2026-10-10 · Title · vi · Wording fixChứng minh bằng máy tính cho bài toán xếp 11 hình vuông tối ưuChứng minh có sự hỗ trợ của AI về cách xếp 11 hình vuông tối ưu
Sign in to suggest edits
Key sources
- DISCUSSIONbluepeternews.ycombinator.com