{"id":47427,"date":"2026-10-08T13:35:15","date_gmt":"2026-10-08T04:35:15","guid":{"rendered":"https:\/\/jore2.com\/?p=47427"},"modified":"2026-10-08T13:35:15","modified_gmt":"2026-10-08T04:35:15","slug":"ai-21378-ai-assisted-proof-of-optimal-packing-for-11-squares","status":"publish","type":"post","link":"https:\/\/jore2.com\/?p=47427","title":{"rendered":"AI\uac00 \ucc38\uc5ec\ud55c 11\uac1c \uc815\uc0ac\uac01\ud615 \ucd5c\uc801 \ud3ec\uc7a5 \uc99d\uba85, Lean \ud615\uc2dd \uac80\uc99d \uc644\ub8cc"},"content":{"rendered":"
\n

\uc724\uc9c0\ud6c4<\/strong><\/p>\n<\/div>\n

11\uac1c\uc758 \ub2e8\uc704 \uc815\uc0ac\uac01\ud615\uc744 \ub354 \ud070 \uc815\uc0ac\uac01\ud615 \uc548\uc5d0 \ub123\ub294 \ubb38\uc81c\uc5d0\uc11c \ucd5c\uc18c \ud06c\uae30\uc758 \uc678\uacfd \uc815\uc0ac\uac01\ud615\uc774 \ubb34\uc5c7\uc778\uc9c0\uc5d0 \ub300\ud55c \uc218\ud559\uc801 \ub17c\uc7c1\uc774 \uc0c8\ub85c\uc6b4 \uad6d\uba74\uc744 \ub9de\uc558\uc2b5\ub2c8\ub2e4. Walter Trump\uc774 1979\ub144\uc5d0 \ubc1c\uacac\ud55c \ubc30\uc5f4\uc774 \uc2e4\uc81c\ub85c \ucd5c\uc801\uc778\uc9c0 \ud655\uc778\ud558\ub294 \uacfc\uc815\uc5d0 \uc778\uacf5\uc9c0\ub2a5 \uc2dc\uc2a4\ud15c\uc774 \uc9c1\uc811 \ucc38\uc5ec\ud588\uace0, \uadf8 \uacb0\uacfc\uac00 \ud615\uc2dd\uc801 \uac80\uc99d \uc5b8\uc5b4\uc778 Lean\uc744 \ud1b5\ud574 \uc644\uc804\ud788 \uc99d\uba85\ub41c \uc0c1\ud0dc\uc785\ub2c8\ub2e4.<\/p>\n

\ud574\ub2f9 \ud504\ub85c\uc81d\ud2b8\ub294 2026\ub144 10\uc6d4 6\uc77c GitHub \uc800\uc7a5\uc18c ’11SquaresFormalized’\ub97c \ud1b5\ud574 \uacf5\uac1c\ub418\uc5c8\uc2b5\ub2c8\ub2e4. \uc800\uc7a5\uc18c\uc5d0\ub294 \ucd1d 7,920\uac1c\uc758 Lean \ubaa8\ub4c8\uc774 \ud3ec\ud568\ub418\uc5b4 \uc788\uc73c\uba70, \ucd5c\uc885 \uac10\uc0ac \uacb0\uacfc \ubaa8\ub4e0 \ubaa8\ub4c8\uc774 \uc624\ub958 \uc5c6\uc774 \uac80\uc99d\ub418\uc5c8\uc2b5\ub2c8\ub2e4. \ub610\ud55c \uc99d\uba85 \uacfc\uc815\uc5d0\uc11c \uc784\uc758\uc758 \uac00\uc815\uc744 \ubc1b\uc544\ub4e4\uc5ec\uc57c \ud558\ub294 ‘admission’\uc740 \ub2e8 \ud55c \uac74\ub3c4 \ubc1c\uc0dd\ud558\uc9c0 \uc54a\uc558\uc2b5\ub2c8\ub2e4.<\/p>\n

\uc99d\uba85 \ub300\uc0c1\uc774 \ub41c \ubc30\uc5f4\uc740 \uc678\uacfd \uc815\uc0ac\uac01\ud615\uc758 \ubcc0 \uae38\uc774\uac00 \uc57d 3.87708359002281\uc778 \uad6c\uc870\uc785\ub2c8\ub2e4. \uc774 \uac12\uc774 11\uac1c\uc758 \uc815\uc0ac\uac01\ud615\uc744 \ub2f4\uc744 \uc218 \uc788\ub294 \uac00\uc7a5 \uc791\uc740 \ud06c\uae30\uc784\uc744 \ucef4\ud4e8\ud130 \ubcf4\uc870 \uc99d\uba85\uc744 \ud1b5\ud574 \ud655\ub9bd\ud588\uc2b5\ub2c8\ub2e4. \ud504\ub85c\uc81d\ud2b8\uc5d0\ub294 \uc778\uac04 \ud611\uc5c5\uc790\ub4e4\uacfc \ud568\uaed8 OpenAI\uc758 Astra\uc640 Anthropic\uc758 Claude\uac00 \uc9c1\uc811 \uae30\uc5ec\uc790\ub85c \uba85\uc2dc\ub418\uc5b4 \uc788\uc2b5\ub2c8\ub2e4.<\/p>\n

\uae30\uc874 \uc218\ud559\uacc4\uc5d0\uc11c\ub294 \uc774\ub7ec\ud55c \ubcf5\uc7a1\ud55c \uc870\ud569\ub860\uc801 \ubb38\uc81c\ub97c \ud574\uacb0\ud558\uae30 \uc704\ud574 ‘\ud53c\ud560 \uc218 \uc5c6\ub294 \uc9d1\ud569(unavoidable set)’ \uc811\uadfc\ubc95\uc744 \uc0ac\uc6a9\ud574 \uc654\uc2b5\ub2c8\ub2e4. \ub450 \uc815\uc0ac\uac01\ud615\uc758 \uc911\uc2ec\uc774 \uac19\uc740 \uc601\uc5ed\uc5d0 \ub4e4\uc5b4\uac08 \uc218 \uc5c6\uc744 \uc815\ub3c4\ub85c \uacf5\uac04\uc744 \uc138\ubd84\ud654\ud558\uace0, \uac01 \uacbd\uc6b0\uc758 \uc218\ub97c \ubc30\uc81c\ud558\ub294 \ubc29\uc2dd\uc785\ub2c8\ub2e4. 1989\ub144\uc5d0\ub294 Stromquist\uac00 \uc120\ud615 \uacc4\ud68d\ubc95(LP)\uc744 \ud65c\uc6a9\ud574 \uc77c\ubd80 \uad6c\uc131\uc744 \ubc30\uc81c\ud55c \ubc14 \uc788\uc9c0\ub9cc, \ub2f9\uc2dc \ucef4\ud4e8\ud130 \uc131\ub2a5\uc73c\ub85c\ub294 \uc804\uccb4 \uacbd\uc6b0\uc758 \uc218\ub97c \ucc98\ub9ac\ud558\uae30 \uc5b4\ub824\uc6e0\uc2b5\ub2c8\ub2e4.<\/p>\n

\uc774\ubc88 \uc0ac\ub840\uc5d0\uc11c AI\uc758 \uc5ed\ud560\uc740 \uae30\uc874 \ubc29\ubc95\ub860\uc758 \uc790\ub3d9\ud654\uc640 \ud6a8\uc728\ud654\uc5d0 \uc9d1\uc911\ub418\uc5c8\uc2b5\ub2c8\ub2e4. Hacker News \ucee4\ubba4\ub2c8\ud2f0\uc758 \ud55c \ucc38\uc5ec\uc790\ub294 \uc774\ubc88 \uc791\uc5c5\uc774 AI\uac00 \uc218\ud559\uc790\uc758 \uc5ed\ud560\uc744 \ub300\uccb4\ud55c \uac83\uc774 \uc544\ub2c8\ub77c, \uac1c\uc778 \uc5f0\uad6c\uc790\ub4e4\uc774 \ubcf5\uc7a1\ud55c \uac80\uc99d\uc744 \uc218\ud589\ud560 \uc218 \uc788\ub3c4\ub85d \uc9c4\uc785 \uc7a5\ubcbd\uc744 \ub0ae\ucd98 ‘\ubbfc\uc8fc\ud654’\uc758 \uc608\ub77c\uace0 \ud3c9\uac00\ud588\uc2b5\ub2c8\ub2e4. \uacfc\uac70 \ucf00\ud50c\ub7ec \ucd94\uce21 \uc99d\uba85\uc5d0\uc11c\ub3c4 \uc720\uc0ac\ud55c \ucef4\ud4e8\ud130 \ubcf4\uc870 \uae30\ubc95\uc774 \uc0ac\uc6a9\ub418\uc5c8\uc73c\ub098, \uc774\ubc88\ucc98\ub7fc \uc18c\uaddc\ubaa8 \ud300\uc774\ub098 \uac1c\uc778\uc774 \uc804\uccb4 \uc99d\uba85\uc744 \ud615\uc2dd\uc801\uc73c\ub85c \uc644\uc131\ud55c \uacbd\uc6b0\ub294 \ub4dc\ubb3c\uc5c8\uc2b5\ub2c8\ub2e4.<\/p>\n

\ub2e4\ub9cc \uc774 \uc99d\uba85\uc740 \uc5ec\uc804\ud788 \uacc4\uc0b0\ub7c9\uc774 \ubc29\ub300\ud558\uc5ec \uc778\uac04\uc774 \uc190\uc73c\ub85c \uc77c\uc77c\uc774 \ud655\uc778\ud560 \uc218 \uc5c6\ub294 \ud615\ud0dc\uc785\ub2c8\ub2e4. \ub530\ub77c\uc11c \uc2e0\ub8b0\uc131\uc740 Lean\uacfc \uac19\uc740 \ud615\uc2dd \uac80\uc99d \ub3c4\uad6c\uc758 \uc815\ud655\uc131\uc5d0 \uc758\uc874\ud569\ub2c8\ub2e4. \ud604\uc7ac\uae4c\uc9c0 \uacf5\uac1c\ub41c \uc790\ub8cc\ub294 \ud574\ub2f9 \uc800\uc7a5\uc18c\uc758 \uac80\uc99d \uc0c1\ud0dc\ub97c \uba85\ud655\ud788 \ud558\uace0 \uc788\uc73c\ub098, \ub2e4\ub978 \uc720\uc0ac \ub09c\uc81c\ub4e4\uc5d0 \ub300\ud55c AI \uae30\ubc18 \uc99d\uba85\uc758 \uc77c\ubc18\ud654 \uac00\ub2a5\uc131\uc740 \uc544\uc9c1 \uc785\uc99d\ub418\uc9c0 \uc54a\uc740 \uc0c1\ud0dc\uc785\ub2c8\ub2e4.<\/p>\n","protected":false},"excerpt":{"rendered":"

2026\ub144 10\uc6d4 6\uc77c \uacf5\uac1c\ub41c GitHub \uc800\uc7a5\uc18c\uc5d0\uc11c OpenAI\uc758 Astra\uc640 Anthropic\uc758 Claude\uac00 \uae30\uc5ec\ud55c 11\uac1c \uc815\uc0ac\uac01\ud615 \ud3ec\uc7a5 \ucd5c\uc801\uc131 \uc99d\uba85\uc774 Lean\uc73c\ub85c \uc644\uc804 \uac80\uc99d\ub418\uc5c8\uc2b5\ub2c8\ub2e4.<\/p>\n","protected":false},"author":2,"featured_media":47426,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"jore2_quality_policy":"people-first-v2","footnotes":""},"categories":[8858],"tags":[7,9855,11790,10743,31180,31181],"class_list":["post-47427","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-ai","tag-ai","tag-anthropic","tag-lean","tag-openai","tag-31180","tag-31181"],"featured_image_urls":{"full":["https:\/\/jore2.com\/wp-content\/uploads\/2026\/10\/ai-21378-ai-assisted-proof-of-optimal-packing-for-11-squares.png",1200,600,false],"thumbnail":["https:\/\/jore2.com\/wp-content\/uploads\/2026\/10\/ai-21378-ai-assisted-proof-of-optimal-packing-for-11-squares-150x150.png",150,150,true],"medium":["https:\/\/jore2.com\/wp-content\/uploads\/2026\/10\/ai-21378-ai-assisted-proof-of-optimal-packing-for-11-squares-300x150.png",300,150,true],"medium_large":["https:\/\/jore2.com\/wp-content\/uploads\/2026\/10\/ai-21378-ai-assisted-proof-of-optimal-packing-for-11-squares-768x384.png",640,320,true],"large":["https:\/\/jore2.com\/wp-content\/uploads\/2026\/10\/ai-21378-ai-assisted-proof-of-optimal-packing-for-11-squares-1024x512.png",640,320,true],"1536x1536":["https:\/\/jore2.com\/wp-content\/uploads\/2026\/10\/ai-21378-ai-assisted-proof-of-optimal-packing-for-11-squares.png",1200,600,false],"2048x2048":["https:\/\/jore2.com\/wp-content\/uploads\/2026\/10\/ai-21378-ai-assisted-proof-of-optimal-packing-for-11-squares.png",1200,600,false],"morenews-large":["https:\/\/jore2.com\/wp-content\/uploads\/2026\/10\/ai-21378-ai-assisted-proof-of-optimal-packing-for-11-squares-825x575.png",825,575,true],"morenews-medium":["https:\/\/jore2.com\/wp-content\/uploads\/2026\/10\/ai-21378-ai-assisted-proof-of-optimal-packing-for-11-squares-590x410.png",590,410,true]},"author_info":{"info":["\uc724\uc9c0\ud6c4"]},"category_info":"AI<\/a>","tag_info":"AI","comment_count":"0","_links":{"self":[{"href":"https:\/\/jore2.com\/index.php?rest_route=\/wp\/v2\/posts\/47427","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/jore2.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/jore2.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/jore2.com\/index.php?rest_route=\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/jore2.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=47427"}],"version-history":[{"count":0,"href":"https:\/\/jore2.com\/index.php?rest_route=\/wp\/v2\/posts\/47427\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/jore2.com\/index.php?rest_route=\/wp\/v2\/media\/47426"}],"wp:attachment":[{"href":"https:\/\/jore2.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=47427"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/jore2.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=47427"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/jore2.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=47427"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}