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

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

OpenAI says its artificial intelligence just solved some of maths’ hardest problems – but it is controversial - ...

OpenAI has released 722 manuscripts covering 372 families of mathematical results, including solutions to hundreds of open ...

NYU's Tristan Buckmaster accuses OpenAI's Sébastien Bubeck of racing to claim credit for a Navier-Stokes proof after learning about his unpublished work with Anthropic's Levent Alpöge.

OpenAI plans to release hundreds of AI-generated math solutions on GitHub, including formal Lean 4 proofs for longstanding ...

On Monday, the company announced a new independent panel of mathematicians tasked with advising it and other AI companies on ...

OpenAI beat humans to solving the Navier-Stokes problem, but mathematicians say the AI's solution isn't telling them much.

OpenAI has just revealed that an internal ChatGPT model has managed to solve 372 math problems. The company has posted the ...

Mathematicians say they're still unpacking OpenAI's solution for the Navier-Stokes problems because the AI's proof is nearly ...

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

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