Shtetl-Optimized » Blog Archive » BusyBeaver(5) is now known to be 47,176,870
The news these days feels apocalyptic to me—as if we’re living through, if not the last days of humanity, then surely the last days of liberal democracy on earth. All the more reason to ignore all of that, then, and blog instead about the notorious Busy Beaver function! Because holy moly, what news have I got today. For lovers of this super-rapidly-growing sequence of integers, I’ve honored to announce the biggest Busy Beaver development that there’s been since 1983, when I slept in a crib and you booted up your computer using a 5.25-inch floppy. That was the year when Allen Brady determined that BusyBeaver(4) was equal to 107. (Tibor Radó, who invented the Busy Beaver function in the 1960s, quickly proved with his student Shen Lin that the first three values were 1, 6, and 21 respectively. The fourth value was harder.) Only now, after an additional 41 years, do we know the fifth Busy Beaver value. Today, an international collaboration called bbchallenge is announcing that it’s determi
Shtetl-Optimized >> Blog Archive >> BusyBeaver(5) is now known to be 47,176,870 Shtetl-Optimized The Blog of Scott Aaronson If you take nothing else from this blog: quantum computers won't solve hard problems instantly by just trying all solutions in parallel. Also, please read Zvi Mowshowitz's masterpiece on how to fix K-12 education! --> << “Never A Better Time to Visit”: Our Post-October-7 Trip to Israel The Zombie Misconception of Theoretical Computer Science >> BusyBeaver(5) is now known to be 47,176,870 The news these days feels apocalyptic to me—as if we’re livin
Explore this link on the map →related reading
- Shtetl-Optimized >> Blog Archive >> BusyBeaver(6) is really quite largescottaaronson.blog
- Shtetl-Optimized >> Blog Archive >> The 8000th Busy Beaver number eludes ZF set theory: new paper by Adam Yedidia and mescottaaronson.blog
- Who Can Name the Bigger Number?scottaaronson.com
- Shtetl-Optimized >> Blog Archive >> The First Law of Complexodynamicsscottaaronson.blog
- Computational Complexityblog.computationalcomplexity.org
- What's new | Updates on my research and expository papers, discussion of open problems, and other maths-related topics. By Terence Taoterrytao.wordpress.com
- Mathematics in the Library of Babel - Daniel Littdaniellitt.com
- Computational Complexity Theory (Stanford Encyclopedia of Philosophy)plato.stanford.edu
- Gwern visits BAIR – Yuxi on the Wiredyuxi.ml
- Gödel's incompleteness theorems - Wikipediaen.wikipedia.org
- Shtetl-Optimized >> Blog Archive >> Dispatches from the possibly last days of human relevancescottaaronson.blog
- A recent experience with ChatGPT 5.5 Pro | Gowers's Webloggowers.wordpress.com