2 ms·
> The problem is that producing a formal proof that can be verified by a computer is incredibly boring One can't help but wonder: as boring as reading through
by ur-whale 7y ago
> The problem is that producing a formal proof that can be verified by a computer is incredibly boring
One can't help but wonder: as boring as reading through inter-universal teichmuller theory?
- Grue3 7y agoWell, suppose you want to prove another result similar to abc conjecture. What would you rather read, a formal proof (basically low-level machine code), or an actual human description of a theory used to produce the result?