“If you are a mathematician,” one of the world’s leading mathematicians recently wrote, “you may want to make sure you are sitting down before reading further.” And you’ll definitely need to sit down ...

Anthropic says AI model Claude spent 11 days turning Fermat's Last Theorem into 13 million lines of code a computer can check ...

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

The Jacobian conjecture is a long-standing open problem in algebraic geometry that's bedeviled highly accomplished mathematicians for almost 90 years. It was included in "Smale's problems," a list of ...

Over the weekend, Neel Somani, who is a software engineer, former quant researcher, and a startup founder, was testing the math skills of OpenAI’s new model when he made an unexpected discovery. After ...

Do you stare at a math word problem and feel completely stuck? You're not alone. These problems mix reading comprehension with complex math concepts, making them a common hurdle for students. The good ...

OpenAI's unreleased Astra model has produced what its October 2025 announcement only pretended to: genuine solutions to ten long-standing open problems in mathematics and theoretical computer science, ...

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