Will the exact value of Busy Beaver(5) be known before 2030? | Manifold

Will the exact value of Busy Beaver(5) be known before 2030?

Plus

48

Ṁ18k

resolved Jul 6

Resolved

YES

1D

1W

1M

ALL

https://en.wikipedia.org/wiki/Busy_beaver#Exact_values_and_lower_bounds

https://bbchallenge.org/

This question is managed and resolved by Manifold.

#Computational Complexity Theory

Get

1,000

and

3.00

Sort by:

https://discuss.bbchallenge.org/t/july-2nd-2024-we-have-proved-bb-5-47-176-870/237

@IsaacKing @mods kindly resolve :)

https://www.quantamagazine.org/amateur-mathematicians-find-fifth-busy-beaver-turing-machine-20240702/

Fifth busy beaver found!!!

Is the metaculus post in Evan's comment the same question?

It's close. The Metaculus one is for 2040 instead of 2030, and the standards for resolution are likely slightly different, but the core question is the same.

Related: https://www.metaculus.com/questions/9749/proof-of-the-5th-busy-beaver-number/

Related

https://manifold.markets/BoltonBailey/will-the-5state-busy-beaver-be-know

predictedNO

@NoaNabeshima Thanks! Didn't see this one.

Related questions

Will the exact value of Busy Beaver(6) be known before 2075?

-7% 1d33% chance

What is the first input for which the Busy Beaver function exceeds the Ackermann function?

Will the BB(6) machine be known by 2075?

+3% 1d41% chance

Is it possible to prove which Busy Beaver number is the highest that can be determined?

Will another Millennium Problem be resolved before the end of 2025?

Will the BB(7) machine be known by 2100?

-4% 1d6% chance

Will the fifth Busy Beaver still be thought to be proven to be 47,176,870 at the end of 2025?

Is the 20th Busy Beaver number independent of set theory?

Which Busy Beaver machine will be proven next?

Will go be solved before 2040?

Related questions

Will the exact value of Busy Beaver(6) be known before 2075?

Will the BB(7) machine be known by 2100?

What is the first input for which the Busy Beaver function exceeds the Ackermann function?

Will the fifth Busy Beaver still be thought to be proven to be 47,176,870 at the end of 2025?

Will the BB(6) machine be known by 2075?

Is the 20th Busy Beaver number independent of set theory?

Is it possible to prove which Busy Beaver number is the highest that can be determined?

Which Busy Beaver machine will be proven next?

Will another Millennium Problem be resolved before the end of 2025?

Will go be solved before 2040?

© Manifold Markets, Inc.•Terms + Mana-only Terms•Privacy•Rules