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

OpenAI has said that Astra, a model it has not yet released publicly, produced solutions to ten long-open problems in ...

OpenAI just used its new large language model GPT-5.6 Sol to solve a math problem that humans have struggled with for more than a half-century. And all it took was telling the artificial intelligence ...

In May 2026, OpenAI released a new math result that sent shock waves throughout the world of mathematical research. A major unsolved problem called the “unit distance conjecture” had just been ...

As millions of people were coming down from the excitement of the FIFA World Cup Final at the start of this week, a different kind of excitement was building within the mathematical community. Levent ...

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

Forbes contributors publish independent expert analyses and insights. Anisha Sircar is a journalist covering tech, finance and society. This voice experience is generated by AI. Learn more. This voice ...

Mathematical reasoning and proof lie at the heart of both school and university curricula, serving as the means by which learners move from concrete examples to general, abstract understanding.

Artificial intelligence has been inching toward genuine mathematical discovery for years, but a claim from OpenAI in early August 2026 pushed the story into new territory. The company said its latest ...