Menu
Sign In Search Podcasts Charts People & Topics Add Podcast API Blog Pricing

Terence Tao

๐Ÿ‘ค Speaker
2047 total appearances

Appearances Over Time

Podcast Appearances

Lex Fridman Podcast
#472 โ€“ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI

So this is what I said about cheating first.

Lex Fridman Podcast
#472 โ€“ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI

It's like, to go back to the bridge building analogy, first assume you have an infinite budget and unlimited amounts of workforce and so forth.

Lex Fridman Podcast
#472 โ€“ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI

Now can you build this bridge?

Lex Fridman Podcast
#472 โ€“ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI

Okay.

Lex Fridman Podcast
#472 โ€“ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI

Now have infinite budget but only finite workforce.

Lex Fridman Podcast
#472 โ€“ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI

Now can you do that and so forth?

Lex Fridman Podcast
#472 โ€“ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI

So, I mean, of course, no engineer can actually do this because they have fixed requirements.

Lex Fridman Podcast
#472 โ€“ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI

Yes, there's this sort of jam sessions always at the beginning where you try all kinds of crazy things and you make all these assumptions that are unrealistic, but you plan to fix later.

Lex Fridman Podcast
#472 โ€“ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI

And you try to see if there's even some

Lex Fridman Podcast
#472 โ€“ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI

skeleton of an approach that might work.

Lex Fridman Podcast
#472 โ€“ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI

And then hopefully that breaks up the problem into smaller subproblems, which you don't know how to do, but then you focus on the sub ones.

Lex Fridman Podcast
#472 โ€“ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI

And sometimes different collaborators are better at working on certain things.

Lex Fridman Podcast
#472 โ€“ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI

So one of my theorems I'm known for is a theorem, Ben Green, which is now called the Green-Tau theorem.

Lex Fridman Podcast
#472 โ€“ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI

It's a statement that the primes contain arithmetic progressions of any length.

Lex Fridman Podcast
#472 โ€“ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI

So it was a modification of this theorem as I'm already.

Lex Fridman Podcast
#472 โ€“ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI

And the way we collaborated was that Ben had already proven a similar result for progressions of length 3.

Lex Fridman Podcast
#472 โ€“ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI

He showed that sets like the primes contain lots and lots of progressions of length 3, and even subsets of the primes, certain subsets do.

Lex Fridman Podcast
#472 โ€“ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI

But his techniques only worked for length 3 progressions, they didn't work for longer progressions.

Lex Fridman Podcast
#472 โ€“ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI

But I had these techniques coming from ergodic theory, which is something that I had been playing with and I knew better than Ben at the time.

Lex Fridman Podcast
#472 โ€“ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI

And so if I could justify certain randomness properties of some set relating to the primes, there's a certain technical condition which if I could