It is not only unsurprising ; it was always expected. There is no difference between programs and proofs. They are the same thing