In May 2026, OpenAI released a new math result that sent shock waves throughout the world of mathematical research. A major ...

A PHD in math disproved an 87 year old math problem with about two hours of working with Anthropic Fable. The Jacobian ...

What’s the secret to prompting an AI to solve math problems that have left humans stumped? Tell it to believe in itself ...

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

Artificial intelligence has formally verified the prizewinning proof that solved the sphere packing problem in eight dimensions, a result closely tied to Maryna Viazovska’s Fields Medal. The ...

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

The Jacobian conjecture has bedeviled math experts for nearly 90 years.

Mathematician Kevin Buzzard of Imperial College London is training computers how to prove one of the most famous problems in math history: Fermat’s last theorem. Resolving the problem isn’t the point.

In an episode of the cartoon, a machine lets characters swap bodies, but they can’t switch back with the same person. Math ...

Computers are extremely good with numbers, but they haven’t gotten many human mathematicians fired. Until recently, they could barely hold their own in high school-level math competitions. But now ...