Will the fifth Busy Beaver still be thought to be proven to be 47,176,870 at the end of 2025?
13
1kṀ5977Dec 16
98%
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 to start trading!
1,000Related questions
Related questions
Will the exact value of Busy Beaver(6) be known before 2075?
48% chance
Will the population of Canada be reported to have hit 45 million people before 2028?
17% chance
Is it possible to prove which Busy Beaver number is the highest that can be determined?
45% chance
Will the BB(6) machine be known by 2075?
48% chance
Which Busy Beaver machine will be proven next?
Will I be alive at the end of 2025?
92% chance
By the end of 2053, will the world record for oldest living person ever be beaten by 5 years?
57% chance
By the end of 2063, will the world record for oldest living person ever be beaten by 5 years?
73% chance
By the end of 2043, will the world record for oldest living person ever be beaten by 5 years?
35% chance
Will there be a new largest known prime number by the end of 2025? (Last one - Oct 21 2024)
33% chance