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

predicted NO

@NoaNabeshima Thanks! Didn't see this one.

Related questions

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

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?

Will the [5, 5] Ramsey number by known before 2040?

Will at least one of the remaining Millenium Problems be solved before 2030?

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

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

Will there be a bigger bean before 2025?

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

Will the Collatz Conjecture (3x+1 problem) be solved before 2030?

Related questions

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 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?

Will there be a bigger bean before 2025?

Will the [5, 5] Ramsey number by known before 2040?

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

Will at least one of the remaining Millenium Problems be solved before 2030?

Will the Collatz Conjecture (3x+1 problem) be solved before 2030?

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