Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
And one of us, not me actually, but another co-author, said, oh, in this lemma here, we have to estimate these 13 terms that show up in this expansion.
Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
And we estimated 12 of them, but in our notes, I can't find the estimation of the 13th, can you?
Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
Can someone supply that?
Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
And I said, sure, I'll look at this.
Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
And actually, yeah, we completely omitted this term.
Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
And this term turned out to be worse than the other 12 terms put together.
Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
In fact, we could not estimate this term.
Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
And we tried for a few more months, and all different permutations, and there was always this one term that we could not control.
Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
And so this was very frustrating.
Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
But because we had already invested months and months of effort in this already, we stuck at this.
Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
We tried increasingly desperate things and crazy things.
Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
And after two years, we found an approach that was somewhat different, but quite a bit from our initial strategy.
Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
which actually didn't generate these problematic terms and actually solved the problem.
Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
So we solved the problem after two years.
Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
But if we hadn't had that initial false dawn of nearly solving the problem, we would have given up by month two or something and worked on an easier problem.
Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
If we had known it would take two years, I'm not sure we would have started the project.
Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
Sometimes actually having the incorrect, it's like Columbus traveling in the New World, the incorrect version of the measurement of the size of the Earth.
Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
He thought he was going to find a new trade route to India.
Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
Or at least that was how he sold it in his prospectus.
Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
I mean, it could be that he secretly knew.