Solutions or partial solutions to 372 outstanding math problems that have challenged human mathematicians for years have been ...

After a previous solution angered mathematicians, the company characterized the new release as being more responsive to ...

A month after resolving one of the six biggest open problems in mathematics, the company says its new internal model has ...

Hundreds of new A.I.-generated findings moved the frontiers of higher math in a single day — dispelling any doubt that the ...

This staggering quantity of mathematical progress builds on AI developments that have unsettled the research community.

Such a glut has left some queasy. The excitement of potential new mathematical truths is, for many researchers, freighted ...

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

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.

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

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.

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