4 ms·
Explaining proofs to computers is still a very different beast to explaining proofs to humans. Hopefully this gap will get narrower in the next 50 years or so.
by zaik 4y ago
Explaining proofs to computers is still a very different beast to explaining proofs to humans. Hopefully this gap will get narrower in the next 50 years or so.