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 months

No recordings in the last 12 months.Older appearances are listed below; set an alert to hear about the next one.

Appearances

newest first · ▶ plays the moment

Theories of Everything with Curt Jaimungal · Yang-Hui He: Why AI Will Permanently Transform How Math Is Done · 3 Jan 2025 podcast

Uh so

So John McCain, um absolute legend.

Great.

Um moving on.

Uh I mean this is a v this is very much this is very much a a huge digression for what I'm actually gonna tell you about, which is you know the Birch test for AI.

And that's great.

Uh do you you you don't have do you have a limit on on how what the these videos are?

Yeah, me too.

Because normally, you know, I have one out you know what, fifty five minute cut off.

I could give a talk, right?

Then like five minutes questions and they're like, Oh my god, I haven't said most of the stuff I wanted to say.

Yeah.

Sure.

Sounds good to me.

So so Kalabi, so in in that magical year of nineteen fifty-seven of neural networks, the magical year of uh what what else?

The the automated theorem prover world and the world of algebraic geometry in three complete world different worlds.

They didn't even know of each other's names, let alone let alone the results.

Kalabi conjectured that at least for Keller manifolds, this time

diagram is very much well defined, this table.

And y Yao proved it 20 years later.

Showing 1001–1020 of 1,500 · page 51 of 75