Beavers News

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

Jan 30, 4:41 AMJan 1, 8:00 AM

19.32%chance

684772

OptionVotes

YES

1780

1250

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

Jan 31, 5:10 AMDec 31, 11:59 PM

47.28%chance

14462

OptionVotes

YES

1184

729

Will there be an official Hundreds of Beavers video game released by the end of 2027?

Jun 2, 2:20 AMJan 1, 4:59 AM

45.97%chance

6219

OptionVotes

YES

1084

922

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

Jan 30, 4:41 AMJan 2, 7:59 AM

99%chance

4818012

OptionVotes

YES

12147

271

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

Jan 31, 5:13 AMDec 26, 5:59 AM

28.02%chance

5295

OptionVotes

YES

420

286

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

Oct 18, 8:15 PMJan 2, 7:59 AM

59.28%chance

538

OptionVotes

YES

122

100

Manifold's Favorite: CHEESE (resolves by poll EOY 2024)

Jan 7, 10:29 AMJan 1, 4:59 AM

334701

How will Isaac King resolve his "What is the largest number?" market?

Dec 31, 2:37 AMDec 31, 11:59 PM

4139

Will bears be reintroduced to the UK by the end of 2040?

Apr 6, 5:31 PMJan 1, 12:00 PM

38.78%chance

9135

OptionVotes

YES

149

145

BB(5) = 47,176,870

May 6, 4:06 PMDec 31, 4:59 PM

99%chance

71975

OptionVotes

YES

2164

Will wolves be reintroduced to the UK by the end of 2035?

Apr 6, 5:31 PMJan 1, 12:00 PM

50.67%chance

786

OptionVotes

YES

150

103

Is there a 5-State binary tape Turing machine that halts in more than 47176870 steps?

Jan 31, 5:00 AMDec 15, 5:00 AM

1%chance

105129

OptionVotes

YES

2003

Latest stories

Utah State Lands Oregon State's Dexter Akanno (10.9 points); Oregon State's Dylan Lopez (USC, Kansas, etc.) Commits to Nevada
Authors
5
1 month
NCAA
Sports
Oregon State Dominates Arizona 9-2, Within Half a Game in Pac-12 Series
Authors
5
2 months
NCAA
Sports
Oregon State Beats Notre Dame 70-65, First Elite Eight Since 2018
Authors
11
3 months
NCAA
Sports
Former Oregon State Basketball Player and Coach Jimmy Anderson Dies at 86, Beloved in Oregon State
Authors
5
4 months
NCAA
Sports
Oregon State, led by Jordan Pope's 30 points, beats Stanford 85-73. Oregon loses to Cal 69-64. Washington upsets Oregon State 61-51.
Authors
4
4 months
NCAA
Sports
Oregon State Beats Washington State 85-73, Revives Pac-12 Title Hopes; Pope Scores 30
Authors
4
4 months
NCAA
Sports
Oregon State Women Upset No. 3 Colorado 68-62; Men Beat No. 9 Arizona
Authors
7
5 months
NCAA
Sports
No. 25 Oregon State Women Upset No. 3 Colorado 68-62, Complete 4-0 Week with 91-66 Victory Over Utah
Authors
9
5 months
NCAA
Sports
Notre Dame Dominates Oregon State 37-0 in Sun Bowl, Scores Safety and Love TD
Authors
20
6 months
NCAA
Sports
Oregon State WBB Wins 92-69, Gonzaga 100-76, Oregon 84-70 in College Hoops
Authors
6
6 months
Sports
Oregon State Freshman Cornerback Jermod McCoy with 2 Interceptions Commits to Transfer to Tennessee
Authors
8
7 months
NCAA
Sports
Oregon, Oregon State Announce Home-and-Home Series for 2024, 2025; Boise State to Receive $2.6 Million, Series Extends to 2026
Authors
6
7 months
NCAA
Sports
Oregon State Advances to College Cup After Beating No. 3 North Carolina 1-0 in NCAA Quarterfinals
Authors
4
7 months
NCAA
Sports
Oregon State Promotes Trent Bray to Head Coach, Replacing Jonathan Smith with 14-26 Record; Press Conference at 2 p.m.; First Game Against Notre Dame; Hires Ryan Gunderson as Offensive Coordinator
Authors
11
7 months
NCAA
Sports
Oregon State AD Addresses Jonathan Smith's Potential Departure Rumors
Authors
4
7 months
NCAA
Sports

Beavers News

Prediction markets for Beavers

Prediction markets for Beavers

Prediction markets for Beavers

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

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

Will there be an official Hundreds of Beavers video game released by the end of 2027?

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

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

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

Manifold's Favorite: CHEESE (resolves by poll EOY 2024)

How will Isaac King resolve his "What is the largest number?" market?

Will bears be reintroduced to the UK by the end of 2040?

BB(5) = 47,176,870

Will wolves be reintroduced to the UK by the end of 2035?

Is there a 5-State binary tape Turing machine that halts in more than 47176870 steps?

Latest stories

Prediction markets for Beavers

Prediction markets for Beavers

Prediction markets for Beavers

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

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

Will there be an official Hundreds of Beavers video game released by the end of 2027?

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

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

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

Manifold's Favorite: CHEESE (resolves by poll EOY 2024)