Prática de Shadowing: We're 99.9% sure this pattern is true, but no one can prove it - Aprenda a falar inglês com vídeo
Escolha um modo de prática
Cada modo abre uma sala de prática em tela cheia.
404 frases
Se as frases estiverem muito curtas ou longas, clique em Edit para ajustá-las.
1
- On the morning of the 17th of April, 2013, the journal Annals of Mathematics received a curious email.
2
It claimed to contain a 50 page proof relating to one of the oldest unsolved problems in mathematics.
3
A problem that great mathematician Edmund Landau called unattackable.
4
But this proof didn't come from a famous professor, it came from an unknown.
5
Someone who had once spent years working at a subway restaurant.
6
- So, they're like, okay, surely this isn't gonna work out, but whatever.
7
You know, we'll send it to a referee.
8
- They expected to find a mistake in an afternoon, but they didn't.
9
So, they went through it again, closely studying the fragile parts where a proof like this normally falls apart, but still nothing.
10
Soon they realized they were witnessing a breakthrough.
11
- Oh, damn, he did it.
12
- So, how did he do It?
13
What did the experts miss and what was the problem he was working on?
14
He was working on a new way to attack one of the hardest unsolved problems in number theory, the twin prime conjecture.
15
The twin primes are prime numbers separated by just one number, like 11 and 13 or 17 and 19.
16
As you go up, the number line, primes become rarer and twin primes become rarer still.
17
But the twin prime conjecture claims that there are infinitely many of them you never run out.
18
But is it true?
19
Well, one way to approach this problem is to look at the gaps between consecutive primes as you go up the number line.
20
Now, at first they seem chaotic, but if you average them out, a clear trend emerges.
21
The average gap between two primes grows roughly as the natural logarithm of the number N.
22
So, for example, the average gap between primes around 100, is approximately 4.6.
23
The average gap between primes around 1000 is 6.9.
24
Logarithms grow very slowly, but they do keep growing forever.
25
So, as N approaches infinity, the average gap between primes also goes to infinity, which is not particularly encouraging if you expect to always be able to find primes that are just two apart.
26
But if you start checking large numbers, then after a million you quickly find the twin primes, 1,000,037 and 1,000,039.
27
Past a billion, there's 1,000,000,007 and 1,000,000,009.
28
In fact, we have found a twin prime that's as large as 2,996,863,034,895 times two to the power of 1,290,000 plus or minus one.
29
That is a pair of numbers each 388,342 digits long.
30
If you wanted to print those in a book for some reason, you would need around 260 pages per number.
31
All of this is to say that as far as we've looked, we've kept finding twin primes.
32
But of course, that is not how you solve the twin prime conjecture, because you cannot physically check all the numbers out to infinity.
33
So, we need another way.
34
And around 100 years ago, it felt like mathematicians were getting close with a more sophisticated method.
35
In 1923, English mathematicians, Hardy and Littlewood figured out how you can estimate how many twin primes there should be.
36
To do it, they started with one of the crowning achievements of number theory, the prime number theorem, which tells you that the odds of a large number near N being prime are roughly one over the natural logarithm of N.
37
So, let's do a quick example to see how they use this.
38
Say you wanna find the odds that 137,037 is prime.
39
Well, you just plug that in and find that it has about an eight and a half percent chance of being prime.
40
Of course, you could use the same trick to find the odds that 137,039 is prime, which is also around 8.5%.
41
So, what are the odds that both of them are prime?
42
Well, you just multiply those odds together, that gives you around a 0.7% chance.
43
Now we are simplifying a little here because we're assuming that primes are independent, which they're not.
44
But putting that to one side, the odds of both a large number N and N plus two being prime, is one over ln times one over ln plus two, for large N the plus two is insignificant.
45
So, we get the odds of any pair of numbers of size N being a twin prime are roughly one over ln squared.
46
But of course, the problem with this approach is that the odds of a pair being a twin prime decrease as you go to larger numbers.
47
So, to count all twin primes up to N, we add up the odds at every single position.
48
In other words, we integrate this expression from the first prime two up to that number.
49
Now Hardy and Littlewood refine this argument further to account for the fact that primes aren't really independent.
50
But all that added is just this correction factor upfront.
51
So, the final expression looks like this.
52
Now let's plot how many twin primes, this predicts up to 1 trillion.
53
We see that it keeps growing and if we fill in the actual count, you'll notice that it is extremely close to the point where by 1 trillion, our estimate is only off by 0.001%.
54
- The only issue though, is that this is just an estimate or what mathematicians call a heuristic.
55
It can tell you roughly how many twin primes to expect, but it can't guarantee that they never stop.
56
As Terry Tao puts it, for all we know, there could be this fast conspiracy that every time a number N decides to be prime, it has some secret agreement with its neighbor N plus two saying you're not allowed to be prime anymore.
57
So, what we need is a rigorous airtight mathematical proof, but finding such a proof it turns out, is extremely difficult.
58
One of the first mathematicians to really try was a 29-year-old Norwegian Viggo Brun.
59
Brun was working during the early years of the first World War, and with travel disrupted and Europe's mathematical centers largely out of reach, much of his work happened in quiet isolation back in Norway.
60
His goal was simple to try and prove that the number or count of twin primes always increases.
61
And to do this, he took a 2000 year old prime counting tool and tried to adapt it for twin primes.
62
Now the normal version of this tool is called the sieve of Eratosthenes, and it works something like this.
63
Say we want to find the primes up to 100.
64
First we remove one because that's not prime.
65
Then we circle the first prime, that is two, and we remove all of its multiples.
66
We do the same for three.
67
Circle it and remove its multiples, and then repeat that for five and seven.
68
And with these four very quick operations, every single number that's left on your 10 by 10 grid is a prime number.
69
Now we stop the sieve at seven, and we could keep going sieve by 11 or 30, but it turns out that we don't have to.
70
So, why is that?
71
Well, the next prime is 11.
72
So, let's check the numbers below 100 that are divisible by 11.
73
22 is two times 11, but since it's divisible by two, we already caught it.
74
We also have 33, but that is divisible by three.
75
And a similar logic holds for 55 and 77.
76
But what about 11 times 11?
77
Well notice that is 121, which is not in our range.
78
So, every multiple of 11 below 100 was already caught by a smaller prime.
79
So, sieving by 11 would cross out nothing new.
80
- So, Eratosthenes, has this idea that you only need to sieve out the primes that are at most square root, the size of the number.
81
- But there's also a second wave to visualize this sieve.
82
Take the number line and let each prime send out a wave with the wavelength equal to the size of that number.
83
So, the wave from two lands on every second number and the wave from three on every third and so on.
84
Now, notice that wherever a wave lands, that number has to be composite.
85
But the numbers that escape every preceding wave, well those have to be prime.
86
And so you end up with this beautiful visualization of the sieve.
87
And both of these methods make it incredibly easy to identify the primes.
88
- But Brun didn't care about which primes were left, he just needed to know how many were left.
89
And to do this, he counted all the numbers that were crossed out and then subtracted this from the total, since whatever is not crossed out must be prime.
90
So, let's use this to find the number of primes below 100.
91
We can keep a running count.
92
So, we'll start with 100.
93
We're gonna throw out all the multiples of two.
94
Well, that's 50 numbers left, okay?
95
Then we're gonna throw away multiples of three.
96
Well, how many multiples of three are there less than 100.
97
100 divided by three is not a whole number.
98
It's like 33 and a third, but we don't throw out fractions.
99
So, okay, forget that stupid little fraction.
100
We do the same for the multiples of five and seven, but now the count has gone negative.
101
Well, it turns out that some numbers got crossed out twice, like six for example, it's a multiple of two and three.
102
So, we crossed it out once when we removed multiples of two and again when we removed multiples of three.
103
So, we have to add it back once.
104
The same thing happens for multiples of 10, which is two times five, 14 which is two times seven, 15, which is three times five and so on.
105
So, we add these overlaps back and now the count rises to 28, but it's still not quite right.
106
- Now we've triple added back in the multiples of two times three times five, so that we need to subtract one more time.
107
- The same thing happens for 42, which is two times three times seven, and 70, which is two times five times seven.
108
There's a fourth triple two, three times five times seven, which is 105, but that's already bigger than 100.
109
So, it contributes nothing here.
110
But we'll write it in to keep the pattern complete.
111
After the triples, we add back the quadruple, two times three times five times seven, which is 210.
112
That's also bigger than 100, so it contributes zero as well.
113
And finally, we add back the four sieving primes themselves and subtract one because it was included in the count.
114
So, the count lands at 25 primes.
115
This process of alternating between subtracting and adding numbers back in is called inclusion exclusion.
116
And it makes it super easy to find out how many primes there are up to some given number.
117
Now this equation still looks a little bit like a mess, but actually we can rearrange it into this form.
118
Now notice that every prime factor we added just adds an additional term in this series.
119
We've got the two that goes over here, the three goes over here, five goes over here, and seven goes over here.
120
And if we were trying to find primes for some higher number and we wanted to add 11 as a prime factor, it would just add one additional one minus one over 11 term.
121
Now in general, if we keep the sieve going up to some prime P, which is less than the square root of N, then the count becomes approximately this.
122
- But this is still just the count of primes.
123
What Brun really wanted was the count of twin primes.
124
And so this is the part where he adapted his sieve, to find a case where both N and N plus two are prime.
125
For example, when you're sieving by five, you remove the numbers where N is divisible by five, just as before.
126
But in addition, you need to remove the numbers where N plus two is divisible by five.
127
So, you also remove 23, 28, 33 and so on because in those cases, N plus two is 25, 30, 35 and so on.
128
So, this means that while in the ordinary sieve a prime P removes about one out of every P numbers, the twin prime sieve removes two.
129
And this changes the count to this, where the numerator for all the terms after two, ends up getting a two.
130
Now, if we plot the count of twin primes that this predicts, we see that it grows roughly like N over the natural logarithm of N squared, just as for our heuristic.
131
And so it seems like Brun did it, but unfortunately that is not the case.
132
- We said that 100 divided by three is 33, and a third, but forget about that little error, those little errors, it's very difficult to control those errors 'cause there are so many of those little errors.
133
Each one of them is at most one it's a rounding error.
134
- Take the traditional sieve of Eratosthenes again, when we're sieving with just one prime, we just have an over two.
135
So, one rounding error, with two primes, two and three, there are three separate rounding errors, but with three primes, two, three, and five, there are already seven separate rounding errors, each for one term in the inclusion exclusion.
136
And so you might start to see the general pattern here.
137
One prime gives two to the power one minus one terms, two gives two to the power two minus one terms, and three primes gives two to the power three minus one terms.
138
In general, if you sieve by K primes, you get roughly two to the power K minus one error terms, but we can drop the one because it doesn't really make much of a difference.
139
So, that means that if you're sieving for normal primes, the error grows roughly like two to the power K.
140
But if you're saving for twin primes, it gets even worse.
141
And now the error grows roughly like four to the power K.
142
And so this causes a lot of trouble very, very quick.
143
And then here for the twin primes, it's even worse.
144
The main term grows a bit more slowly, but the error term grows much faster.
145
So, it still starts off slow.
146
And so you can quickly see that once these error terms start dominating, you get into trouble.
147
So, the issue he was facing is he had this main term and the main term, you know, it grew in the way he wanted to, but then it just got overtaken and dominated by those error terms.
148
- Exactly. And that's all of analysis, in general analytic number theory in particular is the fight between the main term that you think is the truth, if it actually is the truth, and getting the error term to be provably lower order.
149
- So, for twin primes, the main term grows roughly like this, something like N over the natural logarithm of N squared.
150
But that's not the true count, because to get the true count, we must add and subtract the error terms, which gives us this upper and lower bound.
151
And now you can see the problem.
152
Because the true count can be anywhere in this range, and as you can see, a big swath of it is negative.
153
So, to prove the conjecture, what we must do is we must show that this lower bound is always positive and growing.
154
But that is where we run into a problem with the sieve we've been using.
155
Because the more primes we sieve by, the more those error terms start to accumulate and we just can show this.
156
- And so what Brun eventually realized is that if you weaken the sieve, if you don't sieve all the way up to square root X, but to up to something less than that, and you are very careful about your inclusion exclusion, you can actually take care of those error terms.
157
- So, run a sieve by fewer factors, only up to N to the power one over 10.
158
And as a result, he gained enough control over the error term.
159
But this chooses a trade off.
160
Say you wanted to find all the prime numbers up to 10 billion, then using the square root method, you would need to sieve up to the square root of 10 billion, which is 100,000.
161
But that gives you a lot of error terms.
162
But with Brun's method, you would only need to sieve up to 10 billion to the power one over 10, which is just 10.
163
But there's a catch.
164
Because Brun, didn't sieve by all the primes, there were some survivors that weren't prime at all, but numbers with many prime factors, in Brun's case up to nine.
165
So, what he actually ended up proving is that there are infinitely many pairs of numbers two apart, where each number has at most nine prime factors.
166
- Brun's techniques were improved and improved and improved, and we went from nine prime factors to seven prime factors to three prime factors.
167
Until in 1973, a Chinese mathematician Chen Jingrun comes along and proved that there are infinitely many prime P, where P plus two has at most two prime factors.
168
- This is as close as you could get to proving the twin prime conjecture without actually getting there.
169
We're stuck like we're like as close as we can get and no further.
170
- Right. So, that's one approximation, one mechanism for approximating twin primes.
171
There's another.
172
So, the other mechanism is what's the smallest gap between two consecutive primes?
173
So, instead of saying they differ by two and one of them's prime and the other one, well, we're gonna try to get, you know, reduce the number of prime factors that it has.
174
Instead we're gonna say both numbers must be prime, but let's reduce the distance between them.
175
- Now remember, on average consecutive primes sit about the natural logarithm of N apart.
176
And so the question became, can we at least prove that primes come closer than that average gap?
177
For decades, mathematicians kept chipping away at this problem.
178
By 1988, the gap had dropped all the way down to roughly a quarter of the average gap.
179
This means that say the average gap is 100 at some enormous scale, then primes must sometimes come within about 25 of each other.
180
But then in 2005, Goldston, Pintz and Yildirim, proved a result that shocked the mathematical community.
181
- And they announced the proof of a spectacular result, 0% bounded gaps of 0% of the average.
182
- Wait, what?
183
- They proved that you can make the fraction as small as you want.
184
This means the gap could be one 10th or 100th, or even 1000000th of the average gap.
185
It could be as arbitrarily small as you like, and infinitely often primes get that close.
186
- When I was young, we didn't know there were gaps of size, less than say one 10th log X or infinitely many primes pairs and Goldston and Yildirim, came up with a method to attack that.
187
- But the method also came close to something even bigger, an absolute bounded gap between two primes.
188
- And so that was like a big thing.
189
- What was the big desire to go from 0% or arbitrarily small to a concrete bounded gap?
190
- Well, because we think that the bound between two consecutive primes infinitely often is two, and right now we're showing that it's log X, and X grows.
191
- If they could get to bounded gaps, then they had another method to attack the conjecture.
192
The only problem was that it seemed like their tool ran into a wall.
193
And so in 2005, the American Institute of Mathematics convened a meeting, gathering all the world's leading experts on this problem.
194
GPY, Andrew Granville, Kannan Soundararajan, all gathered for a week in California with one explicit goal, to prove a bounded gap between primes.
195
- I was a young graduate student, I was very lucky to get to go to this meeting.
196
You're surrounded by the world's top experts on this subject.
197
We spent an entire week.
198
And the upshot of this week was basically that it's impossible.
199
And Soundararajan shows how it's not possible to do this thing.
200
And so as far as I was concerned, that was that, and I, you know, this wasn't gonna be my thesis problem, I'd have to do something else and I went off and and did other things.
201
But there was one person who was not at this meeting, Yitang Zhang.
202
- Zhang grew up in China, and around the age of 30 moved to the U.S.
203
to get his PhD in mathematics, but he never got any recommendation letters and so struggled to find a job.
204
He ended up living in his car for time and ultimately working odd jobs for seven years, including at Subway, where he kept the books and sorted receipts.
205
Yet, while doing all of that in his spare time, he would drive down to the local library to read books and journals on number theory.
206
Then in 1999, he got a lucky break.
207
One of his friends helped him get a job as a lecturer at the University of New Hampshire.
208
So, now he could spend all his time doing what he loved most, math.
209
Zhang said that when he was a kid, he "Imagined there would be a day that I would solve a major math problem." And by 2010, he had identified his major problem to focus on, bounded gaps between primes.
210
But to understand what he was working on, we need to understand what exactly it is that GPY had built.
211
See, they wanted to find two primes within a bounded gap.
212
And to do this, they imagined a stencil of sorts with some holes in it.
213
So, let's do the same, and for the sake of this example, let's say the stencil has a diameter of six and holes at spot zero, two and six.
214
Next we place the stencil anywhere on the number line, say starting at 12.
215
And we ask a simple question, how many primes do we see?
216
In this case, we see 12, 14, and 18, none of which are prime.
217
So, we write down zero.
218
Next we shift the stencil over one spot and repeat, 13, 15, and 19, two of which are prime.
219
So, we write down two.
220
And then we keep doing this.
221
If you slide it a bit further, we catch two primes again, 23 and 29.
222
Now, if you keep moving the stencil across the number line and it keeps catching two primes, then you have proven that infinitely often pairs of primes exist within a bounded gap.
223
Six in this case, since that's the diameter of our stencil.
224
But there are two problems with this approach.
225
The first is that we don't know exactly where all the primes are.
226
And the second is that of course you can't keep sliding a stencil down the number line forever because well, it's infinitely long.
227
Fortunately, there is an easy way to get around that first problem.
228
See, while we don't know exactly where all the primes are, we do know how they behave on average.
229
For example, say we take some stretch of the number line from some very large number X to two X, then we can't predict exactly which numbers in this stretch will be prime.
230
But what we can do is put this into the prime number theorem and estimate how many primes to expect on average.
231
And GPY realized they could do a similar thing for their stencil method to build an averaging machine of sorts.
232
All you do is you set up the stencil you want, input your range, and out comes the average number of primes it caught per position.
233
So, let's do a quick example without the machine to see how this helps.
234
Let's use the same stencil from before and use the range 20 to 40.
235
Now, in reality, you would use a much larger range, but for simplicity, let's stick to this.
236
To find the average, you just place the stencil at the start of your range, and you'll look at which numbers you see, 20, 22 and 26.
237
None of which are prime and so the total prime count is zero.
238
Then we shift the stencil over one spot and see 21, 23 and 27.
239
One of which is prime, so we increase the total by one.
240
Now let's keep shifting the stencil and keep adding all the primes we see.
241
No primes, so add zero, two primes, add two, and so on.
242
Now, if you keep shifting the stencil all the way until the end, you find a total of 14 primes across 21 starting positions.
243
And so the average is 14 over 21, or about 0.67 primes per location.
244
Now in this case where we checked every spot by hand, we could see that the stencil caught several positions with two primes in them.
245
But the averaging machine doesn't tell us this.
246
All that spits out is an average, and that average alone can't guarantee that it caught two primes at once, because you could just as well imagine spreading all of these 14 primes over 14 individual positions.
247
And the same would be true if the average was 0.8, 0.9, or even one.
248
I know it's unlikely, but it could be that every position only caught one prime to bring the average to one.
249
But what if the average was larger than one?
250
What if we found 22 primes in total?
251
Well, even if every position had caught one prime, you would still have one prime left over and that needs to go in one of those other positions.
252
So, in other words, if the average is above one, then that guarantees that at least one position caught two primes.
253
And so that's the game.
254
Get the average number of primes above one, but that still leaves one question.
255
Even if you could do that, then how does that help you prove that you keep getting bounded gaps all the way up to infinity?
256
Well, remember you just proved that for any large number X, so there's nothing stopping you from replacing that X with two X, and that two X with four X, and then you could replace the two X with four X and the four X with eight X, and so, on all the way up to infinity.
257
So, if you can prove that the average gap is above one for any large number X, then with this clever setup, it immediately extends all the way out to infinity, and you would've proven your bounded gap.
258
- Unfortunately, running the machine with just the current inputs, the stencil visits many positions where it catches zero primes, this drags the average down and means it will never get above one.
259
So, GPY made one final tweak to their machine.
260
They realize that some starting positions are more likely to catch primes than others.
261
For example, if the stencil only lands on even numbers, it will always give zero primes unless it includes two.
262
So, those positions should not be weighted equally to the others.
263
Similarly, if you can divide one or more of the numbers in the stencil by three, five, seven, or other small prime factors, it's also more unlikely you have primes in your stencil.
264
So, they should also be weighted less.
265
Now, GPY did a few simple checks like this for each position to assign it a weight, and estimate of how likely it is that this position contains primes.
266
This turned their averaging machine into a weighted averaging machine.
267
And as a result, that weighted average shot up.
268
With their updated machine they proved that if you pick any large number X, then in the range X to two X, you could get the weighted average arbitrarily close to one, but not above one.
269
They were close, but they ran into a wall.
270
A wall that came from their weights, because to figure out how to weigh different positions, they needed to know how primes are distributed in something known as an arithmetic progression.
271
These are basically just series of numbers where they're all the same step size apart.
272
So, 3, 7, 11, 15, that's an arithmetic progression with a step size of four.
273
Now, GPY needed to know how primes were distributed over many such arithmetic progressions with all kinds of different step sizes.
274
Fortunately, they knew of theorem from the 1960s they could use to do exactly this.
275
- It's the substitute for the Riemann hypothesis on average, and it turns out that that's what's actually necessary in a lot of these arithmetic applications.
276
- But that theorem doesn't work everywhere.
277
It only works for step sizes up to the square root of X or X to the one half.
278
The technical term for this one half is the level of distribution or theta.
279
It tells you how large the step sizes can be while still getting a reliable count of primes in those progressions.
280
And mathematicians believed that the theorem worked beyond X to the half, but this was never proven, and that is where the trouble lies.
281
When GPY ran their calculation with this ceiling, they found the maximum weighted average they could get was two times theta.
282
In other words, they got really close to one, but they could never actually cross it.
283
- They showed in their method that if you could get beyond a half, you could do 0.5000001.
284
Then instead of just getting 0% of the average gap, they can get bounded gaps.
285
The primes would be some fixed distance apart.
286
- That's what the 2005 meeting was all about.
287
They kept trying to push past that one half barrier, but they ended up concluding that it was impossible.
288
From 2010 on, Zhang spent two years hacking away at it as well, internalizing the GPY argument, working day and night just to try and find a way through.
289
But by the summer of 2012, Zhang was exhausted, and had nothing to show for it.
290
Hoping to clear his head, he visited a friend in Colorado, where one evening while they were waiting to leave for concert, Zhang stepped outside alone into the backyard, looking out for the deer that usually roamed the property, but no deer came.
291
So, he was just walking and thinking when all of a sudden the answer came to him.
292
He hadn't brought any notes or paper, but Zhang believed his idea would work.
293
- You see, GPY had to count primes in many different arithmetic progressions with all sorts of step sizes.
294
But Zhang focused on a special class of step sizes, one's built only from small prime factors, and he realized he could reorganize the error terms into a form where most of them get canceled out.
295
This allowed him to push past the half barrier by a tiny fraction, just one over 584.
296
Zhang spent the next year finalizing his proof, and then on the 17th of April, 2013, he sent off that curious email to the Annals of Mathematics.
297
- Now, the Annals gets a proof of the Riemann Hypothesis every other day, so they're like, okay, surely this isn't gonna work out, but whatever.
298
You know, we'll send it to a referee.
299
And they're like, well, let's spend a few hours this afternoon.
300
We'll find a mistake.
301
We'll tell the annals, you know, sorry, it didn't work out.
302
Here's where the the gap is.
303
And they start reading it, and then they flip back, because they're experts.
304
So, they can just flip through like, yeah, this'll work, this will work, but wait a second, you're gonna get stuck here.
305
And they flip five pages and they're like, oh, that's interesting.
306
That's how you're gonna handle that.
307
Okay, but then you're gonna have another, it's like trying to lay down a carpet in a room.
308
You're like, okay, I know that corner, that corner's gonna screw you up even if you managed to make it work over there.
309
And then he goes over there, no, he cut it just right.
310
It fits in that corner.
311
Wait a second.
312
And then they flip, you know, five more pages and by the end of the week, they've reconstructed the proof and everything's right.
313
- Wow. - Zhang's stencil had 3.5 million slots, spread across a span of 70 million.
314
And by proving two of those slots always catch primes, he proved a bounded gap of 70 million.
315
When the news broke, mathematicians were in disbelief.
316
- It was basically an unknown in the field.
317
I actually thought when I started reading Yitang Zhang's paper and started realizing it was probably correct, I thought it was probably one of the people I knew under a pseudonym, trying to avoid being embarrassed by being wrong.
318
If they were wrong.
319
- Of course it wasn't, Zhang was real.
320
And just over a year later he was awarded the MacArthur Genius Grant.
321
- To me, this is a really interesting aspect of mathematics in particular.
322
I think it's one of the very few fields where we have a truly honest approach to success and what counts as success.
323
He sent in an argument, people took it seriously.
324
They looked at it.
325
They didn't think that he had a true proof.
326
They sat there, they gave him the time that the argument was due, and he was immediately made a hero as he should have been.
327
To me, it shows that mathematics culture works.
328
We're doing the right thing.
329
I think the cover of like Scientific American or whatever in 2013 is the story Yitang Zhang and how he got this bounded gap between primes toiling in complete isolation.
330
And maybe it's because he was in isolation that he didn't have the group think that the rest of us did.
331
To know that this was not, we were all told it's an impossible problem.
332
- After realizing a bounded gap was not an impossible dream, people reworked Zhang's method to optimize it.
333
Terence Tao spearheaded an online group called Polymath, and they sharpened the method.
334
So, every month, week or day, that upper bound kept coming down.
335
One of the attendees described being at a conference at the time, as I remember, sort of day by day, everyone was refreshing their screens to see who had the world record now, and ultimately they got the number all the way down to 4,680.
336
- Meanwhile, there's a young postdoc named James Maynard, who just got his PhD at Oxford with Roger Heath-Brown and other one of these analytic number theory world experts.
337
And he's working with Andrew Granville, in Montreal.
338
And he has a completely orthogonal approach to this problem that he'd been making some very incremental progress on independently.
339
- When Maynard started, his advisor explicitly told him, "I hope you won't work on this problem full time, because I'm really pretty confident you're going to fail." But Maynard ignored the warning, and came up with a different way to attack the problem, and within just a few months, he got it to work.
340
Further bring down the gap to 600.
341
But his method also proved something else.
342
- He can get three primes in a bounded window.
343
The bound has to change depending on how many primes you wanna put in that window, and that his number is better.
344
And the method has nothing to do with the exponent one half.
345
- Wait, what?
346
- One half was a pure mirage.
347
It was a red herring.
348
- That is crazy.
349
One half was not a fundamental limit at all.
350
See where GPY average was stuck at two times theta, Maynard's average grew roughly like theta over two times the natural logarithm of K, where K is the number of slots in the stencil.
351
So, all Maynard needed was enough slots and it worked.
352
- You need any number greater than zero.
353
When you go up to one half because you have one half, you'll get better numerics.
354
But the bounded gaps you could do, just going up to, you know, 0.01, not 0.50101.
355
Now, curiously, Terry Tao independently has the same approach.
356
He tells Ben Green about it, Ben Green is meeting with Andrew Granville, and says, "Hey, Terry's got this new idea that he thinks is gonna get even farther." And Granville, says, wait a second.
357
My postdoc, Maynard, is doing exactly the same thing.
358
We gotta get these two guys to talk to one another.
359
Terry's a Fields medalist, he's like a super heavyweight by this point, whereas James is this, you know, fresh PhD, and Terry says, you take it, I don't need this.
360
You know, you this, it's your idea, you go with it.
361
- By early 2014, Maynard joined forces with Tao's Polymath group.
362
- It was clear that somehow 600 was just a proof of concept, and the same methods would give something smaller, but there were extra ideas that you could maybe use to squeeze everything out.
363
And so the current world record is that there's infinitely many pairs of primes that differ by no more than 246.
364
- And that for now is where it stops.
365
In 2022, James Maynard was awarded the Fields Medal, Mathematics, highest honor for his work on prime gaps.
366
- Yeah, I think that's the basic outline is the kind of two directions of approximation to twin primes Chen's direction, Brun, Chen, whatever, versus Zhang and Maynard, and this story that the Zhang wasn't at this meeting, so he didn't know it was impossible.
367
- It reminded me of the four minute mile where everyone thought it was impossible.
368
No one did it.
369
- And then for the first time ever, Roger Bannister broke it in 1954, and after knowing it was possible, just 46 days later, another runner called John Landy broke it as well.
370
And by the end of 1956, 10 people had broken it, all from knowing that it was possible.
371
So, what about pushing that gap down even lower?
372
Is that possible?
373
Well, mathematicians have found ways to bring it down even more, but all of these results are conditional.
374
For example, there is the Elliot-Halberstam conjecture, which assumes primes are spread evenly across arithmetic progressions, or that the level of distribution can be taken as large as one.
375
And in 2013, Maynard showed that if you assume this conjecture is true, then the gap plummets to just 12.
376
A year later, the Polymath Group proved that if you assume an even stronger version of this conjecture, the gap drops all the way down to six.
377
But without assuming anything, 246 still stands.
378
Let me ask you, do you think we're gonna solve the twin Prime conjecture?
379
- I am totally convinced that humanity will eventually solve the twin prime conjecture.
380
Often when I'm asked about some of these big famous problems like Twin Primes or Riemann or something like that, one way of kind of avoiding the question is that if you imagine you are randomly distributed in time, you'd expect to be sort of typically roughly halfway through when the conjectures been open for.
381
So, an actual guess, if you have no other information, is to guess that a problem will be open for as long as it has been open for already.
382
But obviously this doesn't work for twin primes, 'cause we don't know whether it's- - Right.
383
- 125 years old or whether it's like 2000 years old.
384
So, I think it's a fools game to guess, but it clearly needs a really big idea, but maybe it only needs one big idea.
385
- Although maybe, just maybe, not knowing this with certainty is for the best.
386
Because if we knew for sure that this was impossible, then we would've likely missed out on most of these inventions and new methods over the past century.
387
So, sometimes it pays not to know everything.
388
- You know, before I started this channel, I was a teacher at a tutoring company, and honestly, it was the best job I'd had up until that point.
389
I could be the person who gave my students that one big idea that would help everything click.
390
You know, the fastest way to learn something is to have someone next to you who already understands it.
391
Unfortunately, many students don't have access to that kind of support.
392
That is, until now, our long-term sponsor Brilliant, has just launched Koji, which is a revolutionary personal tutor that makes one-on-one learning accessible for everyone.
393
Koji can see what you do and answer any questions.
394
He can even draw onscreen to help explain those big ideas, just like a person sitting next to you.
395
He asks guiding questions, walks you through problems step by step, and adapts to where you're at in real time.
396
You get a world class personal tutor in your pocket.
397
Koji can help you work through math and coding streams from grade five through college and beyond.
398
Each course is designed by experts from places like MIT, Harvard, Stanford, and Caltech.
399
It's a great way to get seriously engaged with math, coding, think hard and have fun, especially for students on summer break to stay sharp or get ahead for next year.
400
So, click the link below to get started with Brilliant's tutor for free, and you can also upgrade to Premium to get full tutor support.
401
Right now, Brilliant is giving Veritasium viewers a special 20% off an annual premium subscription.
402
Just go to brilliant.org/veritasium.
403
You can scan this QR code or click the link in the description.
404
So, I wanna thank Brilliant for sponsoring this video and I wanna thank you for watching.
Baixar aplicativo
Tudo o que você precisa para falar fluentemente
Pronúncia com IANota em cada frase
Prática de IPADomine cada som
VocabulárioMonte seu banco de palavras
Jogo de vocabulárioAprenda brincando
Mesmo canal
C11
Something is jamming GPS over Europe. Here's what we found
Daily ConversationUniversity StudentsWorking Adults
C11
The Absurd Engineering Behind the Internet
Daily ConversationUniversity StudentsWorking Adults
C11
Why It Was Almost Impossible to Make the Blue LED
Daily ConversationUniversity StudentsWorking Adults
C12
You've (Likely) Been Playing The Game Of Life Wrong
Daily ConversationUniversity StudentsWorking Adults
B22
We're trying something new...
Daily ConversationWorking Adults
C120
How does light 'know' the shortest path?
IELTS PrepTOEFL PrepUniversity Students
C12
The CIA's new tech doesn't make sense
IELTS PrepTOEFL PrepUniversity Students
C11
Why does every mammal get 1 billion heartbeats in their life?
IELTS PrepTOEFL PrepUniversity Students
C13
Why Cold Drinks Were Deadly Before 1914
Business EnglishUniversity StudentsWorking Adults
C14
Exposing The Flaw In Our Phone System
Business EnglishUniversity StudentsWorking Adults
C12
Our Greatest Delusion
IELTS PrepTOEFL PrepUniversity Students
C13
The Most Controversial Problem in Philosophy
IELTS PrepTOEFL PrepUniversity Students
B24
Why Are 96,000,000 Black Balls on This Reservoir?
IELTS PrepTOEFL PrepUniversity Students
C13
We've Been Using The Wrong Science In Court For 50 years
IELTS PrepTOEFL PrepUniversity Students
B24
Explaining Pi With Pizza
University Students
B214
5 Fun Physics Phenomena
Daily ConversationUniversity Students
C11
The Most Misunderstood Concept in Physics
IELTS PrepTOEFL PrepUniversity Students
B11
Falling ladders - why does this happen?
IELTS PrepTOEFL PrepHigh School Students
C110
How a slinky falls in slow motion #shorts
University StudentsWorking Adults
B23
What is the secret of a good life? Lessons from the longest study on happiness
Business EnglishDaily ConversationUniversity Students
FOR YOU
Vídeo recomendado
C12
48 frases
The Paradox of an Infinite Universe
IELTS PrepTOEFL PrepUniversity Students
C13
37 frases
Sir Andrew Wiles - The 2016 Abel Prize Laureate
IELTS PrepTOEFL PrepUniversity Students
C12
240 frases
Why This Is the Most Exciting Time to Be Human | Ken Ono, Axiom Math
IELTS PrepTOEFL PrepUniversity Students
C13
353 frases
Something Strange Happens When You Look Inside an Atom (Feynman Was Right)
IELTS PrepTOEFL PrepUniversity Students
C168
44 frases
Why is it Hot Underground?
IELTS PrepTOEFL PrepUniversity Students
C13
28 frases
Neil deGrasse Tyson: Isaac Newton is #1
IELTS PrepTOEFL PrepUniversity Students
C15
242 frases
Brian Cox: Why even Einstein doubted the existence of black holes
IELTS PrepTOEFL PrepUniversity Students
C1159
13 frases
How Old Can You Get?
IELTS PrepTOEFL PrepUniversity Students
C14
15 frases
Euler's Formula Poem
American AccentIELTS PrepTOEFL PrepUniversity Students
B24
41 frases
PROOF ALIENS ACTUALLY EXIST
IELTS PrepTOEFL PrepUniversity Students
Vocabulário e dicas de fala para esta lição
Este vídeo tem 404 frases e 6869 palavras para praticar shadowing. A fala dura 41:22. O falante fala em ritmo natural, cerca de 166 palavras por minuto, próximo de uma conversa do dia a dia. 83% das palavras estão entre as 3.000 mais comuns do inglês; vale a pena estudar o restante antes de começar.
Vocabulário principal deste vídeo
15 palavras do vídeo que vale a pena aprender, com pronúncia e significado:
| Palavra | Pronúncia | Significado |
|---|---|---|
| twin substantivo | /twɪn/ | gémeo, gémea |
| bound adjetivo | /ˈbaʊ̯nd/ | obrigado |
| roughly advérbio | /ˈɹʌf.li/ | rudemente, precariamente |
| mathematics substantivo | /mæθ(.ə)ˈmæt.ɪks/ | matemática |
| gap substantivo | /ɡæp/ | fenda |
| odd adjetivo | /ɑd/ | estranho, raro |
| infinitely advérbio | /ˈɪnfɪnɪtli/ | infinitamente |
| minus | /ˈmaɪ.nəs/ | menos |
| infinity substantivo | /ɪnˈfɪnɪti/ | infinito, infinidade |
| estimate substantivo | /ˈɛs.tɪ.mət/ | estimativa, cálculo |
| theorem substantivo | /ˈθiərəm/ | teorema |
| solve verbo | /sɒlv/ | resolver, solucionar |
| flip verbo | /flɪp/ | virar |
| consecutive adjetivo | /kənˈsɛkjʊtɪv/ | consecutivo |
| slot substantivo | /slɑt/ | fenda, ranhura |
Phrasal verbs que você vai ouvir
| Palavra | Pronúncia | Significado |
|---|---|---|
| cross out verbo | riscar | |
| end up verbo | terminar, acabar | |
| turn out verbo | terminar | |
| work out verbo | /ˌwɝk ˈaʊt/ | calcular |
| come up with verbo | pensar (em), alcançar | |
| figure out verbo | descobrir, deduzir | |
| go up verbo | subir | |
| write down verbo | anotar |
Gramática neste vídeo
As estruturas que o falante mais usa, com as palavras exatas do vídeo:
| Estrutura | No vídeo |
|---|---|
| Voz passiva be + particípio passado — o foco está no que acontece, não em quem faz | is called · was already caught · were left |
| Orações relativas who / which + oração — informação extra sobre uma pessoa ou coisa | Someone who had · infinity, which is · prime, which is |
| Present perfect have/has + particípio passado — uma ação passada que ainda importa agora | have found · we've looked · has gone |
Pronúncia para ficar de olho
O falante usa 105 contrações e formas reduzidas, como gonna, we're, you're. Diga-as na forma curta, do jeito que você ouve.
- Os sons de “th”: mathematics /mæθ(.ə)ˈmæt.ɪks/, theorem /ˈθiərəm/, mathematical /ˌmæθ(.ə)ˈmæt.ɪ.kəl/, gather /ˈɡæðɚ/, hypothesis /haɪˈpɒθɪsɪs/
- Os sons de “sh” e “zh”: inclusion /ɪnˈkluːʒən/, isolation /ˌaɪsəˈleɪʃən/, fraction /ˈfɹæk.ʃən/, exclusion /ɪksˈkluːʒən/, progression /pɹəˈɡɹɛʃən/
- Palavras longas — acerte a sílaba tônica: mathematics /mæθ(.ə)ˈmæt.ɪks/, infinitely /ˈɪnfɪnɪtli/, infinity /ɪnˈfɪnɪti/, consecutive /kənˈsɛkjʊtɪv/, mathematical /ˌmæθ(.ə)ˈmæt.ɪ.kəl/
Como praticar com este vídeo
- Ouça o vídeo inteiro uma vez sem falar e anote as palavras que você não conhece.
- Comece na velocidade 0,75×, faça shadowing frase por frase e volte à velocidade normal quando ficar fácil.
- Grave a sua voz e compare com o original, prestando atenção a palavras como twin, bound, roughly.
O que é a Técnica de Shadowing?
Shadowing é uma técnica de aprendizado de idiomas com base científica, originalmente desenvolvida para o treinamento de intérpretes profissionais. O método é simples, mas poderoso: você ouve áudio em inglês nativo e repete imediatamente em voz alta — como uma sombra seguindo o falante com 1-2 segundos de atraso. Pesquisas mostram melhora significativa na precisão da pronúncia, entonação, ritmo, sons conectados, compreensão auditiva e fluência na fala.