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

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

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

OpenAI has released new AI-generated mathematical results, along with proof formalisations, reasoning summaries and compute ...

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

In a research post published October 6, 2026, OpenAI said it is releasing a broad range of new mathematical results produced ...

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

Meta says Muse Spark helped researchers answer five open math questions through its regular chat interface, with experts guiding and checking the work.

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

OpenAI has published hundreds of mathematical results generated by an internal model, opening a new chapter in AI-assisted ...

Less than a month after OpenAI set off a mathematics firestorm by announcing it had solved one of the field’s most challenging problems, the AI company dropped more than 700 new research papers ...