Should all mathematical proofs be checked by a computer?

Proofs, the central tenet of mathematics, occasionally have errors in them. Could computers stop this from happening, asks mathematician Emily Riehl

from New Scientist - Home https://ift.tt/AKL2Msw