Jaime Hoerricks, PhD
speaker
642 appearances
5 recordings
2 series
first heard Dec 2024
last heard 20 Dec
Jaime Hoerricks, PhD’s voice in public audio — every appearance, attributed to the second.
Trend
recordings per month · last 12 monthsRecordings per month over the last 12 months — 1 in all, peaking in Dec 2025 with 1.
Appearances
It's not about AI just helping us with math faster.
voice-verified
It's about AI possibly changing how we think about math altogether.
voice-verified
Well, AI is already making some big strides.
voice-verified
It's tackling Olympiad level problems and doing it well, which makes you ask, can AI really unlock the secrets of math?
voice-verified
Yang Hui, he shared a story about Andrew Wiles, the guy who proved Fermat's last theorem, trying to challenge GPT three with some basic math problems.
voice-verified
It highlights how early AI models, while excelling in tasks with clear rules and plenty of examples, struggled with things that needed real deep understanding.
voice-verified
Like Gauss.
voice-verified
He figured out the prime number theorem way before we had the tools to prove it.
voice-verified
It shows how a knack for patterns can lead to big breakthroughs even before we have the rigorous structure.
voice-verified
Which brings us back to Young Wee.
voice-verified
His sleepless nights, he started thinking about Calabio manifolds, super complex mathematical things key to string theory, as image processing problems.
voice-verified
They're pretty wild.
voice-verified
Think six dimensions all curled up, nearly impossible to picture.
voice-verified
They're vital to string theory, which tries to bring all the forces of nature together.
voice-verified
Now mathematicians typically use these really abstract algebraic geometry techniques for this.
voice-verified
But Yangwi?
voice-verified
He had a different thought.
voice-verified
Yeah.
voice-verified
Like taking a Klabiyao manifold, breaking it down into a pixel grid, like you do with an image.
voice-verified
He's taking abstract geometry and turning it into something a neural network built for image recognition can handle.
voice-verified
Showing 221–240 of 642 · page 12 of 33
← Previous
Next →