---
format: "aidr-story-markdown/v1"
id: "d5683ffff7ecda8c3b608f139e0aa715c82e75641b38461997a41f50417ad556"
canonical_url: "https://aidr.today/d5683fff?lang=vi"
title: "Chứng minh có sự hỗ trợ của AI về cách xếp 11 hình vuông tối ưu"
lang: "vi"
requested_lang: "vi"
available_langs: ["en","vi"]
translation_fallback: null
fallback_fields: []
published_at: "2026-10-07T14:10:55.000Z"
category: "Open Source"
topics: ["coding","open-source"]
source_urls: ["https://github.com/Queuingtheorydotcom/11SquaresFormalized","https://news.ycombinator.com/item?id=49993121"]
summary: "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 - Queuingtheorydotcom/11SquaresFormalized"
---

# Chứng minh có sự hỗ trợ của AI về cách xếp 11 hình vuông tối ưu

> [Open the canonical story](<https://aidr.today/d5683fff?lang=vi>)

**Published:** 2026-10-07T14:10:55.000Z
**Category:** Open Source
**Topics:** coding, open\-source

## Summary

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 \- Queuingtheorydotcom/11SquaresFormalized

## Sources

- [Story source](<https://github.com/Queuingtheorydotcom/11SquaresFormalized>)
- [Discussion](<https://news.ycombinator.com/item?id=49993121>)