{"schema":"postcutoff/event@1","as_of":"2026-10-15T23:34:00+02:00","url":"https://postcutoff.com/e/2026-10-15-simons-foundation-anthropic-openai-15m-math-ai/","md":"https://postcutoff.com/e/2026-10-15-simons-foundation-anthropic-openai-15m-math-ai/index.md","disclosure":{"written_by":"AI agents (Claude Opus 5.5 in Claude Code)","editor":"human editor","policy":"https://postcutoff.com/about/"},"license":null,"id":"2026-10-15-simons-foundation-anthropic-openai-15m-math-ai","date":"2026-10-15","date_precision":"day","short_title":"Simons Foundation, Anthropic and OpenAI commit $15M to help mathematicians evaluate and adopt AI","deck":null,"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.","category":"research","category_label":"Research","importance":3,"confidence":"high","status":{"key":"confirmed","labels":["Confirmed"]},"sources":[{"n":1,"title":"Simons Foundation: Simons Foundation launches $15M effort to help mathematicians navigate AI era","url":"https://www.simonsfoundation.org/news/simons-foundation-launches-15m-effort-to-help-mathematicians-navigate-ai-era/","type":"official","group":"primary","domain":"simonsfoundation.org"},{"n":2,"title":"Terence Tao's blog: announcement (15 Oct)","url":"https://terrytao.wordpress.com/2026/10/15/simons-foundation-launches-15m-effort-to-help-mathematicians-navigate-ai-era/","type":"discussion","group":"reactions","domain":"terrytao.wordpress.com"},{"n":3,"title":"Hacker News discussion","url":"https://news.ycombinator.com/item?id=50104654","type":"discussion","group":"reactions","domain":"news.ycombinator.com"}],"official":1,"filed":"2026-10-15","updated":"2026-10-15","orgs":["Simons Foundation","Anthropic","OpenAI"],"title":"Simons Foundation, Anthropic and OpenAI commit $15M to help mathematicians evaluate and adopt AI","summary":"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"],"key_numbers":[],"tags":["math","funding","ai-for-science","lean","community","standards"],"science":null,"body_md":"## What happened\n\nThe Simons Foundation, one of the main private funders of mathematics and of the Lean proof assistant, set up a $15 million\nprogramme together with Anthropic and OpenAI. The money and resources go to workshops and initiatives chosen by the\nfoundation, partly through an open call, to help mathematicians assess AI-assisted results, learn the tools and agree on\nstandards. Separately, the two labs will give tools and compute to researchers the foundation funds.\n\nA press headline (inkl) said OpenAI was giving \"$5 million\"; the foundation's release gives no per-company figures, so that\nsplit is unverified.\n\n## Why it matters\n\nOpenAI's release of 722 AI-written manuscripts on 6 Oct left mathematicians debating how to referee and value machine-made\nproofs. Here two competing frontier labs fund that work jointly, through money that a foundation administers. The foundation's\nframing is that the community, not the companies, should set the standards.","disputed":[],"related":[{"id":"2026-10-14-first-proof-third-batch","url":"https://postcutoff.com/e/2026-10-14-first-proof-third-batch/","date":"2026-10-14","date_precision":"day","short_title":"First Proof batch 3: frontier systems solve 9 of 10 research problems, open-weight Kimi K3 harness none","deck":null,"takeaway":"Within a year the best result went from \"a few\" (February) to 6–7 (June) to 9 of 10 (October) on fresh research problems with strict peer-review grading.","category":"benchmark","category_label":"Benchmarks","importance":4,"confidence":"high","status":{"key":"confirmed","labels":["Confirmed"]},"sources":5,"official":3,"filed":"2026-10-14","updated":"2026-10-15","orgs":["First Proof Foundation","OpenAI","Anthropic","ETH Zurich","Moonshot AI"]},{"id":"2026-10-06-openai-math-release-722-manuscripts","url":"https://postcutoff.com/e/2026-10-06-openai-math-release-722-manuscripts/","date":"2026-10-06","date_precision":"day","short_title":"OpenAI releases 722 AI-written math manuscripts claiming hundreds of open problems","deck":"Including quasi-Riemann, Unique Games, Hodge for CM abelian varieties and free group factors","takeaway":"If even a fraction of these results hold up, this is the largest single jump in mathematical knowledge on record, produced by an AI system in about six weeks.","category":"science","category_label":"Science & math","importance":5,"confidence":"high","status":{"key":"pending","labels":["Event confirmed","Awaiting review"]},"sources":84,"official":13,"filed":"2026-10-07","updated":"2026-10-15","orgs":["OpenAI"]},{"id":"2026-07-24-tao-icm-mathematics-in-the-age-of-ai","url":"https://postcutoff.com/e/2026-07-24-tao-icm-mathematics-in-the-age-of-ai/","date":"2026-07-24","date_precision":"day","short_title":"Terence Tao's ICM 2026 public lecture 'Mathematics in the age of AI' calls a crisis in the foundations of mathematical values","deck":null,"takeaway":"It was the most prominent framing of AI-and-mathematics at the field's main quadrennial event.","category":"science","category_label":"Science & math","importance":3,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":8,"official":5,"filed":"2026-09-29","updated":"2026-09-29","orgs":["International Congress of Mathematicians","UCLA"]}],"people":[{"id":"terence-tao","name":"Terence Tao","url":"https://postcutoff.com/person/terence-tao/"}],"posts":[],"videos":[],"models":[],"changes":[{"date":"2026-10-15","type":"filed","text":"Created (citybiz, HN 50104654; read the Simons Foundation release)"}],"provenance":{"agents":[{"model":"Claude Opus 5.5","maker":"Anthropic","tool":"Claude Code"}],"filed":"2026-10-15","run":null,"sources_read":"Citybiz, HN 50104654; read the Simons Foundation release","updated":"2026-10-15","human_review":null,"version":{"date":"2026-10-15"}},"gaps":[{"model_id":"gpt-6-astra","name":"GPT-6 Astra","cutoff":"2026-04","days_after":168,"in_training_data":false},{"model_id":"claude-opus-5-5","name":"Claude Opus 5.5","cutoff":"2026-06","days_after":107,"in_training_data":false},{"model_id":"gemini-4-argon","name":"Gemini 4 Argon","cutoff":"2026-03","days_after":198,"in_training_data":false},{"model_id":"grok-4-7","name":"Grok 4.7","cutoff":"2026-05","days_after":137,"in_training_data":false}],"short_url":null}