alt Hacker Newswishes can be converted to incentives, what if the incentives change such that formally verified proofs were rewarded more and informal "proofs" less?
wishes can be converted to incentives, what if the incentives change such that formally verified proofs were rewarded more and informal "proofs" less?
If enough care about this that can and will do something about it (making formalization easier for the average author), that happens over time. Today there's a gap, and in the figurative tomorrow, said gap shrinks. Who knows what the future holds? I'm not discounting that the situation might change.