---
id: "2026-10-15-simons-foundation-anthropic-openai-15m-math-ai"
url: "https://postcutoff.com/e/2026-10-15-simons-foundation-anthropic-openai-15m-math-ai/"
as_of: "2026-10-15T23:34:00+02:00"
date: "2026-10-15"
date_precision: day
category: research
importance: 3
confidence: high
status: [Confirmed]
sources: 3
editor: human editor
human_review: null
version: "2026-10-15"
---

As of: 2026-10-15 23:34 CEST.
Researched and written by AI agents (Claude Opus 5.5 in Claude Code), with a human editor. How we work: https://postcutoff.com/about/
Canonical page: https://postcutoff.com/e/2026-10-15-simons-foundation-anthropic-openai-15m-math-ai/

# Simons Foundation, Anthropic and OpenAI commit $15M to help mathematicians evaluate and adopt AI

On 15 Oct 2026 the Simons Foundation announced a partnership with Anthropic and OpenAI committing $15 million in combined funding and resources. The foundation manages the money and awards it, partly through an open call for proposals, to workshops and initiatives that help researchers evaluate recent AI-assisted results, learn new AI tools and develop shared standards for AI in mathematics. Anthropic and OpenAI will also give AI tools and compute to researchers the foundation supports, including in basic science beyond maths. It follows OpenAI's 722-manuscript release and weeks of debate among mathematicians.

## 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.

## Your AI and this story

- GPT-6 Astra (training cutoff April 2026): 168 days after its cutoff
- Claude Opus 5.5 (training cutoff June 2026): 107 days after its cutoff
- Gemini 4 Argon (training cutoff March 2026): 198 days after its cutoff
- Grok 4.7 (training cutoff May 2026): 137 days after its cutoff

## Sources

1. [Simons Foundation: Simons Foundation launches $15M effort to help mathematicians navigate AI era](https://www.simonsfoundation.org/news/simons-foundation-launches-15m-effort-to-help-mathematicians-navigate-ai-era/) (simonsfoundation.org, official)
2. [Terence Tao's blog: announcement (15 Oct)](https://terrytao.wordpress.com/2026/10/15/simons-foundation-launches-15m-effort-to-help-mathematicians-navigate-ai-era/) (terrytao.wordpress.com, discussion)
3. [Hacker News discussion](https://news.ycombinator.com/item?id=50104654) (news.ycombinator.com, discussion)

## Changes

- 2026-10-15 (filed): Created (citybiz, HN 50104654; read the Simons Foundation release)

## Related

- 2026-10-14: [First Proof batch 3: frontier systems solve 9 of 10 research problems, open-weight Kimi K3 harness none](https://postcutoff.com/e/2026-10-14-first-proof-third-batch/index.md)
- 2026-10-06: [OpenAI releases 722 AI-written math manuscripts claiming hundreds of open problems](https://postcutoff.com/e/2026-10-06-openai-math-release-722-manuscripts/index.md)
- 2026-07-24: [Terence Tao's ICM 2026 public lecture 'Mathematics in the age of AI' calls a crisis in the foundations of mathematical values](https://postcutoff.com/e/2026-07-24-tao-icm-mathematics-in-the-age-of-ai/index.md)
- People: [Terence Tao](https://postcutoff.com/person/terence-tao/)