{"id":66981,"date":"2022-11-23T09:03:29","date_gmt":"2022-11-23T09:03:29","guid":{"rendered":"https:\/\/merikebi.warrenmyers.com\/?p=66981"},"modified":"2022-11-23T09:03:29","modified_gmt":"2022-11-23T09:03:29","slug":"theres-just-one-catch-the-177-page-proof-the-result-of-a-decade-long-research-program-makes-significant-use-of-computers-this-arguably-makes-it-difficult-for-ot","status":"publish","type":"post","link":"https:\/\/merikebi.warrenmyers.com\/?p=66981","title":{"rendered":"\u201cThere\u2019s just one catch. The 177-page proof \u2014 the result of a decade-long research program \u2014 makes significant use of computers. This arguably makes it difficult for other mathematicians to verify it.\u201d https:\/\/t.co\/UZmBXFK9na https:\/\/t.co\/ddCylUYJG3"},"content":{"rendered":"<blockquote class=\"twitter-tweet\">\n<p lang=\"\" dir=\"ltr\">\u201cThere\u2019s just one catch.<\/p>\n<p>The 177-page proof \u2014 the result of a decade-long research program \u2014 makes significant use of computers. This arguably makes it difficult for other mathematicians to verify it.\u201d <\/p>\n<p>https:\/\/t.co\/UZmBXFK9na https:\/\/t.co\/ddCylUYJG3<\/p>\n<p>  &mdash; Warren Myers \ud83d\udc27\ud83d\udc3f (@warrenmyers)<br \/>\n  <a href=\"https:\/\/twitter.com\/warrenmyers\/status\/1595342140044972033\">Nov 23, 2022<\/a>\n<\/p><\/blockquote>\n<p><script async src=\"https:\/\/platform.twitter.com\/widgets.js\" charset=\"utf-8\"><\/script><br \/>\n<br \/>\nfrom Twitter https:\/\/twitter.com\/warrenmyers<\/p>\n<p>November 23, 2022 at 04:03AM<br \/>\nvia <a href=\"https:\/\/ifttt.com\/?ref=da&#038;site=wordpress\">IFTTT<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u201cThere\u2019s just one catch. The 177-page proof \u2014 the result of a decade-long research program \u2014 makes significant use of computers. This arguably makes it difficult for other mathematicians to verify it.\u201d https:\/\/t.co\/UZmBXFK9na https:\/\/t.co\/ddCylUYJG3 &mdash; Warren Myers \ud83d\udc27\ud83d\udc3f (@warrenmyers) Nov 23, 2022 from Twitter https:\/\/twitter.com\/warrenmyers November 23, 2022 at 04:03AM via IFTTT<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_feature_clip_id":0,"_jetpack_memberships_contains_paid_content":false,"footnotes":"","jetpack_post_was_ever_published":false},"categories":[4],"tags":[792],"keyring_services":[],"class_list":["post-66981","post","type-post","status-publish","format-standard","hentry","category-blih","tag-twitter"],"jetpack_sharing_enabled":true,"jetpack_featured_media_url":"","_links":{"self":[{"href":"https:\/\/merikebi.warrenmyers.com\/index.php?rest_route=\/wp\/v2\/posts\/66981","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/merikebi.warrenmyers.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/merikebi.warrenmyers.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/merikebi.warrenmyers.com\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/merikebi.warrenmyers.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=66981"}],"version-history":[{"count":1,"href":"https:\/\/merikebi.warrenmyers.com\/index.php?rest_route=\/wp\/v2\/posts\/66981\/revisions"}],"predecessor-version":[{"id":66982,"href":"https:\/\/merikebi.warrenmyers.com\/index.php?rest_route=\/wp\/v2\/posts\/66981\/revisions\/66982"}],"wp:attachment":[{"href":"https:\/\/merikebi.warrenmyers.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=66981"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/merikebi.warrenmyers.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=66981"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/merikebi.warrenmyers.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=66981"},{"taxonomy":"keyring_services","embeddable":true,"href":"https:\/\/merikebi.warrenmyers.com\/index.php?rest_route=%2Fwp%2Fv2%2Fkeyring_services&post=66981"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}