Terence Tao: Why I Co-Founded SAIR
Show description
In this new episode of On the SAIR, Fields Medalist Terence Tao joins Peter for a conversation on what “AI for science” actually demands: not hype, but methods scientists can trust. Tao shares why he helped co-found SAIR as the AI for Science: Kickoff 2026 approaches: The tools are ready to reshape scientific work, but there are far more ways to use them poorly than well. Getting it right means researchers stay deeply involved, set standards, and build workflows that keep outputs accountable. The discussion also dives into why mathematics may be a best-case testing ground: When AI produces confident claims, math has the culture and tooling to check them, including formal verification systems that force each step into a precise, machine-checkable form. Together, Terence and Peter explore: 🔹 Why Tao co-founded SAIR and why academia has to lead, not follow 🔹 The reliability gap in modern AI, and why “plausible” is not enough 🔹 How proof assistants and verification can keep outputs honest in mathematics 🔹 Why breadth is powerful, but still needs human judgment 🔹 What real progress looks like: interactive workflows, not one-click answers 🔹 Why “AI” isn’t one thing, and why scientists use different tools than the public As Tao puts it: “We didn’t just want the answer. We actually wanted the process as well.” SAIR is launching its public journey through AI for Science: Kickoff 2026 at UCLA — a global gathering of leaders across academia, technology, and research exploring the next frontier of AI-driven science. Learn more: https://sair.foundation/ Follow SAIR: LinkedIn: https://www.linkedin.com/company/sairfoundation/ X: https://x.com/SAIRfoundation
Have questions about this video?
Sign up to chat with AI and get deeper insights.
Sign up — 5 free creditsВ этом интервью математик Теренс Тао обсуждает потенциал ИИ в трансформации научных рабочих процессов через новосозданную инициативу SAIR, подчеркивая важность правильной интеграции и проверки результатов ИИ.
Предоставляет ценные идеи от ведущего эксперта в математике о развивающихся технологиях.
Тем, кто интересуется пересечением ИИ и науки, особенно математики.
Зрители, не заинтересованные в академических дискуссиях или технологиях ИИ.
Глубокий анализ роли ИИ в науке, основанный на мнении эксперта.
- ИИ имеет потенциал трансформировать науку за счет лучшей интеграции в рабочие процессы.
- Академическое участие чрезвычайно важно для эффективного использования технологий ИИ.
- Математика уникально выигрывает от ИИ благодаря процессам формальной проверки.
- Текущий ИИ сталкивается с проблемами надежности, которые необходимо решить для более широкого научного использования.
- В будущем ИИ может генерировать гипотезы и экспериментальные проекты в математике.
- Правильная интеграция ИИ требует понимания его ограничений и возможностей.
- Способности ИИ должны дополнять человеческое творчество и интеллект.
- Улучшение рабочих процессов, интегрирующих ИИ и человеческое сотрудничество, займет время.
- Существуют заблуждения относительно роли ИИ в науке, часто сосредотачивающиеся на чат-ботах, а не на практических приложениях.
- Требуются более точные спецификации при назначении задач ИИ.
interview
positive
intermediate
moderate
Исследователи, студенты и профессионалы, интересующиеся ИИ и математикой.