P = NP, but the smallest exponent for the algorithm is BusyBeaver(7).
October 27, 2026 at 2:29 AM
P = NP, but the smallest exponent for the algorithm is BusyBeaver(7).
I'll be laughing very hard of we get "P = NP, but the degree for the relevant polynomial is BusyBeaver(7)" or something like that.
October 27, 2026 at 12:56 PM
I'll be laughing very hard of we get "P = NP, but the degree for the relevant polynomial is BusyBeaver(7)" or something like that.
Regarding math, Dana Moshkovitz has a similar kind of reaction to me, despite her central problem of study (unique games conjecture) being "solved" by openai. scottaaronson.blog?p=10169
The Mathocalypse
More Updates (Oct. 12): Jeffrey Ketchersid has used Claude Code agents to show that BusyBeaver(10) exceeds Graham’s number, beating the previous best result that BB(13) does so. In response t…
scottaaronson.blog
October 15, 2026 at 2:47 AM
Regarding math, Dana Moshkovitz has a similar kind of reaction to me, despite her central problem of study (unique games conjecture) being "solved" by openai. scottaaronson.blog?p=10169
so AI allegedly "solved' a bunch of math problems... BUT the AI-written proofs are so bizarre & confusing that even people working on these problems for their entire career can't make sense of what the AI is trying to say.
I'm no psychic, but I think I have a prediction.
scottaaronson.blog?p=10169
I'm no psychic, but I think I have a prediction.
scottaaronson.blog?p=10169
The Mathocalypse
More Updates (Oct. 12): Jeffrey Ketchersid has used Claude Code agents to show that BusyBeaver(10) exceeds Graham’s number, beating the previous best result that BB(13) does so. In response t…
scottaaronson.blog
October 14, 2026 at 7:57 PM
so AI allegedly "solved' a bunch of math problems... BUT the AI-written proofs are so bizarre & confusing that even people working on these problems for their entire career can't make sense of what the AI is trying to say.
I'm no psychic, but I think I have a prediction.
scottaaronson.blog?p=10169
I'm no psychic, but I think I have a prediction.
scottaaronson.blog?p=10169
"OpenAI [released] results in the field of mathematics. However, [no-one] has understood any of the proofs yet. Experts [...] say the papers are so horribly written they're impossible to read without AI help. The citations are also often irrelevant and confusing."
scottaaronson.blog?p=10169&utm_...
scottaaronson.blog?p=10169&utm_...
The Mathocalypse
More Updates (Oct. 12): Jeffrey Ketchersid has used Claude Code agents to show that BusyBeaver(10) exceeds Graham’s number, beating the previous best result that BB(13) does so. In response t…
scottaaronson.blog
October 13, 2026 at 7:10 AM
"OpenAI [released] results in the field of mathematics. However, [no-one] has understood any of the proofs yet. Experts [...] say the papers are so horribly written they're impossible to read without AI help. The citations are also often irrelevant and confusing."
scottaaronson.blog?p=10169&utm_...
scottaaronson.blog?p=10169&utm_...
Busy Beaver BB(10) aurait imprimé plus de 1 que le nombre de Graham (≈3·10^173000000), une valeur qui dépasse de loin les plus grands nombres publiés en mathématiques.
techfi24.com #BusyBeaver
techfi24.com #BusyBeaver
Busy Beaver BB(10) dépasse le nombre de Graham
Le problème Busy Beaver consiste à déterminer, pour un nombre donné d'états n, le nombre maximal de symboles 1 qu’une machine de Turing à n états peut imprimer avant de s’arrêter. Les valeurs exactes
www.techfi24.com
October 13, 2026 at 4:10 PM
Busy Beaver BB(10) aurait imprimé plus de 1 que le nombre de Graham (≈3·10^173000000), une valeur qui dépasse de loin les plus grands nombres publiés en mathématiques.
techfi24.com #BusyBeaver
techfi24.com #BusyBeaver
As a busybeaver server contributor stated, if it works, use it
September 8, 2026 at 1:51 AM
As a busybeaver server contributor stated, if it works, use it
My PyData Seattle talk is now online:
How to Optimize Python for Slowness
Exploring Turing machines, Busy Beaver results, and Python programs that run absurdly long (and sometimes fast).
🎥 youtu.be/wSiF1Bm8f3s
#Python #TuringMachines #BusyBeaver #PyDataSeattle #ScientificComputing #PyData
How to Optimize Python for Slowness
Exploring Turing machines, Busy Beaver results, and Python programs that run absurdly long (and sometimes fast).
🎥 youtu.be/wSiF1Bm8f3s
#Python #TuringMachines #BusyBeaver #PyDataSeattle #ScientificComputing #PyData
Carl Kadie - How to Optimize your Python Program for Slowness | PyData Seattle 2025
YouTube video by PyData
youtu.be
November 18, 2025 at 3:35 PM
My PyData Seattle talk is now online:
How to Optimize Python for Slowness
Exploring Turing machines, Busy Beaver results, and Python programs that run absurdly long (and sometimes fast).
🎥 youtu.be/wSiF1Bm8f3s
#Python #TuringMachines #BusyBeaver #PyDataSeattle #ScientificComputing #PyData
How to Optimize Python for Slowness
Exploring Turing machines, Busy Beaver results, and Python programs that run absurdly long (and sometimes fast).
🎥 youtu.be/wSiF1Bm8f3s
#Python #TuringMachines #BusyBeaver #PyDataSeattle #ScientificComputing #PyData
New talk: Understanding new Busy Beaver/Turing machine results with simple programs and fast visualizations. Even shows how to compute 10↑↑15 in code.
Video: www.youtube.com/watch?v=ec-u...
#Rust #RustLang #TuringMachine #BusyBeaver #Algorithms #BigNumbers #Visualization #Programming
Video: www.youtube.com/watch?v=ec-u...
#Rust #RustLang #TuringMachine #BusyBeaver #Algorithms #BigNumbers #Visualization #Programming
How to Optimize Rust for Slowness — by Carl Kadie — Seattle Rust User Group, September 2025
YouTube video by Rust
www.youtube.com
September 29, 2025 at 5:51 PM
New talk: Understanding new Busy Beaver/Turing machine results with simple programs and fast visualizations. Even shows how to compute 10↑↑15 in code.
Video: www.youtube.com/watch?v=ec-u...
#Rust #RustLang #TuringMachine #BusyBeaver #Algorithms #BigNumbers #Visualization #Programming
Video: www.youtube.com/watch?v=ec-u...
#Rust #RustLang #TuringMachine #BusyBeaver #Algorithms #BigNumbers #Visualization #Programming
guys we found him
the fifth busybeaver
the fifth busybeaver
January 30, 2025 at 3:13 AM
guys we found him
the fifth busybeaver
the fifth busybeaver
New pin “” on board “Collectables”
New pin on "Collectables" So I’ve been a busy little beaver and have managed to make a hefty pile of stickers. Most of which are brand new! If only there was a ‘good’ day to launch. Maybe a Friday, a ‘Good Friday’ 😉 #stickers #etsyuk #mentalhealthawareness…
New pin on "Collectables" So I’ve been a busy little beaver and have managed to make a hefty pile of stickers. Most of which are brand new! If only there was a ‘good’ day to launch. Maybe a Friday, a ‘Good Friday’ 😉 #stickers #etsyuk #mentalhealthawareness…
New pin “” on board “Collectables”
New pin on "Collectables" So I’ve been a busy little beaver and have managed to make a hefty pile of stickers. Most of which are brand new! If only there was a ‘good’ day to launch. Maybe a Friday, a ‘Good Friday’ 😉 #stickers #etsyuk #mentalhealthawareness #busybeaver View Pin | View Board
maelasae.com
November 20, 2025 at 4:40 PM
New pin “” on board “Collectables”
New pin on "Collectables" So I’ve been a busy little beaver and have managed to make a hefty pile of stickers. Most of which are brand new! If only there was a ‘good’ day to launch. Maybe a Friday, a ‘Good Friday’ 😉 #stickers #etsyuk #mentalhealthawareness…
New pin on "Collectables" So I’ve been a busy little beaver and have managed to make a hefty pile of stickers. Most of which are brand new! If only there was a ‘good’ day to launch. Maybe a Friday, a ‘Good Friday’ 😉 #stickers #etsyuk #mentalhealthawareness…
Interessant sind der Beweis aus dem letzten Jahr, dass BusyBeaver(5)=47.176.870 ist und auch seine Ausführungen zu Quantencomputern. Problematischer sind seine Ausführungen zu Kurt Gödel und dass, wenn damals schon das Halteproblem und Turing Maschinen bekannt gewesen ... 2/5
April 26, 2025 at 8:44 AM
Interessant sind der Beweis aus dem letzten Jahr, dass BusyBeaver(5)=47.176.870 ist und auch seine Ausführungen zu Quantencomputern. Problematischer sind seine Ausführungen zu Kurt Gödel und dass, wenn damals schon das Halteproblem und Turing Maschinen bekannt gewesen ... 2/5
BusyBeaver(6) Is Quite Large [Discussion]
BusyBeaver(6) Is Quite Large
BusyBeaver(6) Is Quite Large
scottaaronson.blog
June 28, 2025 at 7:52 PM
BusyBeaver(6) Is Quite Large [Discussion]
Der nächste Hammer winkt bei BusyBeaver(748), denn es gibt eine Turingmaschine, die genau dann anhält, wenn die ZFC-Mengenlehre inkonsistent ist. Sie hat 748 interne Zutände.
Leider folgt daraus auch, dass BusyBeaver(748) nicht berechenbar ist 🙁.
https://eigenpod.de/eig039-fuenf-fleissige-biber/
Leider folgt daraus auch, dass BusyBeaver(748) nicht berechenbar ist 🙁.
https://eigenpod.de/eig039-fuenf-fleissige-biber/
July 30, 2024 at 1:54 PM
Der nächste Hammer winkt bei BusyBeaver(748), denn es gibt eine Turingmaschine, die genau dann anhält, wenn die ZFC-Mengenlehre inkonsistent ist. Sie hat 748 interne Zutände.
Leider folgt daraus auch, dass BusyBeaver(748) nicht berechenbar ist 🙁.
https://eigenpod.de/eig039-fuenf-fleissige-biber/
Leider folgt daraus auch, dass BusyBeaver(748) nicht berechenbar ist 🙁.
https://eigenpod.de/eig039-fuenf-fleissige-biber/
Eine solche Maschine kann aber nur BusyBeaver(27) Schritte laufen und noch anhalten. Läuft sie länger, hält sie garantiert niemals an.
Also sollten wir BB(27) berechnen. Immerhin kennen wir seit dem 2.7. BusyBeaver(5) !
Also sollten wir BB(27) berechnen. Immerhin kennen wir seit dem 2.7. BusyBeaver(5) !
July 30, 2024 at 1:52 PM
Eine solche Maschine kann aber nur BusyBeaver(27) Schritte laufen und noch anhalten. Läuft sie länger, hält sie garantiert niemals an.
Also sollten wir BB(27) berechnen. Immerhin kennen wir seit dem 2.7. BusyBeaver(5) !
Also sollten wir BB(27) berechnen. Immerhin kennen wir seit dem 2.7. BusyBeaver(5) !
Thanks @BusyBeaver for supporting our community and the great buttons.
November 12, 2024 at 2:25 PM
Thanks @BusyBeaver for supporting our community and the great buttons.
BusyBeaver(6) Is Quite Large https://scottaaronson.blog/?p=8972 (http://news.ycombinator.com/item?id=44406171)
June 29, 2025 at 5:43 AM
BusyBeaver(6) Is Quite Large https://scottaaronson.blog/?p=8972 (http://news.ycombinator.com/item?id=44406171)
📰 BusyBeaver(6) Is Quite Large
💬 Commenters are baffled by BB(748) and its independence from ZFC—diving deep into uncomputable math and cosmic analogies. 🤯
https://news.ycombinator.com/item?id=44406171
💬 Commenters are baffled by BB(748) and its independence from ZFC—diving deep into uncomputable math and cosmic analogies. 🤯
https://news.ycombinator.com/item?id=44406171
June 28, 2025 at 5:45 PM
📰 BusyBeaver(6) Is Quite Large
💬 Commenters are baffled by BB(748) and its independence from ZFC—diving deep into uncomputable math and cosmic analogies. 🤯
https://news.ycombinator.com/item?id=44406171
💬 Commenters are baffled by BB(748) and its independence from ZFC—diving deep into uncomputable math and cosmic analogies. 🤯
https://news.ycombinator.com/item?id=44406171
The Busy Beaver Challenge
Collaborative research project focused on finding new busy beaver values.
bbchallenge.org
January 30, 2025 at 10:09 AM
Busybeaver(Tree(g100))
August 1, 2024 at 6:08 AM
Busybeaver(Tree(g100))
BusyBeaver(6) Is Quite Large | Discussion
BusyBeaver(6) is really quite large
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 scienc…
scottaaronson.blog
June 28, 2025 at 5:20 PM
BusyBeaver(6) Is Quite Large | Discussion
"Why did the beaver choose to build its dam near the airport?
Because it heard there was a lot ofTAKING OFF and LANDING opportunities!
punnypeak.com/beaver-puns/
#BeaverPun
#DamFunny
#Woodchuck
#TailTale
#BucktoothedBanter
#BusyBeaver
#DamselInDistress
#PawsitivelyHilarious
#PunnyPeak"
Because it heard there was a lot ofTAKING OFF and LANDING opportunities!
punnypeak.com/beaver-puns/
#BeaverPun
#DamFunny
#Woodchuck
#TailTale
#BucktoothedBanter
#BusyBeaver
#DamselInDistress
#PawsitivelyHilarious
#PunnyPeak"
Tickle Your Funny Bone with 180+ Beaver-tastic Jokes & Puns!
Welcome to the ultimate list of beaver puns and jokes! Don't worry, we promise they won't dam-age your sense of humor. These puns are sure to make you laugh
punnypeak.com
June 8, 2024 at 4:58 PM
"Why did the beaver choose to build its dam near the airport?
Because it heard there was a lot ofTAKING OFF and LANDING opportunities!
punnypeak.com/beaver-puns/
#BeaverPun
#DamFunny
#Woodchuck
#TailTale
#BucktoothedBanter
#BusyBeaver
#DamselInDistress
#PawsitivelyHilarious
#PunnyPeak"
Because it heard there was a lot ofTAKING OFF and LANDING opportunities!
punnypeak.com/beaver-puns/
#BeaverPun
#DamFunny
#Woodchuck
#TailTale
#BucktoothedBanter
#BusyBeaver
#DamselInDistress
#PawsitivelyHilarious
#PunnyPeak"
