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.

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.

Over 100 NYU faculty and students attended a talk on OpenAI’s recent math proof by Vlad Vicol — chair of NYU’s Department of ...

A dispute over the solution to one of the hardest problems in mathematics highlights key questions about the data companies share with AI tools.

A mathematician compared the feat to the history-making chess competition in which IBM’s Deep Blue computer beat Garry Kasparov in 1997 ...

OpenAI wanted to see if its agents could solve a long unsettled math problem. After gobbling billions of tokens, it found a solution.

Why would you want to ruin your career?” an OpenAI exec told him. “If you don’t want me to be nice, then I don’t have to be nice.” ...

OpenAI says its AI solved a $1M math problem, but two mathematicians say it used their unpublished work to get the solution.

After solving the 90-year-old Navier-Stokes Millennium Prize problem, OpenAI says its unreleased AI model has solved more ...

Google DeepMind's Gemini agents found proofs for open math problems, including Erdős problems unsolved for 56 years, at low ...