Simons Foundation, Anthropic and OpenAI commit $15M to help mathematicians evaluate and adopt AI
Confirmed
The takeaway
The Simons Foundation will award $15M in combined funding and resources from itself, Anthropic and OpenAI, through an open call, for workshops and initiatives that help mathematicians assess recent AI-assisted results, learn AI tools and set shared standards. The two labs also give tools and compute to Simons-supported researchers.
Status
- Claim
Confirmed
- Our reporting
- High confidence
- Importance
- 3 of 5
- Last verified
- 15 October 2026
Your AI and this story
- GPT-6 Astra168 days after its cutoff
- Claude Opus 5.5107 days after its cutoff
- Gemini 4 Argon198 days after its cutoff
- Grok 4.7137 days after its cutoff
None of these four assistants can know about it. The closest, Claude Opus 5.5, stops 107 days before it.
Key facts
- Amount: $15 million ‘in combined funding and resources’ from the Simons Foundation, Anthropic and OpenAI; the release gives no split between the three
- Administration: the Simons Foundation manages and awards the funds, including through an open call for proposals; no deadlines given in the release
- Purpose: workshops and initiatives to help researchers evaluate recent AI-assisted results, learn and use new AI tools, share perspectives and develop shared standards for AI use in mathematics
- Labs also provide AI tools and computing resources to Simons-supported researchers, in mathematics and in basic science
- David Spergel, Simons Foundation president: the foundation wants to ‘help the mathematical community come together and forge the best path forward’, and the community, not any single company, should drive how AI tools are evaluated and adopted (paraphrased from the release)
- Background cited by the foundation: it funded development of the Lean proof assistant
- Terence Tao relayed the announcement on his blog (15 Oct); a commenter there called the sum modest. Hacker News: 193 points; comments split between welcome and criticism that it is ‘bribing’ mathematicians or will favour already well-funded senior researchers
What happened
The Simons Foundation, one of the main private funders of mathematics and of the Lean proof assistant, set up a $15 million programme together with Anthropic and OpenAI. The money and resources go to workshops and initiatives chosen by the foundation, partly through an open call, to help mathematicians assess AI-assisted results, learn the tools and agree on standards. Separately, the two labs will give tools and compute to researchers the foundation funds.
A press headline (inkl) said OpenAI was giving “$5 million”; the foundation’s release gives no per-company figures, so that split is unverified.
Why it matters
OpenAI’s release of 722 AI-written manuscripts on 6 Oct left mathematicians debating how to referee and value machine-made proofs. Here two competing frontier labs fund that work jointly, through money that a foundation administers. The foundation’s framing is that the community, not the companies, should set the standards.
Sources
3 sources from 3 sites. Numbers match the chips in the text.
3 sources: 1 primary, 2 reactions
Primary
- Simons Foundation: Simons Foundation launches $15M effort to help mathematicians navigate AI erasimonsfoundation.org, official
Reactions
- Terence Tao’s blog: announcement (15 Oct)terrytao.wordpress.com, discussion
- Hacker News discussionnews.ycombinator.com, discussion
Changes
- Filed (citybiz, HN 50104654; read the Simons Foundation release)