Artificial intelligence is mastering the kinds of projects that have long helped to build the careers of young mathematicians ...

The result is correct but challenges core norms of mathematics: checking proofs, crediting ideas and keeping research open to ...

I have a confession that probably won't surprise anyone who knows me well: I love reading books about mathematicians. Not because I understand the dense mathematics. I struggled through four semesters ...

A seemingly simple set of rules kicks off a kind of mathematical magic trick, which has kept great minds busy since the 1930s ...

Mathematician Will Sawin discusses his experience reviewing and refining a mathematical proof devised by OpenAI's internal ...

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in ...

The closest the field has come to solving the planar unit distance problem, first proposed in the 1940s, was in 1984. Now, OpenAI claims an internal model has cracked the puzzle.

A 23‑year‑old amateur maths enthusiast, Liam Price, used ChatGPT‑5.4 Pro to solve one of Erdős’s long‑standing “primitive set” problems, which had remained unresolved since the early 1960s.

Every year, the countries competing in the International Mathematical Olympiad arrive with a booklet of their best, most original problems. Those booklets get shared among delegations, then quietly ...

Take a group of runners circling a track at unique, constant paces. Answering the question of how many will always end up running alone, no matter their speed, has vexed mathematicians for decades.

The tipping point came in the summer of 2025. That July, several artificial intelligence models solved five out of six problems at the International Mathematical Olympiad, an annual challenge for some ...