How to (really) trust a mathematical proof

Mathematicians develop computer proof-checking systems in order to realize century-old dreams of fully precise, accurate mathematics.

This article is only available to Science News subscribers.

Subscribers, enter your e-mail address to access our archives.

Not a subscriber?

Science News is a nonprofit.

Support us by subscribing now.

More Stories from Science News on Math

From the Nature Index

Paid Content