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

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

John Urschel published a paper proving a mathematical conjecture regarding Gaussian elimination.

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

An NYU math professor claims the AI behemoth rushed to solve the problem after discovering his progress.

OpenAI’s recent claim of solving a Millennium Prize problems causes both celebration and controversy ...

An internal model more powerful than GPT-6 Astra produced a proposed solution to one of mathematics’ seven Millennium Prize Problems, though questions are emerging over how independently it got there.

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

Today may go down as the biggest day in math in at least two decades, if not far longer. In a development that crystallizes an existential shift in humankind’s oldest intellectual discipline, ...

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

OpenAI posted 722 AI-written math manuscripts from an unreleased model, saying most came from a single prompt.