For overdetermined reasons, I’ve lately found the world an increasingly terrifying and depressing place. It’s gotten harder and harder to concentrate on research, or even popular science writing. Every so often, though, something breaks through that wakes my inner child, reminds me of why I fell in love with research thirty years ago, and helps me forget about the triumphantly strutting factions working to destroy everything I value.<\/p>\n\n\n\n
Back in 2022, I reported an exciting advance<\/a> in BusyBeaverology<\/a>: namely, whereas we previously knew merely that BB(6) > 1036,534<\/sup>, Pavel Kropitz managed to show that<\/p>\n\n\n\n BB(6) > 15<\/sup>10.<\/p>\n\n\n\n For those tuning in from home, here BB(6) is the 6th<\/sup> Busy Beaver number, i.e. the maximum number of steps that a 6-state Turing machine with a {0,1} alphabet can take before halting, when run on an initially all-0 input tape. Also, the left-superscript means tetration<\/a><\/i>, or iterated exponentiation: for example, 15<\/sup>10 means 10 to the 10 to the 10 and so on 15 times.<\/p>\n\n\n\n By comparison, last year the international “BBchallenge” team determined that BB(5) is “merely” 47,176,870<\/a> (see also Quanta<\/em> magazine’s superb feature article<\/a> on that milestone). So, between 5 and 6 is where the Busy Beaver function makes its leap, from the millions to beyond the bounds of observable reality.<\/p>\n\n\n\n But if you thought that was the end of the BB(6) story, think again! Eleven days ago, Tristan Sterin, who organized the BBchallenge the team, emailed to tell me that a team member with the handle “mxdys” improved the BB(6) bound yet further<\/a>, to<\/p>\n\n\n\n BB(6) > 10,000,000<\/sup>10<\/p>\n\n\n\n (i.e., 10 to the 10 to the 10 and so on 10 million times), with a correctness proof in Coq<\/a>. Then, three days ago, Tristan wrote again<\/em> to say that mxdys has improved the bound again<\/em><\/a>, to<\/p>\n\n\n\n $$ BB(6) \\gt ^{^{{^9}2}2}2 $$<\/p>\n\n\n\n I.e., BB(6) is at least 2 tetrated to the 2 tetrated to the 2 tetrated to the 9. So in particular, BB(6) is at least 2 pentated to the 5, where pentation<\/a><\/em> is iterated tetration, i.e. the operation that is to tetration as tetration is to exponentiation, exponentiation is to multiplication, and multiplication is to addition.<\/p>\n\n\n\n Last week, when we “merely” knew that BB(6) > 10,000,000<\/sup>10, I talked to a journalist who asked me to give an intuitive sense of how big such a number is. So I said, imagine you had 10,000,000<\/sup>10 grains of sand. Then you could … well, uh … you could fill about 10,000,000<\/sup>10 copies of the observable universe with that sand. I hope that helps people visualize it!<\/p>\n\n\n\n The journalist also asked: have these new discoveries about BB(6) caused me to rethink any broader beliefs about the Busy Beaver function? And I mean, yes and no: it was always<\/em> completely within the realm of possibility that BB(6) would already be, not some puny little thing like 1036,534<\/sup>, but way out in iteration land. Now that we know for sure that it is, though, maybe I ought to conjecture that the value of BB(n) becomes independent of the ZFC axioms of set theory already when n is 7 or 8 or 9, rather than when it’s 20 or 30 or whatever. (Currently, we know<\/a> that<\/a> BB(n) becomes independent of ZFC only when n=643.)<\/p>\n\n\n\n Unrelated Update:<\/mark><\/strong> I’m just now returning to the US from STOC’2025<\/a> in Prague, where I saw lots of old friends and learned many interesting new things, again helping to distract me from the state of the world! Many I’ll write about some of those things in a future post. For now, though, anyone who’s interested in my STOC plenary lecture, entitled “The Status of Quantum Speedups,” can check out the PowerPoint slides here<\/a>.<\/p>\n","protected":false},"excerpt":{"rendered":" For overdetermined reasons, I’ve lately found the world an increasingly terrifying and depressing place. It’s gotten harder and harder to concentrate on research, or even popular science writing. Every so often, though, something breaks through that wakes my inner child, reminds me of why I fell in love with research thirty years ago, and helps […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"advanced_seo_description":"","jetpack_seo_html_title":"","jetpack_seo_noindex":false,"_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_publicize_message":"{title}\n\n{excerpt}\n\n{url}","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},"_wpas_customize_per_network":false,"jetpack_post_was_ever_published":false},"categories":[31,11],"tags":[],"class_list":["post-8972","post","type-post","status-publish","format-standard","hentry","category-announcements","category-nerd-interest"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=\/wp\/v2\/posts\/8972","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=8972"}],"version-history":[{"count":11,"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=\/wp\/v2\/posts\/8972\/revisions"}],"predecessor-version":[{"id":8984,"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=\/wp\/v2\/posts\/8972\/revisions\/8984"}],"wp:attachment":[{"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=8972"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=8972"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=8972"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}
\n\n\n\n