If wishes were fishes, as they say.
To demonstrate with another example: "Gee, dying sucks. It's 2025, have you considered just living forever?"
To this, one might attempt to justify: "Isn't it sufficient that dying sucks a lot? Is it so hard to understand that having seen people die, I really don't want to do that? It really really sucks!", to which could be replied: "It doesn't matter that it sucks, because that doesn't make it any easier to avoid."
wishes can be converted to incentives, what if the incentives change such that formally verified proofs were rewarded more and informal "proofs" less?
I understand where you're coming from but it's a bad analogy. Formal proofs are extremely difficult but possible. Immortality is impossible.