Lex Fridman Podcast
#472 โ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
Yeah, it's a really interaction between all these things.
Lex Fridman Podcast
#472 โ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
So over time, the observations and the theory and the modeling should both get better.
Lex Fridman Podcast
#472 โ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
closer to reality.
Lex Fridman Podcast
#472 โ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
But initially, and this is always the case, they're always far apart to begin with.
Lex Fridman Podcast
#472 โ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
But you need one to figure out where to push the other.
Lex Fridman Podcast
#472 โ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
So if your model is predicting anomalies that are not predicted by an experiment, that tells experimenters where to look to find more data to refine the models.
Lex Fridman Podcast
#472 โ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
So it goes back and forth.
Lex Fridman Podcast
#472 โ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
Within mathematics itself, there's also a theory and experimental component.
Lex Fridman Podcast
#472 โ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
It's just that until very recently, theory has dominated almost completely.
Lex Fridman Podcast
#472 โ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
99% of mathematics is theoretical mathematics, and there's a very tiny amount of experimental mathematics.
Lex Fridman Podcast
#472 โ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
I mean, people do do it, you know, like if they want to study prime numbers or whatever, they can just generate large data sets.
Lex Fridman Podcast
#472 โ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
So once we had the computers, we began to do it a little bit.
Lex Fridman Podcast
#472 โ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
Although even before, well, like Gauss, for example, he discovered, he conjectured the most basic theorem in number theory, which is called the prime number theorem.
Lex Fridman Podcast
#472 โ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
which predicts how many primes, up to a million, up to a trillion.
Lex Fridman Podcast
#472 โ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
It's not an obvious question.
Lex Fridman Podcast
#472 โ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
And basically what he did was that he computed, I mean, mostly by himself, but also hired human computers, people whose professional job it was to do arithmetic, to compute the first 100,000 primes or something, and made tables and made a prediction.
Lex Fridman Podcast
#472 โ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
That was an early example of experimental mathematics.
Lex Fridman Podcast
#472 โ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
Theoretical mathematics was just much more successful because doing complicated mathematical computations was just not feasible until very recently.
Lex Fridman Podcast
#472 โ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
Even though we have powerful computers, only some mathematical things can be explored numerically.
Lex Fridman Podcast
#472 โ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
There's something called the combinatorial explosion.