Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
And so over time, we had to realize that the Earth was round,
Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
that it spins, it goes around the solar system, the solar system goes around the galaxy, and so on and so forth.
Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
And the universe is expanding.
Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
Expansion is self-expanding, accelerating.
Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
And in fact, very recently in this year or so, even the acceleration of the universe itself is evidence that it's non-constant.
Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
And the explanation behind why that is... It's catching up.
Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
It's catching up.
Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
I mean, it's still, you know, the dark matter, dark energy, this kind of thing.
Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
Yes.
Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
We have a model that sort of explains, that fits the data really well.
Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
It just has a few parameters that you have to specify.
Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
But so, you know, people say, oh, that's fudge factors.
Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
You know, with enough fudge factors, you can explain anything.
Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
But the mathematical point of the model is that you want to have fewer parameters in your model than data points in your observational set.
Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
So if you have a model with 10 parameters that explains 10 observations, that is a completely useless model.
Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
It's what's called overfitted.
Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
But like if you have a model with two parameters and it explains a trillion observations, which is basically, so yeah, the dark matter model, I think it has like 14 parameters and it explains petabytes of data that the astronomers have.
Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
You can think of a theory, like one way to think about a physical mathematical theory is it's a compression of the universe and a data compression.
Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
So, you know, you have these petabytes of observations.
Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
You'd like to compress it to a model which you can describe in five pages and specify a certain number of parameters.