Society for Science & the Public, which publishes Science News, uses cookies to personalize your experience and improve our services. For more information on how we use cookies on our websites, visit our Cookie Policy.
Math Trek Math

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.

By Julie Rehmeyer

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

  1. Riemann zeta function
    Math

    Mathematicians report possible progress on proving the Riemann hypothesis

    By Emily Conover
  2. metal kilogram
    Physics

    The kilogram just got a revamp. A unit of time might be next

    By Emily Conover
  3. Calabi-Yau manifolds
    Math

    A mathematician traces his journey from poverty to prominence

    By Diana Steele
  4. multiplication
    Math

    Mathematicians may have found the fastest way to multiply huge numbers

    By Emily Conover
  5. two pigeons, each sitting in a cubbyhole
    Quantum Physics

    Photons reveal a weird effect called the quantum pigeonhole paradox

    By Emily Conover
  6. Health & Medicine

    Readers have questions about Parkinson’s disease, moth wings and more

    By Science News Staff
  7. Le Grand K
    Math

    It’s official: We’re redefining the kilogram

    By Emily Conover
  8. Anshumali Shrivastava
    Artificial Intelligence

    Anshumali Shrivastava uses AI to wrangle torrents of data

    By Maria Temming

From the Nature Index

Paid Content