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 🌦️ :verified_trans: /
npub132…vgktw
2024-07-02 23:50:19
Author Public Key
npub132yk47md0rnk7whhq4dgum63vmp5dsglr7d7k77eapu7dllwwxmq9vgktwPublished at
2024-07-02 23:50:19Event JSON
{
"id": "5ec98ed6fa98a110065ef3ebb9b0539ec55a37981bb427da59d02c7dbacba362",
"pubkey": "8a896afb6d78e76f3af7055a8e6f5166c346c11f1f9beb7bd9e879e6ffee71b6",
"created_at": 1719964219,
"kind": 1,
"tags": [
[
"proxy",
"https://hachyderm.io/users/rain/statuses/112719575078206696",
"activitypub"
]
],
"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": "221f548a68c6bf81c7bbae33903174a72c55f872003d8a2138a3021155e79b904c03449c0d7c39675e7aa041b158f14807d8e045b1cdf820903304be4d6f5a89"
}