13 forecasters

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

Current estimate

78.8

Key Factors

No key factors yetAdd some that might influence this forecast.

Add key factor

Forecast Timeline

No key factors yetAdd some that might influence this forecast.

Add key factor

Authors:

Opened:

Jan 16, 2022

Closes:

Dec 31, 2029

Scheduled resolution:

Dec 31, 2039

Spot Scoring Time:

Jan 18, 2022