GPT-5.4 Pro cracked a conjecture in number theory that had stumped generations of mathematicians, using a proof strategy that ...

A ChatGPT AI has proved a conjecture with a method no human had thought of. Experts believe it may have further uses ...

Every year, the countries competing in the International Mathematical Olympiad arrive with a booklet of their best, most ...

The painstaking process of formalization to verify proofs is starting to surge thanks to AI. That could radically change the ...

A series of recent research papers have shown that ChatGPT and related large language models can produce original, verifiable mathematical proofs, including solutions to problems that had not been ...

A 400-year-old mathematical puzzle concerning the most efficient way to pack spheres in eight dimensions has been solved by ...

Computers are extremely good with numbers, but they haven’t gotten many human mathematicians fired. Until recently, they could barely hold their own in high school-level math competitions. But now ...

You enter a cave. At the end of a dark corridor, you encounter a pair of sealed chambers. Inside each chamber is an all-knowing wizard. The prophecy says that with these oracles’ help, you can learn ...

For all of the recent strides we’ve made in the math world—like a supercomputer finally solving the Sum of Three Cubes problem that puzzled mathematicians for 65 years—we’re forever crunching ...

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