Despite multiple conferences dedicated to explicating Mochizuki’s proof, number theorists have struggled to come to grips with its underlying ideas. His series of papers, which total more than 500 ...

Has one of the major outstanding problems in number theory finally been solved? Or is the 600-page proof missing a key piece? The verdict isn’t in yet, but the proof, at least, will finally appear in ...

Who would have imagined that an artificial intelligence tool accessible to everyone could participate in the creation of novel mathematical proofs? This observation marks a milestone in the field of ...

A mathematical problem more than 300 years old gets a formal proof with the help of computer formal verification. A team led by mathematician Thomas Hales has delivered a formal proof of the Kepler ...

Working in secret for more than two years, a group of mathematicians has set out to resolve of the longest and most bitter battles in modern mathematics ...

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

What makes a proof stronger than a guess? What does evidence look like in the realm of mathematical abstraction? Hear the mathematician Melanie Matchett Wood explain how probability helps to guide ...

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

University of Florida provides funding as a founding partner of The Conversation US. What happens when someone claims to have proved a famous conjecture? Well, it depends. When a paper is submitted, ...

As he was brushing his teeth on the morning of July 17, 2014, Thomas Royen, a little-known retired German statistician, suddenly lit upon the proof of a famous conjecture at the intersection of ...

In early April 2002, Dr. Grigori Perelman of the Steklov Institute of Mathematics in St. Petersburg gave a series of public lectures at the Massachusetts Institute of Technology. In the lectures he ...