Will the fifth Busy Beaver still be thought to be proven to be 47,176,870 at the end of 2025?
Plus
12
Ṁ34772025
95%
chance
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
and3.00
Related questions
Related questions
Will the exact value of Busy Beaver(6) be known before 2075?
44% chance
Will MrBeast (Jimmy Donaldson) be convicted of a crime before the end of 2026?
20% chance
Will the BB(6) machine be known by 2075?
53% chance
By the end of 2043, will the world record for oldest living person ever be beaten by 5 years?
35% chance
Is it possible to prove which Busy Beaver number is the highest that can be determined?
45% chance
Will anyone be at least 140 years old by 2072?
31% chance
Is the 20th Busy Beaver number independent of set theory?
45% chance
Will a nice number other than 69 be discovered by the end of 2024?
4% chance
By the end of 2053, will the world record for oldest living person ever be beaten by 5 years?
57% chance
Will there be a bigger bean before 2025?
96% chance