As of: 2026-10-20 07:28 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/v/sair-tao-yu-deng-why-we-build-open-math-model/

# Terence Tao & Yu Deng: Why We Build Open Math Model

SAIR, 19 October 2026, YouTube. 1,686 views as of 20 October 2026.
Kind: Interview.
Watch: https://www.youtube.com/watch?v=TjeCcDkuyao

## Why it is here

Official SAIR Foundation interview (22:46) with Fields Medalists Terence Tao and Yu Deng, posted three days after the Open Math OS soft launch. Per the channel description they discuss how to keep understanding, credit and openness as AI produces proofs at scale, the problems posed by large releases of AI-generated proofs, SAIR's Open Math OS (built at first on existing open-source models), and which human abilities will matter in mathematics (asking questions, planning proofs, new ideas).

## Description (written by Gemini from the video)

**Summary**
This video is an interview on the SAIR podcast hosted at the Science x AI Summit 2026, featuring mathematicians Terence Tao (UCLA, Chairman of SAIR) and Yu Deng (University of Chicago). The panel discusses the aftermath of commercial frontier labs dumping massive batches of AI-generated proofs, addressing academic credit, attribution loss, the need for human understanding, and the rationale behind SAIR's Open Math Model initiative.

**What is shown**
- [00:07] Panel discussion setting at the "Science x AI Summit 2026" featuring the host, Terence Tao, and Yu Deng.
- [00:51] Self-introductions by Yu Deng (University of Chicago, PDE and probability) and Terence Tao (UCLA, analysis and number theory).
- [01:40] Deng and Tao analyzing the nuances of AI adoption in mathematics beyond binary "pro" or "anti" stances.
- [05:42] Tao discussing the misaligned incentives of commercial AI labs treating mathematics benchmarks as disposable byproducts.
- [08:00] Deng outlining the conceptual difference between the boundary of proven theorems and the boundary of human-understood theorems.
- [13:43] Tao detailing SAIR's Open Math Model project, community-led infrastructure, and the role of open-source tools.
- [21:31] Deng describing an example where collaborator Bjorn Bringmann leveraged an LLM to resolve a specific stochastic PDE problem within one to two days using a human-designed proof plan.

**Claims & numbers**
- The host states that a commercial AI company released over 700 mathematical proofs at once and subsequently had to retract three preprints due to basic sign errors [00:13, 05:05].
- Terence Tao states there are roughly a dozen problems in OpenAI's recent proof release that he personally cares about, though reading them is not an immediate priority due to poor exposition [07:40].
- Deng states his collaborator Bjorn Bringmann tested an SPDE problem using GPT, solving it in one or two days by supplying a structured human proof roadmap [21:31].

**Notable quotes**
- **Terence Tao** [04:05]: "Speed is not the only thing we want to optimize."
- **Terence Tao** [18:18]: "Empowerment is the key... when you use the tools, you yourself get smarter, you understand things better, and you're not sacrificing your own capability."
- **Yu Deng** [16:28]: "Science has always been open, so everything like AI for science should also... should also be open."

**Assessment**
This is an authentic panel discussion and interview recorded live at the Science x AI Summit 2026. No software interfaces or live proof generation benchmarks are directly demonstrated on screen; the discussion reflects expert perspectives and initiatives within the mathematical research community.

_Described by gemini-3.8-flash on 2026-10-20 from the video's audio and frames._

## Related

- 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/)
- 2026-09-18: [SAIR launches the Open Math Model initiative for community-governed open-weight math AI, plus Lean Kernel and Andrews–Curtis challenges](https://postcutoff.com/e/2026-09-18-sair-open-math-model-initiative/)

## More videos on this

- 2026-10-09: [You Truly Don't Understand What Just Happened to Mathematics](https://postcutoff.com/v/prof-gio-dont-understand-what-happened-to-mathematics/), Prof Gio | Giordano Scarciotti, YouTube, review, 3,242,101 views as of 18 October 2026.
- 2026-10-09: [The Mathematics are Mad](https://postcutoff.com/v/primetime-the-mathematics-are-mad/), The PrimeTime, YouTube, review, 1,321,673 views as of 18 October 2026.
- 2026-10-08: [AI Keeps Pissing Off Mathematicians](https://postcutoff.com/v/coldfusion-ai-keeps-pissing-off-mathematicians/), ColdFusion, YouTube, review, 1,039,006 views as of 19 October 2026.
- 2026-10-15: [No More Heroes - Terence Tao Talks to Numberphile About AI](https://postcutoff.com/v/numberphile-terence-tao-no-more-heroes-ai/), Numberphile, YouTube, interview, 883,946 views as of 20 October 2026.

What else happened that month, day by day: https://postcutoff.com/timeline/2026/10/

## People in it

- [Terence Tao](https://postcutoff.com/person/terence-tao/), Professor of mathematics, UCLA