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

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

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

A few months before the 2025 International Mathematical Olympiad (IMO) in July, a three-person team at OpenAI made a long bet that they could use the competition’s brutally tough problems to train an ...

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

It's a plot device beloved by science fiction: our entire universe might be a simulation running on some advanced civilization's supercomputer. But new research from UBC Okanagan has mathematically ...

It might come as a surprise to some people that this prediction hasn’t already come to pass. Given that mathematics is a subject of logic and precision, it would seem to be perfect territory for a ...

The one source of truth is mathematics. Every statement is a pure logical deduction from foundational axioms, resulting in absolute certainty. Since Andrew Wiles proved Fermat’s Last Theorem, you’d be ...

The mathematicians Günter Ziegler and Martin Aigner have spent the past 20 years collecting some of the most beautiful proofs in mathematics. Paul Erdős, the famously eccentric, peripatetic and ...