OpenAI revealed Astra, its next major model, by publishing ten proofs of problems open for a decade or more. The total inference cost was about $2,000.
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 ...
Hosted on MSN
An 80-year-old math problem has just been solved. You might not like how we got the answer.
Last month, OpenAI announced that its latest version of ChatGPT had solved a major math problem, one that had stumped experts for 80 years. This was considered among the most important unsolved ...
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 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results