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 ...

The process of proofs and refutations described by Lakatos is essential in school mathematics to provide students with an opportunity to experience how mathematical knowledge develops dynamically ...

Mathematicians have broken through a long-standing barrier in the study of “minimizing surfaces,” which play an important ...

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.

Educational Studies in Mathematics, Vol. 94, No. 1 (January 2017), pp. 37-54 (18 pages) This paper reports the results of an international comparative study on the nature of proof to be taught in ...

Two years ago, a couple of high school classmates each composed a mathematical marvel, a trigonometric proof of the Pythagorean theorem. Now, they’re unveiling 10 more. For over 2,000 years, such ...

Despite multiple conferences dedicated to explicating Mochizuki’s proof, number theorists have struggled to come to grips with its underlying ideas. His series of papers, which total more than 500 ...