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

No key factors yetAdd some that might influence this forecast.

Authors:

Opened:

Jan 16, 2022

Closes:

Dec 31, 2029

Scheduled resolution:

Dec 31, 2039

Spot Scoring Time:

Jan 18, 2022