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

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 result is correct but challenges core norms of mathematics: checking proofs, crediting ideas and keeping research open to everyone.

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

In 1977, Princeton mathematician Paul Seymour made a conjecture about certain large graphs. Nearly 40 years later, mathematicians have come up with a proof he was right. The conjecture is 13 words ...

Kevin Lieber of Vsauce2 examines why the Collatz Conjecture is still a complex mathematical mystery.

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.

The Collatz conjecture is also known as the “3n + 1” problem. It’s an easy problem to explain and check, and has been tested up into the nineteen figure range. But it’s only now that anyone has come ...