Yang-Hui He
speaker
1,500 appearances
1 recordings
1 series
first heard Jan 2025
last heard Jan 2025
Yang-Hui He’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 th the third one, meta, um that's just because you're s sh uh short of any other creative words, because there, you know, words like meta science and meta philosophy or metaphysics.
Um I'm just thinking about mathematics as purely as a language, you know, where w w whether um
Um the person understands what's going on underneath is of secondary importance.
So it's kind of like ChatGPT, if you wish.
Um, you know, you you can can you do mathematics purely by s symbol processing?
So that's what I mean by meta.
So I'm gonna talk a little bit about in this talk, about each of the three directions and focusing mostly on the second direction of top down, which is what I've been thinking about for the last seven years or so.
would I would say that's meta.
In the sense that the person doesn't even have to be a mathematician.
You're just simply taking symbols, uh large language modeling for math, if you wish.
it.
Uh of course, you know, there's a bit of component rather than you can see there's a little bit of component of bottom up because you are taking mathematics as s you know, a sequence of symbols.
But I would mainly call that meta.
If if that's okay.
I mean
This these definitions are just, you know, things that have just
I'm using Yes, yes.
But in any case I would talk mostly about this this bit, which is this uh what I've been thinking mostly about.
One thing I just mean just just to s set the scene, you know, twentieth century of course, you know, computers have been playing an increasingly
Important role in mathematical discovery.
Showing 141–160 of 1,500 · page 8 of 75
← Previous
Next →