The Branch and the Wish – On mathematics, machines and what the proof never held