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

Math Computational Complexity Theory Busy Beavers

Basic

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/

Get Ṁ600 play money

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?

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

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

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

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?

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?

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

🏅 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 in Math

Will an AI get gold on any International Math Olympiad by 2025?

Will AI get at least bronze on the IMO by 2025?

See more Math questions

Related in Computational Complexity Theory

Will a matmul algorithm better than O(n^{2.371552}) [Willians et al. 2023] be published before the end of 2025?

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

See more Computational Complexity Theory questions

Related in Busy Beavers

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

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

See more Busy Beavers questions

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

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

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

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

Math questions

Will an AI get gold on any International Math Olympiad by 2025?

Will AI get at least bronze on the IMO by 2025?

Computational Complexity Theory questions

Will a matmul algorithm better than O(n^{2.371552}) [Willians et al. 2023] be published before the end of 2025?

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

Busy Beavers questions

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

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?

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

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

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

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

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

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