After a previous solution angered mathematicians, the company characterized the new release as being more responsive to ...
A month after its Millennium Prize solution, OpenAI released findings on more than 300 problems—and tried to win back the ...
The company said that most results were produced in a response to a single prompt given to a single AI agent.
In late July, one of the world’s most famous mathematicians issued a warning to his field. Math is entering a “turbulent period,” the UCLA professor Terence Tao said in front of a packed lecture hall ...
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 systems may be good at generating text, recognizing images, and even solving basic math problems—but when it comes to advanced mathematical reasoning, they are hitting a wall.
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 ...
An NYU math professor claims the AI behemoth rushed to solve the problem after discovering his progress.
OpenAI beat humans to solving the Navier-Stokes problem, but mathematicians say the AI's solution isn't telling them much.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results