rain 🌦️ :verified_trans: on Nostr: This is really cool -- the fifth busy beaver number has been verified to be 47 176 ...

This is really cool -- the fifth busy beaver number has been verified to be 47 176 870.

I love busy beaver numbers because they're both an interesting pastime and also define the boundary of what is knowable in mathematics.

https://www.quantamagazine.org/amateur-mathematicians-find-fifth-busy-beaver-turing-machine-20240702