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
Could AI discover truths that we as humans bound by our formal systems might miss?
voice-verified
Could it explore uncharted territory?
voice-verified
So how's this all playing out?
voice-verified
We've had computers in math for ages, from early theorem provers to AI assistants like Lean.
voice-verified
But where are we now with AI actually doing math?
voice-verified
And that leads us to the big philosophical questions.
voice-verified
Is AI really understanding these mathematical ideas, or is it just incredibly good at spotting patterns?
voice-verified
It's like that famous Chinese room thought experiment.
voice-verified
You could follow rules to manipulate Chinese symbols without truly understanding the language.
voice-verified
It seems like AI's strength right now is in pattern recognition.
voice-verified
And that ties into what Young Huahee calls top-down mathematics.
voice-verified
It's where intuition and seeing connections between different parts of math are king.
voice-verified
It's like AI is taking that intuitive leap, seeing connections that might have taken us humans years, even decades to figure out.
voice-verified
And it's all because AI can deal with such massive amounts of data.
voice-verified
Wait, Calabio manifolds?
voice-verified
Those sound like something straight out of science fiction.
voice-verified
So instead of equations and formulas, he starts thinking about pixels.
voice-verified
That is a radical change in how we think about this.
voice-verified
It's like he's making something incredibly abstract, tangible, translating it for AI.
voice-verified
Did it even work?
voice-verified
Showing 141–160 of 449 · page 8 of 23
← Previous
Next →