{"id":29358,"date":"2023-10-28T10:52:02","date_gmt":"2023-10-28T01:52:02","guid":{"rendered":"http:\/\/nori.company\/?p=29358"},"modified":"2023-10-28T10:52:02","modified_gmt":"2023-10-28T01:52:02","slug":"lean4%ea%b0%80-%ed%85%8c%eb%a0%8c%ec%8a%a4-%ed%83%80%ec%98%a4%ec%9d%98-%ec%b5%9c%ea%b7%bc-%eb%85%bc%eb%ac%b8%ec%97%90%ec%84%9c-%ec%9e%91%ec%9d%80-%eb%b2%84%ea%b7%b8%eb%a5%bc-%eb%b0%9c%ea%b2%ac","status":"publish","type":"post","link":"https:\/\/nori.company\/?p=29358","title":{"rendered":"Lean4\uac00 \ud14c\ub80c\uc2a4 \ud0c0\uc624\uc758 \ucd5c\uadfc \ub17c\ubb38\uc5d0\uc11c \uc791\uc740 \ubc84\uadf8\ub97c \ubc1c\uacac\ud558\ub294 \ub370 \ub3c4\uc6c0\uc744 \uc90c"},"content":{"rendered":"<ul>\n<li>Terence Tao\uc758 mathstodon.xyz \uac8c\uc2dc\uae00<\/li>\n<li>Terence Tao\uc758 \ucd5c\uadfc \ub17c\ubb38\uc5d0\uc11c Lean4 \ud615\uc2dd\ud654 \ud504\ub85c\uc81d\ud2b8\ub85c \uc778\ud55c \uc791\uc9c0\ub9cc \uc911\uc694\ud55c \ubc84\uadf8 \ubc1c\uacac<\/li>\n<li>\ub17c\ubb38 6\ud398\uc774\uc9c0\uc5d0\uc11c \ud615\uc2dd\ud654\ud558\ub294 \uacfc\uc815\uc5d0\uc11c \ubc84\uadf8 \ubc1c\uacac, \ub17c\ubb38\uc740 https:\/\/arxiv.org\/pdf\/2310.05328.pdf\uc5d0\uc11c \ud655\uc778 \uac00\ub2a5<\/li>\n<li>Tao\uc758 \ub17c\ubb38\uc5d0\uc11c n=3, k=2\uc778 \uacbd\uc6b0\uc5d0 \ubc1c\uc0b0\ud558&#8230;\n<p>\ucd9c\ucc98 : <a href=\"https:\/\/news.hada.io\/topic?id=11558\" target=\"_blank\" rel=\"noopener\">GeekNews &#8211; \uac1c\ubc1c\/\uae30\uc220\/\uc2a4\ud0c0\ud2b8\uc5c5 \ub274\uc2a4 \uc11c\ube44\uc2a4 <\/a><\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Terence Tao\uc758 mathstodon.xyz \uac8c\uc2dc\uae00 Terence Tao\uc758 \ucd5c\uadfc \ub17c\ubb38\uc5d0\uc11c Lean4 \ud615\uc2dd\ud654 \ud504\ub85c\uc81d\ud2b8\ub85c \uc778\ud55c \uc791\uc9c0\ub9cc \uc911\uc694\ud55c \ubc84\uadf8 \ubc1c\uacac \ub17c\ubb38 6\ud398\uc774\uc9c0\uc5d0\uc11c \ud615\uc2dd\ud654\ud558\ub294 \uacfc\uc815\uc5d0\uc11c&hellip;<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":true,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2}},"categories":[138],"tags":[163],"class_list":["post-29358","post","type-post","status-publish","format-standard","hentry","category-it","tag-geeknews-----"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_shortlink":"https:\/\/wp.me\/pa3PO4-7Dw","jetpack-related-posts":[{"id":25139,"url":"https:\/\/nori.company\/?p=25139","url_meta":{"origin":29358,"position":0},"title":"GPT-4\ub294 \uc2dc\uac04\uc774 \uc9c0\ub0a0\uc218\ub85d \ub098\ube60\uc9c0\uace0 \uc788\ub2e4","author":"\ub178\ub9ac\ucef4\ud37c\ub2c8","date":"2023\ub144 7\uc6d4 20\uc77c","format":false,"excerpt":"\ub9ce\uc740 \uc0ac\ub78c\ub4e4\uc774 \uc774\uc5d0 \ub300\ud574 \uc598\uae30\ub97c \ud588\uc9c0\ub9cc, \uc9c0\uae08\uae4c\uc9c0\ub294 \ub2e8\ud3b8\uc801\uc778 \uac83\uc5d0 \uadf8\ucce4\uc74c \ucd5c\uadfc \ubc1c\ud45c\ub41c \ub17c\ubb38\uc5d0\uc11c GPT-4\uc758 6\uc6d4\ubc84\uc804\uacfc 3\uc6d4\ubc84\uc804\uc744 500\uac1c\uc758 \ubb38\uc81c\ub97c \uac00\uc9c0\uace0 \uac1d\uad00\uc801\uc73c\ub85c \ube44\uad50\ud574\ubd24\uc74c 3\uc6d4\uc5d0\ub294 488\uac1c\ub97c \uc815\ud655\ud558\uac8c \ub2f5\ud588\uc9c0\ub9cc, 6\uc6d4\uc5d0\ub294 \uc815\ub2f5\uc774 12\uac1c\uc5d0 \ubd88\uacfc 3\uac1c\uc6d4\ub9cc\uc5d0 \uc815\ub2f5\ub960\uc774 97.6% \uc5d0\uc11c 2.4%\uac00... \ucd9c\ucc98 : GeekNews - \uac1c\ubc1c\/\uae30\uc220\/\uc2a4\ud0c0\ud2b8\uc5c5 \ub274\uc2a4 \uc11c\ube44\uc2a4","rel":"","context":"&quot;IT&quot;\uc5d0\uc11c","block_context":{"text":"IT","link":"https:\/\/nori.company\/?cat=138"},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":22226,"url":"https:\/\/nori.company\/?p=22226","url_meta":{"origin":29358,"position":1},"title":"Microsoft, Firefox CPU \uc0ac\uc6a9\ub7c9\uc744 75% \uac10\uc18c\uc2dc\ucf1c\uc8fc\ub294 5\ub144\ub41c Defender \ubc84\uadf8 \uc218\uc815","author":"\ub178\ub9ac\ucef4\ud37c\ub2c8","date":"2023\ub144 4\uc6d4 11\uc77c","format":false,"excerpt":"Windows Defender\uc758 \uc2e4\uc2dc\uac04 \ud504\ub85c\ud14d\uc158 \uae30\ub2a5\uc774 \ud65c\uc131\ud654 \ub418\uba74, \ud2b9\uc815 \uc2dc\uc2a4\ud15c \ud638\ucd9c(VirtualProtect)\uc774 CPU\ub97c \ub9ce\uc774 \uc0ac\uc6a9\ud55c\ub2e4\ub294 \uac83\uc744 Firefox \uc5d4\uc9c0\ub2c8\uc5b4\uac00 \ubc1c\uacac \uc774\ub97c Microsoft\uc5d0 \uc81c\ubcf4\ud574\uc11c \ud328\uce58\ub428 \ud574\ub2f9 \uc774\uc288\uc5d0 \ub300\ud574\uc11c\ub294 5\ub144\uc804\uc5d0 \ubb38\uc81c\uc810\uc774 \uc81c\uae30 \ub418\uc5c8\uc73c\ub098, \uc774\uc81c\uc11c\uc57c \ud328\uce58\uac00 \ub41c \uac83 4\uc6d4 4\uc77c\uc5d0 \ub9b4... \ucd9c\ucc98 : GeekNews - \uac1c\ubc1c\/\uae30\uc220\/\uc2a4\ud0c0\ud2b8\uc5c5 \ub274\uc2a4 \uc11c\ube44\uc2a4","rel":"","context":"&quot;IT&quot;\uc5d0\uc11c","block_context":{"text":"IT","link":"https:\/\/nori.company\/?cat=138"},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":25341,"url":"https:\/\/nori.company\/?p=25341","url_meta":{"origin":29358,"position":2},"title":"\uac00\uc7a5 \uc778\uc0c1 \uae4a\uc5c8\ub358 \ucd5c\uadfc \ub17c\ubb38\uc740 \ubb34\uc5c7\uc778\uac00\uc694?","author":"\ub178\ub9ac\ucef4\ud37c\ub2c8","date":"2023\ub144 7\uc6d4 26\uc77c","format":false,"excerpt":"\"Overview of SHARD: A System for Highly Available Replicated Data\" 1988 \ub370\uc774\ud130\ubca0\uc774\uc2a4 \uc0e4\ub529\uc744 \uc18c\uac1c\ud55c \uccab \ub17c\ubb38\uc73c\ub85c \uc218\ub9ce\uc740 \ub17c\ubb38\uc5d0\uc11c \uc778\uc6a9\ub418\uc5c8\uc9c0\ub9cc, \"\uc874\uc7ac\ud558\uc9c0 \uc54a\uc74c\" \"Integral Neural Networks\" \"Blue Is the New Black (Market... \ucd9c\ucc98 : GeekNews - \uac1c\ubc1c\/\uae30\uc220\/\uc2a4\ud0c0\ud2b8\uc5c5 \ub274\uc2a4 \uc11c\ube44\uc2a4","rel":"","context":"&quot;IT&quot;\uc5d0\uc11c","block_context":{"text":"IT","link":"https:\/\/nori.company\/?cat=138"},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":30113,"url":"https:\/\/nori.company\/?p=30113","url_meta":{"origin":29358,"position":3},"title":"\uad6c\uae00 \ubc14\ub4dc \ud574\ud0b9 &#8211; \ud504\ub86c\ud504\ud2b8 \uc8fc\uc785\uc5d0\uc11c \ub370\uc774\ud130 \uc720\ucd9c\uae4c\uc9c0","author":"\ub178\ub9ac\ucef4\ud37c\ub2c8","date":"2023\ub144 11\uc6d4 14\uc77c","format":false,"excerpt":"Google Bard\uc758 \ucde8\uc57d\uc810 \ubc1c\uacac \ubc0f \uc218\uc815 Google Bard\uac00 \ucd5c\uadfc \uac15\ub825\ud55c \uc5c5\ub370\uc774\ud2b8\ub97c \ubc1b\uc544, YouTube \uc811\uadfc, \ud56d\uacf5\ud3b8 \ubc0f \ud638\ud154 \uac80\uc0c9, \uac1c\uc778 \ubb38\uc11c \ubc0f \uc774\uba54\uc77c \uc811\uadfc\uc774 \uac00\ub2a5\ud574\uc9d0. Bard\ub294 \uc774\uc81c Drive, Docs, Gmail\uc758 \ub370\uc774\ud130\ub97c \ubd84\uc11d\ud560 \uc218 \uc788\uc73c\uba70, \uc774\ub85c \uc778\ud574 \uac04\uc811 \ud504\ub86c\ud504\ud2b8 \uc778\uc81d\uc158\uc5d0 \ucde8\uc57d\ud574\uc9d0. \ud504\ub86c\ud504\ud2b8 ... \ucd9c\ucc98 : GeekNews - \uac1c\ubc1c\/\uae30\uc220\/\uc2a4\ud0c0\ud2b8\uc5c5 \ub274\uc2a4 \uc11c\ube44\uc2a4","rel":"","context":"&quot;IT&quot;\uc5d0\uc11c","block_context":{"text":"IT","link":"https:\/\/nori.company\/?cat=138"},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":30568,"url":"https:\/\/nori.company\/?p=30568","url_meta":{"origin":29358,"position":4},"title":"2021\ub144 \ub9ac\ub205\uc2a4 \ucee4\ubba4\ub2c8\ud2f0\uc5d0\uc11c \ubc1c\uc0dd\ud55c \ubc84\uadf8 \ubcf4\uace0\uac00 \uc804\uccb4\uc758 38% \uc774\uc0c1\uc744 \ucc28\uc9c0\ud568\uc5d0\ub3c4 \ubd88\uad6c\ud558\uace0 \ud310\ub9e4\ub7c9\uc740 5.8%&#8230;","author":"\ub178\ub9ac\ucef4\ud37c\ub2c8","date":"2023\ub144 11\uc6d4 24\uc77c","format":false,"excerpt":"\uc694\uc57d: \ub9ac\ub205\uc2a4 \ucee4\ubba4\ub2c8\ud2f0\uc758 \ubc84\uadf8 \ub9ac\ud3ec\ud2b8 \uae30\uc5ec\ub3c4 \ub9ac\ub205\uc2a4 \uc0ac\uc6a9\uc790\uc758 \ud310\ub9e4\ub7c9 \ub300\ube44 \ubc84\uadf8 \ub9ac\ud3ec\ud2b8 \ube44\uc728 \uac8c\uc784 \u0394V: Rings of Saturn\uc758 \ud310\ub9e4\ub7c9 \uc911 5.8%\uac00 \ub9ac\ub205\uc2a4 \uc0ac\uc6a9\uc790\uc784. \ub9ac\ub205\uc2a4 \uc0ac\uc6a9\uc790\ub4e4\uc774 \uc81c\ucd9c\ud55c \ubc84\uadf8 \ub9ac\ud3ec\ud2b8\uac00 \uc804\uccb4\uc758 38%\ub97c \ucc28\uc9c0\ud568. \ub9ac\ub205\uc2a4 \uc0ac\uc6a9\uc790 \ud55c \uba85 \ucd9c\ucc98 : GeekNews - \uac1c\ubc1c\/\uae30\uc220\/\uc2a4\ud0c0\ud2b8\uc5c5 \ub274\uc2a4 \uc11c\ube44\uc2a4","rel":"","context":"&quot;IT&quot;\uc5d0\uc11c","block_context":{"text":"IT","link":"https:\/\/nori.company\/?cat=138"},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":25257,"url":"https:\/\/nori.company\/?p=25257","url_meta":{"origin":29358,"position":5},"title":"\ucd5c\uace0 \uc131\uacfc\uc790\ub294 \ud0dc\uc5b4\ub098\ub294 \uac8c \uc544\ub2c8\ub77c \ub9cc\ub4e4\uc5b4\uc9c4\ub2e4","author":"\ub178\ub9ac\ucef4\ud37c\ub2c8","date":"2023\ub144 7\uc6d4 24\uc77c","format":false,"excerpt":"Robert E. Kelley\ub294 <How to be a Star Engineer>\ub77c\ub294 1999\ub144 \ub17c\ubb38\uc5d0\uc11c \ucd5c\uace0 \uc131\uacfc\uc790(Star Performer)\uac00 \ud0dc\uc5b4\ub098\ub294 \uac8c \uc544\ub2c8\ub77c \ub9cc\ub4e4\uc5b4\uc9c0\ub294 \uac83\uc774\uba70, \ucd5c\uace0 \uc131\uacfc\uc790\ub4e4\uc758 9\uac00\uc9c0 \uc791\uc5c5\uc804\ub7b5\uc744 \uad50\uc721\ud568\uc73c\ub85c\uc368 \uc0dd... \ucd9c\ucc98 : GeekNews - \uac1c\ubc1c\/\uae30\uc220\/\uc2a4\ud0c0\ud2b8\uc5c5 \ub274\uc2a4 \uc11c\ube44\uc2a4","rel":"","context":"&quot;IT&quot;\uc5d0\uc11c","block_context":{"text":"IT","link":"https:\/\/nori.company\/?cat=138"},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]}],"_links":{"self":[{"href":"https:\/\/nori.company\/index.php?rest_route=\/wp\/v2\/posts\/29358","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/nori.company\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/nori.company\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/nori.company\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/nori.company\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=29358"}],"version-history":[{"count":1,"href":"https:\/\/nori.company\/index.php?rest_route=\/wp\/v2\/posts\/29358\/revisions"}],"predecessor-version":[{"id":29359,"href":"https:\/\/nori.company\/index.php?rest_route=\/wp\/v2\/posts\/29358\/revisions\/29359"}],"wp:attachment":[{"href":"https:\/\/nori.company\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=29358"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/nori.company\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=29358"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/nori.company\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=29358"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}