In 2024, an AI entered the fray of the International Mathematical Olympiad (IMO). Google’s AlphaProof is part of the same ...

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

Wrestling with Word’s equation editor can be frustrating, but it doesn’t have to be. A few simple tricks can make typing and formatting math equations a breeze—no more clunky menus or endless ...

At the 2024 International Mathematical Olympiad (IMO), one competitor did so well that it would have been awarded the Silver ...

When a top-tier mathematician announced in August that he had proved one of the greatest problems in mathematics, the claim was trumpeted in the New York Times, Nature, Science and the Boston Globe.

Calcea Johnson and Ne'Kiya Jackson, who surprised the math world when they produced innovative solutions to a 2,000-year-old puzzle, wowed the math world again when they presented several new ways of ...

Bill Whitaker is an award-winning journalist and 60 Minutes correspondent who has covered major news stories, domestically and across the globe, for more than four decades with CBS News. A high school ...