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
Yeah, she's a good friend of mine.
Yeah.
I think, you know, in in this academic world of, you know, uh math and physics, I think, you know, we're at most one degree of separation from from anyone else.
Yeah.
It's a very small community.
Rel relatively small community.
Um yeah, so this back to this thing about and of course, you know, one could one could get over op optimistic.
I was told by uh my friends in DeepMind that that Shegadi, uh who I think he's one of the member uh one of the on the on this AI math team, he says, you know, he was instructing that computers beat humans in chess in the nineties, uh be humans go in twenty eighteen.
So you should beat humans and beat in proven theorems in twenty thirty.
I have no idea.
how he extrapolate how he extrapolated these two points.
They only three data points.
But you know, but you know, but DeepMind has you know has a product to sell.
So it's it's very good for them to be over optimistic.
But I wouldn't be surprised that that that this number, you know, y you well, I'm not sure it'll beat humans, but it it might give ideas that humans have not thought about before.
So that's that's possible.
Just moving on.
So that that's the bottom up.
And I said this is very much a a blossoming or not blossoming, it's very much a a long distinguished field of automated theorem computing, of theorem provers and and verifications of formalization mathematics, which which Tao calls the AI co-pilot.
Um uh just to mention a bit uh with your question a bit earlier about meta mathematics, right?
Showing 281–300 of 1,500 · page 15 of 75
← Previous
Next →