Don't underestimate the power of a yes-or-no question. Some of the toughest computing problems boil down to thousands of tiny ...

AI is increasingly being used as collaborators in mathematical research rather than simply as computational tools.

Claude Fabel 5 disproved the Jacobian conjecture over the weekend, landing days after the capabilities of China's Kimi AI became the biggest force moving bitcoin markets.

For more than a decade, mathematicians have been unable to settle the question of whether the ABC conjecture has been solved.

A quantum problem once described as impossible for classical computers has now been solved using relatively modest hardware.

In May 2026, OpenAI released a new math result that sent shock waves throughout the world of mathematical research. A major unsolved problem called the “unit distance conjecture” had just been ...

Shayan Oveis Gharan has won the Abacus Medal for using tools from across mathematics to boost the power of algorithms.

AI can accelerate implementation, but it cannot take responsibility for architectural quality, security or long-term ...

Yet another longstanding mathematical question has been resolved by AI – and it feels a little different from the ones that ...