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.

newest first · ▶ plays the moment

You don't just go all backwards.

So kind of the the the the historical progression of of of of mathematics is exactly opposite to the d to the way that is represented presented.

So kind of the historic.

I mean it's fine but the way it's presented is better it's much more amenable to uh a a

proof co pilot system like Lean, then would we actually

That's right.

And I think w the one of the reasons I got so excited about all this this AI from Athens is is this direction.

Because this hazy idea of intuition or guide experience, this is something that a neural network is actually very, very good at.

uh it could help you.

So I'm gonna give concrete examples um uh later on about you know how it gives guides humans.

But uh but just to just to um give some classical examples.

You know I always I I've given this I've I've said this joke so many times.

I think so um what's the best work neural network of the 18th century?

Well, it's clearly the m the the brain of Gauss.

I mean, that's a perfectly functioning, perhaps the the greatest neural network of all time.

And this is a I mean, I want to use this as an example.

Because you know what what did Gauss do?

Now Gauss plotted

the number of prime numbers less than a given positive real number.

Just to give a sort of continuity.

Showing 541–560 of 1,500 · page 28 of 75