Will the fifth Busy Beaver still be thought to be proven to be 47,176,870 at the end of 2025?
17
1kṀ8511resolved Jan 5
Resolved
YES1H
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.
Market context
Get 
1,000 to start trading!
1,000🏅 Top traders
| # | Name | Total profit |
|---|---|---|
| 1 | Ṁ567 | |
| 2 | Ṁ86 | |
| 3 | Ṁ81 | |
| 4 | Ṁ37 | |
| 5 | Ṁ26 |
People are also trading
Related questions
Will the exact value of Busy Beaver(6) be known before 2075?
33% chance
Is it possible to prove which Busy Beaver number is the highest that can be determined?
34% chance
Will the BB(6) machine be known by 2075?
48% chance
Which Busy Beaver machine will be proven next?
By the end of 2053, will the world record for oldest living person ever be beaten by 5 years?
51% chance
By the end of 2063, will the world record for oldest living person ever be beaten by 5 years?
76% chance
Will I conclude, at the end of 2026, that this year has been better than 2025?
52% chance
By the end of 2043, will the world record for oldest living person ever be beaten by 5 years?
35% chance
Will the BB(7) machine be known by 2100?
6% chance
Is the 20th Busy Beaver number independent of set theory?
47% chance