Shirish Agarwal
speaker
449 appearances
4 recordings
1 series
first heard Dec 2024
last heard Jan 2025
Shirish Agarwal’s voice in public audio — every appearance, attributed to the second.
Trend
recordings per month · last 12 monthsNo recordings in the last 12 months.Older appearances are listed below; set an alert to hear about the next one.
Appearances
And you know, even though we might not have figured it all out, the main thing I think is to stay curious, open to new ideas.
voice-verified
Yeah.
voice-verified
And be willing to question everything, even the things we think we know for sure.
voice-verified
Absolutely.
voice-verified
Thanks for joining us on this incredible journey.
voice-verified
All right, let's dive in.
voice-verified
We're talking about Kurt Jamingol and his deep dives into all things mind-bending.
voice-verified
You know this guy puts in the hours, like weeks, prepping to grill guests like Roger Penrose on some wild topics.
voice-verified
Definitely.
voice-verified
And today we're focusing on his chat with mathematician Yang Hui Hee.
voice-verified
They're getting into AI, math, where those two worlds collide.
voice-verified
You might think a mathematician's life is all formulas and proofs, but Yanghui, he actually started exploring AI assisted math while dealing with sleepless nights with his newborn son.
voice-verified
So let's break down this whole AI and math thing.
voice-verified
Yang Kui.
voice-verified
He talks about three levels of math: bottom-up, top-down, and meta.
voice-verified
Bottom-up is like building with Legos, very structured, rigorous proofs.
voice-verified
That's the foundation.
voice-verified
But here's where things get really interesting.
voice-verified
It has limitations.
voice-verified
So if even our most rigorous math has these inherent limitations, it makes you think.
voice-verified
Showing 121–140 of 449 · page 7 of 23
← Previous
Next →