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 creditsEn esta entrevista, el matemático Terence Tao discute el potencial de la IA para transformar los flujos de trabajo científicos a través de la recién fundada iniciativa SAIR, enfatizando la importancia de la adecuada integración y verificación de los resultados de la IA.
Proporciona valiosas ideas de un experto líder en matemáticas sobre tecnologías en evolución.
Cualquiera interesado en la intersección de la IA y la ciencia, particularmente las matemáticas.
Los espectadores no interesados en discusiones académicas o tecnología de IA.
Análisis en profundidad del papel de la IA en la ciencia, fundamentado en la opinión de expertos.
- La IA tiene el potencial de transformar la ciencia a través de una mejor integración en los flujos de trabajo.
- La participación académica es crucial para el uso efectivo de las tecnologías de IA.
- Las matemáticas se benefician de manera única de la IA debido a los procesos de verificación formal.
- La IA actual tiene problemas de fiabilidad que deben abordarse para un uso científico más amplio.
- El futuro puede ver a la IA generando hipótesis y diseños experimentales en matemáticas.
- La integración adecuada de la IA requiere entender sus limitaciones y capacidades.
- La capacidad de la IA para asistir debe complementar la creatividad y la inteligencia humanas.
- Los flujos de trabajo mejorados que integran la IA y la colaboración humana llevarán tiempo en desarrollarse.
- Persisten conceptos erróneos sobre el papel de la IA en la ciencia, a menudo enfocándose en chatbots en lugar de aplicaciones prácticas.
- Se necesitan especificaciones más precisas al asignar tareas a la IA.
interview
positive
intermediate
moderate
Investigadores, estudiantes y profesionales interesados en IA y matemáticas.