How failure has made mathematics stronger