Question

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

1 comment1

Total Forecasters12

Community Prediction89.2

Make a Prediction

My Prediction

community

lower 25%

median

upper 75%

...

33.48

89.16

236.3

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 ZFC set theory?

59.8

Computability and Complexity

When will an AI system, operating independently, solve or determine the undecidability of a Millennium Prize Problem and have its proof or disproof published in a peer-reviewed mathematics journal?

2039-10-29

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

Those bold AGI predictions are suddenly looking stretched

Business Insider•Nov 17, 2024

Scientists Establish the Best Algorithm for Traversing a Map

Wired•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 ZFC set theory?

59.8

Computability and Complexity

When will an AI system, operating independently, solve or determine the undecidability of a Millennium Prize Problem and have its proof or disproof published in a peer-reviewed mathematics journal?

2039-10-29