The company said that most results were produced in a response to a single prompt given to a single AI agent.

A month after its Millennium Prize solution, OpenAI released findings on more than 300 problems—and tried to win back the world of math.

From writing essays to coding, there’s seemingly nothing modern AI chatbots like ChatGPT and Microsoft Copilot cannot accomplish. But even though they seem limitless on the surface, they’re certainly ...

After solving the 90-year-old Navier-Stokes Millennium Prize problem, OpenAI says its unreleased AI model has solved more than 100 long-standing math problems within a month of being trained.

The company’s announcement is the most dramatic sign yet that artificial intelligence is fundamentally transforming the field of higher mathematics.

In September 2019, news broke regarding progress on this 82-year-old question, thanks to prolific mathematician Terence Tao. And while the story of Tao's breakthrough is promising, the problem isn't ...

While this three-step process is the ideal process of applied math, reality is more complicated. Once I reach the second step where I want the solution of the math problem, very often, if not most of ...

24-year-old founder and CEO Carina Hong created Axiom Math in March 2025 and has recruited a team of ten employees, most of whom are from Meta, to build a math-focused AI model. Last fall, Carina Hong ...