Will the fifth Busy Beaver still be thought to be proven to be 47,176,870 at the end of 2025?
➕
Plus
13
Ṁ5977
Dec 16
98%
chance

A team claims to have proved the value of the fifth busy beaver number: https://discuss.bbchallenge.org/t/july-2nd-2024-we-have-proved-bb-5-47-176-870/237

Will this result hold up? Or will someone find some hole in the proof, or even a counterexample?

Get
Ṁ1,000
and
S3.00
© Manifold Markets, Inc.Terms + Mana-only TermsPrivacyRules