On June 23, 1993, the mathematician Andrew Wiles gave the last of three lectures detailing his solution to Fermat’s last theorem, a problem that had remained unsolved for three and a half centuries.

For centuries, the Pythagorean Theorem has occupied a unique position in mathematics: both elementary and profound. Its ...

In 2022, U.S. high school students Calcea Johnson and Ne'Kiya Jackson astonished teachers when they discovered a new way to prove Pythagoras' theorem using trigonometry after entering a competition at ...

The field of theorem proving and higher‐order logic represents a confluence of computer science, mathematics and formal logic. It encompasses the automated and interactive approaches to establishing ...

Here's a scene from "The Royale," an episode of Star Trek: The Next Generation that aired March 27, 1989. In it, Captain Jean-Luc Picard tells his First Officer, Commander Riker, about his work in ...

New computer tools have the potential to revolutionize the practice of mathematics by providing more-reliable proofs of mathematical results than have ever been possible in the history of humankind.

“You don’t have to believe in God, but you have to believe in The Book,” the Hungarian mathematician Paul Erdős once said. The Book, which only exists in theory, contains the most elegant proofs of ...