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
We've touched on this question of understanding.
voice-verified
Does AI really understand the math it's dealing with?
voice-verified
Or is it just a master of pattern matching?
voice-verified
It goes way back to the Chinese room thought experiment.
voice-verified
Imagine someone who doesn't speak Chinese has this rule book for moving Chinese symbols around.
voice-verified
They can follow the rules to make grammatically correct sentences, but do they actually get the meaning?
voice-verified
That's the big question.
voice-verified
And there's no easy answer.
voice-verified
Some people say that because AI gets meaningful results, like we've talked about, it shows some kind of understanding, even if it's different from how we understand things.
voice-verified
Others say AI doesn't have that intuitive grasp of math concepts that we humans have.
voice-verified
That's a key point.
voice-verified
Traditionally, mathematical proof has been all about logic, building arguments step by step using established axioms and theorems.
voice-verified
But AI brings something new.
voice-verified
Inductive reasoning, finding patterns, and extrapolating from those patterns.
voice-verified
It's possible.
voice-verified
Some mathematicians are already using AI as a partner in the proving process.
voice-verified
AI can help generate potential theorems or find good strategies for tackling conjectures.
voice-verified
But others are more cautious, worried that relying too much on AI could make math less rigorous, more prone to errors.
voice-verified
Right.
voice-verified
And as AI becomes more important in math,
voice-verified
Showing 301–320 of 642 · page 16 of 33
← Previous
Next →