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

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/

Math Computational Complexity Theory Busy Beavers

Get Ṁ1,000 play money

🏅 Top traders

#	Name	Total profit
1		Ṁ1,440
2		Ṁ241
3		Ṁ76
4		Ṁ70
5		Ṁ40

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

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

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

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

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

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

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

Assuming SB 1047 is passed, will the "compute threshold" of 10^26 flop be raised before 2030?

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

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

Related questions

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?

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

Assuming SB 1047 is passed, will the "compute threshold" of 10^26 flop be raised 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 the BB(7) machine be known by 2100?

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