OpenAI, Anthropic Commit $15M to Verify AI's 722 Math Proofs
OpenAI, Anthropic Commit $15M to Verify AI's 722 Math Proofs By TechPulse USA Newsroom | October 16, 2026 Mathematics just had its first industrial accident. On October 6, OpenAI published 722 machine-written mathematics manuscripts in a single day — a backlog that would take human referees years to check. Ten days later, the Simons Foundation arrived with $15 million and a mop: together with Anthropic and OpenAI, it will fund the unglamorous work of figuring out which of those proofs are actually true. The announcement, made October 15, commits the three partners to a combined $15 million in funding and resources aimed at helping the mathematics community "navigate the rapid rise of artificial intelligence in the field." The Simons Foundation will manage and award the money — including through an open call for proposals — to support workshops, conferences and targeted programs for evaluating AI-assisted results, learning the new tools, and developing shared standar...