BusyBeaver(5) is now known to be 47,176,870 (via zladuric) — discussion

#math