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 fifth Busy Beaver still be thought to be proven to be 47,176,870 at the end of 2025?

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

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(6) machine be known by 2075?

Will an AI solve any important mathematical conjecture before January 1st, 2030?

Which Busy Beaver machine will be proven next?

Will numbers be unambiguous before 2045?

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

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

Related questions

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

Will an AI solve any important mathematical conjecture before January 1st, 2030?

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

Which Busy Beaver machine will be proven next?

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

Will numbers be unambiguous before 2045?

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

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

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

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

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