Question

In 2040, what will be the smallest value of the busy beaver function known to be undecidable in ZFC set theory?

2 comments2

Total Forecasters13

Community Prediction59.8

Make a Prediction

My Prediction

community

lower 25%

median

upper 75%

...

20.69

59.79

171.2

Authors:

ege_erdil

Opened:

Closes:

Scheduled resolution:

Zermelo–Fraenkel set theory

Turing machine

In 2040, what will be the smallest value of the busy beaver function known to be undecidable in Peano arithmetic?

89.2

Computability and Complexity

What will be the best score on the InterCode (Bash) benchmark before 2025?

55.6

Comments

? comments

Authors:

ege_erdil

Opened:

Closes:

Scheduled resolution:

Zermelo–Fraenkel set theory

Turing machine

Super Intelligent AI Might Be Online by 2025. Not Terrified? You Should Be

Red State•Nov 13, 2024

Scientists Have Pushed the Schrödinger’s Cat Paradox to New Limits

Wired•Nov 14, 2024

Those bold AGI predictions are suddenly looking stretched

Business Insider•Nov 17, 2024

Learn more about Metaculus NewsMatch

In 2040, what will be the smallest value of the busy beaver function known to be undecidable in Peano arithmetic?

89.2

Computability and Complexity

What will be the best score on the InterCode (Bash) benchmark before 2025?

55.6