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