AxiomProver solved a real open math conjecture using formal verification, signaling a shift from AI that assists research to AI that discovers new truths.

An institution has offered a $1 million prize to anyone who can solve a famous math problem that has puzzled mathematicians for more than a century. The Riemann hypothesis, first proposed by German ...

At first glance, the problem seems ridiculously simple. And yet experts have been searching for a solution in vain for decades. According to mathematician Jeffrey Lagarias, number theorist Shizuo ...

Experienced mathematicians warn up-and-comers to stay away from the Collatz conjecture. It’s a siren song, they say: Fall under its trance and you may never do meaningful work again. The Collatz ...