Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
But what has been frustrating is that you combine the two together.
Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
And suddenly you get an extremely rich, I mean, we know that there are statements in number theory that are actually as undecidable.
Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
There are certain polynomials in some number of variables.
Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
Is there a solution in the natural numbers?
Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
And the answer depends on an undecidable statement, like whether the axioms of mathematics are consistent or not.
Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
But even the simplest problems that combine something multiplicative, such as the primes, with something additive, such as shifting by two.
Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
Separately, we understand both of them well, but if you ask, when you shift the prime by two, how often can you get another prime?
Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
It's been amazingly hard to relate the two.
Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
Right.
Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
Yeah, so what we've realized because of this type of research is that different patterns have different
Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
levels of indestructibility.
Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
So what makes the twin prime problem hard is that if you take all the primes in the world, you know, 3, 5, 7, 11, so forth, there are some twins in there.
Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
11 and 13 is a pair of twin primes, so forth.
Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
But you could easily, if you wanted to, redact the primes to get rid of these twins.
Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
The twins, they show up, and there are infinitely many of them, but they're actually reasonably sparse.
Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
Initially, there's quite a few, but once you go to the millions, trillions, they become rarer and rarer.
Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
And you could actually just... If someone was given access to the database of primes, you just edit out a few primes here and there, they could make the twin-prime conjecture false by just removing 0.01% of the primes or something.
Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
Just well-chosen to do this.
Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
And so you could present a...
Lex Fridman Podcast
#472 β Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
censored database of the primes, which passes all of the statistical tests of the primes.