In December 2025, a group of researchers from around the world, including UC Berkeley math professor Nikhil Srivastava, gathered inside the Simons Institute for the Theory of Computing at UC Berkeley.

Over the past couple of months, several researchers have begun making the same provocative claim: They used generative-AI tools to solve a previously unanswered math problem. The most extreme promises ...

Want smarter insights in your inbox? Sign up for our weekly newsletters to get only what matters to enterprise AI, data, and security leaders. Subscribe Now A new artificial intelligence system ...

Top artificial intelligence systems now ace many textbook-style math questions, yet they still fall apart on genuinely new problems. The gap between polished performance on familiar benchmarks and ...