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

Terence Tao

πŸ‘€ Speaker
3220 total appearances

Appearances Over Time

Podcast Appearances

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

I mean, one phase shift of this type that happened in the past was the adoption of LaTeX.

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

So LaTeX is this typesetting language that all mathematicians use now.

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

So in the past, people used all kinds of word processors and typewriters and whatever.

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

But at some point, LaTeX became easier to use than all other competitors.

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

And people would switch within a few years.

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

It was just a dramatic phase shift.

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

Well, it depends on the level of collaboration.

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

No, like it deserves to be, to get the Fields Medal.

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

Like, so half and half.

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

Already, like, I can imagine a Fields Medal winning paper having some AI assistance in writing it, you know, just, you know, like the old complete alone is already, I use it, like it speeds up my own writing.

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

Like, you know, you can have a theorem, and you have a proof, and the proof has three cases.

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

And I write down the proof of the first case, and the autocomplete just suggests that now here's how the proof of the second case could work.

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

And it was exactly correct.

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

That was great.

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

Saved me like five, ten minutes of typing.

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

But in that case, the AI system doesn't get the field's metal.

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

What do you think?

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

So I gave a prediction in print about 2026, which is now next year.

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

There will be