Simons Foundation, Anthropic and OpenAI Commit $15 Million to Help Mathematicians Vet AI Results
A.I. / news
Simons Foundation, Anthropic and OpenAI Commit $15 Million to Help Mathematicians Vet AI Results
OpenAI's share is $5 million. The foundation's release gives no split for Anthropic, no deadline and no eligibility rules.
The Simons Foundation said on Oct. 15 that it, Anthropic and OpenAI will commit $15 million in combined funding and resources to help mathematicians evaluate AI-assisted results, according to the foundation's announcement. The foundation will manage and award the money through an open call for proposals.
OpenAI's share is $5 million, Crypto Briefing reported, citing an OpenAI announcement dated Oct. 6 and an update on Oct. 15. The foundation's page gives no breakdown among the three partners, and Crypto Briefing does not give Anthropic's amount.
What the money pays for
Awards will support workshops and initiatives that help researchers evaluate recent AI-assisted results, learn and use new tools, share perspectives and shape collective standards for AI use. Crypto Briefing says the money covers workshops, conferences and special programs.
Anthropic and OpenAI will also provide AI tools and computing resources to researchers the foundation supports. The foundation says that offer extends beyond mathematics to basic science.
| Item | Detail | Source |
|---|---|---|
| Total commitment | $15 million, funding and resources combined | Simons Foundation |
| OpenAI contribution | $5 million | Crypto Briefing |
| Anthropic contribution | Not disclosed | Both |
| Administrator | Simons Foundation, open call for proposals | Simons Foundation |
What the foundation said
David Spergel, President of the Simons Foundation, said "This is a moment for the mathematics community to come together." He added: "The community should be driving discussions of how these tools are evaluated, adopted and used."
The foundation points to its record in the field. It funded development of the Lean proof assistant, which its announcement says made AI-assisted proofs possible, and it has convened workshops and collaborations on AI in mathematics. Crypto Briefing describes the foundation as founded in 1994 with assets above $4 billion.
Spergel also said "The goal of the program is to support the mathematics community," and called for viewing mathematics as a whole, a collective understanding driven by human curiosity.
The claims mathematicians are being asked to check
Crypto Briefing places the announcement after a run of AI-generated mathematics. It reports that in early October 2026 OpenAI released hundreds of AI-generated proofs and solutions to long-standing problems, including work on Millennium Prize Problems. It also reports that in September an OpenAI model reportedly solved the Navier-Stokes problem using about 10,000 AI agents at high computational cost. Crypto Briefing presents that as a report, not a verified result, and the foundation's page does not mention it.
What is missing
The announcement does not give a formal program name beyond its headline, application deadlines, award dates, eligibility criteria or the split between partners. Two earlier foundation items on the same page are dated July 22, 2026, on Lean's impact on mathematics, and May 4, 2026, on AI at the International Congress of Mathematicians.
Neither source says how the foundation will handle awards that touch the two companies' own models. Related coverage on this site includes Iowa's lawsuit against OpenAI and the iFixAI agent auditor.
The foundation said an open call for proposals will follow, and gave no date for it.
Sources
More in A.I.
- 01Qwen3-4B-Deslop Cuts Its Slop Score From 121 to 12.5 on a MacBook Air, and Two of 40 Answers Came Out DamagedThe Show HN fine-tune by Erik Markus Kannike uses a rank-16 LoRA and a 175-byte neuron edit; its blog gives no licence, its Hugging Face card says Apache-2.0.
- 02HybridAgent Paper Claims 10.4% Gain and 2.7x to 3.7x Lower Cost, but Its Own Text Gives 10.4% Two Different MeaningsThe Stanford, UIUC and Together AI preprint ships MIT-licensed 8B and 14B agents, and no independent run of its numbers has been reported.
- 03Gemini 4 Argon Reaches the API at $2 and $10 Per Million Tokens, With a No. 1 Ranking and No ScoreGoogle's October 13 post says Argon tops the Vals Index but publishes no figure for it, and the introductory price doubles on November 30.
- 04DeepSeek Swapped V4.1-Flash-1017 Behind Its API Name, and the New Card Lists NL2Repo at 65.4 Where the Old One Said 64.0The MIT-licensed update calls itself minor and is now what deepseek-flash serves, with no active-parameter count and no release date on the card.