![](/_next/image?url=https%3A%2F%2Fstorage.googleapis.com%2Fmantic-markets.appspot.com%2Fcontract-images%2FWilliamEhlhardt%2Fq6z75yywkm.jpg&w=3840&q=75)
Will the fifth Busy Beaver still be thought to be proven to be 47,176,870 at the end of 2025?
Basic
12
Ṁ3.5k2025
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?
Get Ṁ600 play money
More related questions
Related questions
Will the exact value of Busy Beaver(6) be known before 2075?
28% chance
Will the BB(6) machine be known by 2075?
57% chance
By the end of 2043, will the world record for oldest living person ever be beaten by 5 years?
34% 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?
37% chance
Will Warren Buffet be alive past 2025?
71% chance
Is the 20th Busy Beaver number independent of set theory?
47% 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?
45% chance
Will I be a centimillionaire by 2050?
54% chance