Mathematician Will Sawin discusses his experience reviewing and refining a mathematical proof devised by OpenAI's internal model—and what that could mean for mathematics.

(Phys.org) —A Victoria University mathematician has experienced his own eureka moment, solving a 40 year-old mathematical problem. Professor Geoff Whittle, from Victoria's School of Mathematics, ...

This may sound like a familiar kind of riddle: How many brilliant mathematicians does it take to come up with and prove the Kelmans-Seymour Conjecture? But the answer is no joke, because arriving at ...

Mathematicians thought they were on the cusp of proving a conjecture about the ancient structures known as Apollonian circles. But a summer project would lead to its downfall. Summer Haag and Clyde ...

Katie has a PhD in maths, specializing in the intersection of dynamical systems and number theory. She reports on topics from maths and history to society and animals. Katie has a PhD in maths, ...

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped human mathematicians for the last 80 ...

The last dimension of Keller's conjecture has been proven using a computer algorithm. The conjecture involves the way hypercubes in different dimensions share sides when tiled. The proof is ...

A pair of mathematicians has solved the first chunk of one of the most famous conjectures about the additive properties of whole numbers. Proposed more than 60 years ago by the legendary Hungarian ...