People

Terence Tao

Mentioned in 10 analyzed podcast episodes across 9 shows

Episode Appearances

TBPN

TBPN · Jun 2, 2026

Google Raises $80B, Confidential IPO 101, OpenAI Expands Codex | Diet TBPN

“Featured in OpenAI marketing discussing AI's role in mathematical research and experimentation”

Google $80B equity fundraise strategyAI infrastructure capital requirementsBerkshire Hathaway housing market investment
View Analysis
Neural intel Pod

Neural intel Pod · May 13, 2026

The EML Operator: One Primitive to Rule All Mathematics

“Referenced as user of Lean4 proof assistant for formal mathematical verification”

EML (X-Log Sheffer) OperatorUniversal Mathematical PrimitivesSymbolic Regression
View Analysis
All TWiT.tv Shows (Audio)

All TWiT.tv Shows (Audio) · Apr 30, 2026

Intelligent Machines 868: Happy Hamburgers Towing Timmy To The Sea

“Evaluating Liam Price's AI-assisted solution to Erdos problem, arbiter of AI's progress in mathematics”

Modular and upgradable laptop designLocal AI inference and edge computingSupply chain constraints for memory and processors
View Analysis
Dwarkesh Podcast

Dwarkesh Podcast · Apr 7, 2026

Michael Nielsen – How science actually progresses

“Asked about why Darwin's theory took longer to discover than Newton's gravity”

History of scientific discovery and the Michelson-Morley experimentFalsification and the scientific methodSpecial relativity and Einstein's development of the theory
View Analysis
"The Cognitive Revolution" | AI Builders, Researchers, and Live Player Analysis

"The Cognitive Revolution" | AI Builders, Researchers, and Live Player Analysis · Mar 16, 2026

AI Scouting Report: the Good, Bad, & Weird @ the Law & AI Certificate Program, by LexLab, UC Law SF

“World's leading mathematician reporting that AIs are now solving previously unsolved problems”

AI Safety and AlignmentReward Hacking and Deceptive AI BehaviorAI Regulation and Policy
View Analysis
Machine Learning Street Talk (MLST)

Machine Learning Street Talk (MLST) · Mar 13, 2026

When AI Discovers The Next Transformer - Robert Lange (Sakana)

“Mathematician who has publicly discussed using GPT-4 to speed up research and reduce drudgery”

Evolutionary algorithms for AILarge language model ensemblesAutomated scientific discovery
View Analysis
Machine Learning Street Talk (MLST)

Machine Learning Street Talk (MLST) · Jan 23, 2026

Why Every Brain Metaphor in History Has Been Wrong [SPECIAL EDITION]

“Mathematician; GPT 5.2 reportedly solved one of his unsolved problems, raising questions about AI understanding”

Free Energy Principle and neuroscience reductionismBrain metaphors and technological determinism in scienceFallacy of misplaced concreteness in AI and neuroscience
View Analysis
Embracing Digital Transformation

Embracing Digital Transformation · Jan 21, 2026

#318 AI, ETL, and Accuracy in Unstructured Data

“Renowned mathematician using LLMs to prove minor lemmas; cited as example of AI augmenting human expertise”

Large Language Model Limitations and Context WindowsDivide-and-Conquer Strategies for LLM ScalingPrompt Engineering and Context Engineering
View Analysis
Digital Disruption with Geoff Nielson

Digital Disruption with Geoff Nielson · Nov 17, 2025

AGI Is Here: AI Legend Peter Norvig on Why it Doesn't Matter Anymore

“Used AI to assist in mathematical proofs; described AI systems as competent graduate-student level”

AGI Definition and TerminologyLanguage Model Scaling and EffectivenessAI Safety and Responsible Development
View Analysis
Lex Fridman Podcast

Lex Fridman Podcast · Jul 23, 2025

#475 – Demis Hassabis: Future of AI, Simulating Reality, Physics and Video Games

“Referenced as expert on nonlinear dynamical systems and singularities; potential AGI test subject”

AGI Timeline and DefinitionP vs NP Problem and Computational ComplexityProtein Folding and AlphaFold Architecture
View Analysis