Will the fifth Busy Beaver still be thought to be proven to be 47,176,870 at the end of 2025?
Basic
12
3.5k
2025
95%
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 Ṁ600 play money