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.5

89.2

236

Authors:

ege_erdil

Opened:

Closes:

Scheduled resolution:

Zermelo–Fraenkel set theory

Computer science

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?

2043-08

Comments

? comments

Authors:

ege_erdil

Opened:

Closes:

Scheduled resolution:

Zermelo–Fraenkel set theory

Computer science

Turing machine

First Observation of One-in-10-Billion Particle Decay Hints at Hidden Physics

Scientific American•Oct 1, 2024

How Mathematicians Wrestled with the Biggest Controversy in the Field

Scientific American•Oct 1, 2024

Why is ChatGPT so bad at math?

TechCrunch•Oct 2, 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?

2043-08

MetaculusM

🚀Metaculus Open-Source Rewrite is Live!

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

Make a Prediction

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

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?

Comments

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

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?

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

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?

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

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?