Today for AI
HOT RADAR
industryHEAT 10.7°

AI CURATED HOT STORY · 11/10/2026

OpenAI and Anthropic Back $15M Effort to Verify AI Math Proofs

1 reports archived1 independent sourcesupdated 11/10/2026, 11:38:00
Synthesis & Latest Updates
1 Sources Cross-Validated

The Simons Foundation, together with OpenAI and Anthropic, has pledged $15 million in funding and compute to help mathematicians verify, understand and extend AI-generated mathematical results. The move follows OpenAI's release of 722 AI-written math manuscripts, three of which were retracted a day later over a single sign error, underscoring Terence Tao's point that mathematics is shifting from proof scarcity to proof abundance.

LATEST/The Simons Foundation, together with OpenAI and Anthropic, has pledged $15 million in funding and compute to help mathematicians verify, understand and extend AI-generated mathematical results. The move follows OpenAI's release of 722 AI-written math manuscripts, three of which were retracted a day later over a single sign error, underscoring Terence Tao's point that mathematics is shifting from proof scarcity to proof abundance.

Hourly heat curve

6 fully observed hours
Now
10.7
Peak
11.912:00
24h change
–

The line compares only sources observed throughout; gap hours are interpolated to keep the trend continuous.

Coverage timeline

Total 1 reports · Latest first
  1. 新智元 (微信公众号)T2·78 pts

    OpenAI and Anthropic Back $15M Effort to Verify AI Math Proofs

    • The Simons Foundation, OpenAI and Anthropic pledged $15M total, with each lab contributing $5M plus model access, compute and Claude usage rights
    • Funds are administered by the Simons Foundation for workshops and meetings aimed at helping mathematicians read and reuse AI-generated proofs
    • The trigger was OpenAI's release of 722 AI math manuscripts, three of which were retracted a day later over a shared sign error
OpenAI and Anthropic Back $15M Effort to Verify AI Math Proofs | Today for AI