The First Proof consortium has repeatedly challenged AI systems to crack 10 tough research math problems. In the latest round ...

Look at the math problems AI solved in the last 60 days. OpenAI and other labs cracked the Navier-Stokes problem, a question ...

At first, Maynard, a mathematician at the University of Cambridge and recipient of the Fields Medal, math’s most prestigious ...

"Mathematics is not a game of chess," one Fields Medal winner told CNET. Mathematicians worry AI companies are just trying to ...

OpenAI has released AI-generated math results, prompting debate over proof verification, and the pace of mathematical ...

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

OpenAI has posted hundreds of solutions and progress toward 372 major math problems in a release of 722 manuscripts on GitHub ...

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

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

The goal is to develop tools, like a smartphone app, to help python hunters be more efficient in the field. A quantitative ...

On October 2, 2026, Meta AI Research published six mathematics papers co-authored with human mathematicians and its Muse Spark model — five of them presenting answers to previously unsolved open ...

Show producers: Samata Joshi, Dean Russell, Grace Tatter, and Paul Vaitkus. Mixer and sound designer: Emily Jankowski Get out your graphing calculators, because today's episode of Endless Thread is ...