Will the fifth Busy Beaver still be thought to be proven to be 47,176,870 at the end of 2025?
14
1kṀ6007Dec 16
98%
chance
1H
6H
1D
1W
1M
ALL
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?
This question is managed and resolved by Manifold.
Get 
1,000 to start trading!
1,000People are also trading
Related questions
Will the exact value of Busy Beaver(6) be known before 2075?
33% chance
Will the BB(7) machine be known by 2100?
6% chance
Will the BB(6) machine be known by 2075?
41% chance
Is the 20th Busy Beaver number independent of set theory?
48% chance
Will I be alive at the end of 2025?
99% chance
Will there be a new largest known prime number by the end of 2025? (Last one - Oct 21 2024)
4% chance
Is it possible to prove which Busy Beaver number is the highest that can be determined?
34% chance
Will another Millennium Problem be resolved before the end of 2025?
3% chance
Will there be a new record setting bounty announced in One Piece by the end of 2025? (5.5648M Berries)
50% chance
Will there be a new record setting bounty announced in One Piece by the end of 2025? (5.5648M Berries)
28% chance