Meta AI mathematics open problems got a new answer on October 2, 2026: six papers co-authored by mathematicians and Muse Spark in Thinking Mode via ordinary meta.ai chat -- five tackling previously ...

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

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.

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.

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

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