Get the latest Science News and Discoveries

The Proof in the Code traces efforts to digitally verify mathematical truths

Journalist Kevin Hartnett chronicles how code-checking tools and AI are being used to tackle difficult math problems.

None

Get the Android app