We have proved "BB(5) = 47,176,870" (via yoshi) — discussion

#compsci #math