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
rain 🌦️ /
npub18c…s6gwd
2024-07-02 23:50:19
Author Public Key
npub18c4r5n6lljmmynfhn87qp3svcpkhvjsleavpvtrea3d302y3auls6s6gwdPublished at
2024-07-02 23:50:19Event JSON
{
"id": "2df37141da4a2893926be46d6048053deb2883ca41076e5b568e210034813bcb",
"pubkey": "3e2a3a4f5ffcb7b24d3799fc00c60cc06d764a1fcf58162c79ec5b17a891ef3f",
"created_at": 1719964219,
"kind": 1,
"tags": [
[
"proxy",
"https://hachyderm.io/@rain/112719575078206696",
"web"
],
[
"proxy",
"https://hachyderm.io/users/rain/statuses/112719575078206696",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://hachyderm.io/users/rain/statuses/112719575078206696",
"pink.momostr"
],
[
"expiration",
"1722563995"
]
],
"content": "This is really cool -- the fifth busy beaver number has been verified to be 47 176 870.\n\nI love busy beaver numbers because they're both an interesting pastime and also define the boundary of what is knowable in mathematics.\n\nhttps://www.quantamagazine.org/amateur-mathematicians-find-fifth-busy-beaver-turing-machine-20240702",
"sig": "99b2aba7bba0840324ad58ea7318e6462887eb7cdac73e339c91f01185d298e2a9313c81a0e3e151c3d8c48c4e08420044eb99343221540d03cad760c8182b03"
}