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

Is There Game Theory To Today’s AI Industry?

Forbes•Oct 31, 2024

Universe would die before monkey with keyboard writes Shakespeare, study finds

Guardian•Nov 4, 2024

Monkeys WOULDN'T type the complete works of Shakespeare if given until the end of time: Scientists reveal the reason why (although they might type 'banana')

Daily Mail•Nov 4, 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