
Simons Foundation's $15M AI-Math Bet: Anthropic + OpenAI Fund Proof Verification
On October 15, 2026, the Simons Foundation, Anthropic, and OpenAI announced a $15 million joint program to help mathematicians evaluate a flood of AI-generated proofs — including 722 manuscripts from one OpenAI model alone. This guide explains the initiative, the controversy behind it, and what it means for AI-assisted research.








