OpenAI and Anthropic are putting money into helping mathematicians keep up with AI.

The Simons Foundation launched a $15 million effort with both labs this week to fund workshops and programs that help researchers check AI-made proofs, learn the new tools and set shared standards. It follows OpenAI publishing hundreds of AI-generated math results at once, which some mathematicians said swamped peer review.


