Google's AlphaProof is capable of solving complex mathematics but it's greatest feature may actually be finding errors.

Marijn Heule turns mathematical statements into something like Sudoku puzzles, then has computers go to work on them. His ...

Every day, dozens of like-minded mathematicians gather on an online forum called Zulip to build what they believe is the future of their field. They’re all devotees of a software program called Lean.

One of the biggest stories in science is quietly playing out in the world of abstract mathematics. Over the course of last year, researchers fulfilled a decades-old dream when they unveiled a proof of ...

Over their holiday break, most high school students relax, kick back and watch TV, visit with family, maybe take a trip. But on this last winter holiday, two New Orleans seniors at St. Mary’s Academy ...