11개 정사각형의 최적 패킹, AI 보조 증명 완료AI-assisted proof of optimal packing for 11 squares▲ 119 · github.com · 5일 전 · 55 댓글원문 보기 → HN에서 보기 →원문 요약원문을 요약하고 있습니다…