Busy Beaver of 5 is 47,176,870 and proven by 2080.

Created by JoshuaZ on 2020-07-23; known on 2080-01-01

• JoshuaZ estimated 35% on 2020-07-23
• JoshuaZ changed the deadline from “on 2080-01-01” and changed their prediction from “BB = 47,176,870 and proven by 2080.” on 2020-07-23
• JoshuaZ said “Inspired by Aaronson’s Conjecture 10 here. https://www.scottaaronson.com/papers/bb.pdf . Note this can be marked as false earlier than end-date if a larger value for BB of 5 is found before then. ” on 2020-07-23
• JoshuaZ estimated 34% on 2022-07-21