>Machine-checked mathematical proofs are the future of mathematics I don't disagree. >most mathematicians I know are totally ignorant about them Most of them

>Machine-checked mathematical proofs are the future of mathematics I don't disagree. >most mathematicians I know are totally ignorant about them Most of them realize that this is a possibility but believe, rightly or wrongly, that they are not going to be relevant in their lifetime.