Mathematician Kevin Buzzard of Imperial College London is training computers how to prove one of the most famous problems in math history: Fermat’s last theorem. Resolving the problem isn’t the point.

Calcea Johnson and Ne'Kiya Jackson believe they can prove the Pythagorean Theorem using trigonometry — and are being encouraged to submit their work for peer review Jason Hahn is a former Human ...

Computers are extremely good with numbers, but they haven’t gotten many human mathematicians fired. Until recently, they could barely hold their own in high school-level math competitions. But now ...