Terence Tao on Co-Founding SAIR and AI for Science

[HPP] Terence TaoFebruary 10, 202626 min

25 connections·33 entities in this video→

Capture as you watch

Save any video to veridive in one click.

The free veridive Chrome extension pulls the transcript from any YouTube video or podcast you're watching — ready to ask, cite, and connect.

The Genesis of SAIR

💡 Terence Tao, a distinguished mathematics professor at UCLA, co-founded SAIR, a new foundation dedicated to advancing AI for science.
🎯 The primary goal of SAIR is to effectively integrate AI technologies into scientific workflows, acknowledging the numerous potential pitfalls and

Ask, don't scrub

Discover the spoken web.

veridive answers questions with exact timestamps and citations — across every podcast, video, and article you've saved.

Knowledge graph33 entities · 25 connections

How they connect

An interactive map of every person, idea, and reference from this conversation. Hover to trace connections, click to explore.

Hover · drag to explore

33 entities

Chapters5 moments

Key Moments

Transcript89 segments

Full Transcript

Follow the thread

Find every place these ideas show up.

veridive maps the same people, claims, and topics across thousands of sources — so you can trace an idea from one conversation to the next.

Topics14 themes

What’s Discussed

AI for scienceSAIRLarge language modelsFormal verificationProof assistantsScientific workflowsMathematical proofsHypothesis generationExperimental mathematicsAcademic communityNeural networksData scienceGoal specificationInteractive workflows

Smart Objects33 · 25 links

Concepts· 22

People· 2

Companies· 3

Medias· 3

Products· 3

Hours of content, seconds to the answer.

Save what you listen to. Ask it anything. Watch the threads between sources surface on their own.

Get started free