The First Proof consortium has repeatedly challenged AI systems to crack 10 tough research math problems. In the latest round ...

Researchers have released CSOMA, an open-source MATLAB toolkit that uses a competition-based swarm algorithm to solve derivative-free optimization problems in optimal experimental design and beyond.

Since you last thought about math, the people who think about math every day have been freaking out. A month ago, when OpenAI announced that one of its powerful internal models had cracked a ...

OpenAI beat humans to solving the Navier-Stokes problem, but mathematicians say the AI's solution isn't telling them much.

The mathematics community is still in shock. On September 8, 2026, OpenAI announced that an artificial intelligence model may have solved one of the most significant problems in the field, the ...

OpenAI on Tuesday said its artificial intelligence technology has cracked one of the Millennium Problems –– seven famously difficult and unsolved questions in mathematics that have stumped even the ...

NYU mathematics professor Tristan Buckmaster announced three proofs on Tuesday with a preliminary finding on one of the major unsolved problems in theoretical mathematics. The findings, made in ...

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

He built interfaces that allowed engineers, scientists and everyday people to solve difficult problems without having to write the underlying code. By Clay Risen Cleve Moler, a mathematician who, in ...

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

OpenAI claims its new reasoning model has produced an original mathematical proof disproving a famous unsolved conjecture in geometry, which was first posed by Paul Erdős in 1946. If this sounds ...