Практика Shadowing: We're 99.9% sure this pattern is true, but no one can prove it - Изучайте разговорный английский по видео

Выберите режим практики

Каждый режим открывает полноэкранную комнату практики.

404 предложений

Если предложения слишком короткие или длинные, нажмите Edit, чтобы их изменить.

- On the morning of the 17th of April, 2013, the journal Annals of Mathematics received a curious email.

It claimed to contain a 50 page proof relating to one of the oldest unsolved problems in mathematics.

A problem that great mathematician Edmund Landau called unattackable.

But this proof didn't come from a famous professor, it came from an unknown.

Someone who had once spent years working at a subway restaurant.

- So, they're like, okay, surely this isn't gonna work out, but whatever.

You know, we'll send it to a referee.

- They expected to find a mistake in an afternoon, but they didn't.

So, they went through it again, closely studying the fragile parts where a proof like this normally falls apart, but still nothing.

Soon they realized they were witnessing a breakthrough.

- Oh, damn, he did it.

- So, how did he do It?

What did the experts miss and what was the problem he was working on?

He was working on a new way to attack one of the hardest unsolved problems in number theory, the twin prime conjecture.

The twin primes are prime numbers separated by just one number, like 11 and 13 or 17 and 19.

As you go up, the number line, primes become rarer and twin primes become rarer still.

But the twin prime conjecture claims that there are infinitely many of them you never run out.

But is it true?

Well, one way to approach this problem is to look at the gaps between consecutive primes as you go up the number line.

Now, at first they seem chaotic, but if you average them out, a clear trend emerges.

The average gap between two primes grows roughly as the natural logarithm of the number N.

So, for example, the average gap between primes around 100, is approximately 4.6.

The average gap between primes around 1000 is 6.9.

Logarithms grow very slowly, but they do keep growing forever.

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.

But if you start checking large numbers, then after a million you quickly find the twin primes, 1,000,037 and 1,000,039.

Past a billion, there's 1,000,000,007 and 1,000,000,009.

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.

That is a pair of numbers each 388,342 digits long.

If you wanted to print those in a book for some reason, you would need around 260 pages per number.

All of this is to say that as far as we've looked, we've kept finding twin primes.

But of course, that is not how you solve the twin prime conjecture, because you cannot physically check all the numbers out to infinity.

So, we need another way.

And around 100 years ago, it felt like mathematicians were getting close with a more sophisticated method.

In 1923, English mathematicians, Hardy and Littlewood figured out how you can estimate how many twin primes there should be.

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.

So, let's do a quick example to see how they use this.

Say you wanna find the odds that 137,037 is prime.

Well, you just plug that in and find that it has about an eight and a half percent chance of being prime.

Of course, you could use the same trick to find the odds that 137,039 is prime, which is also around 8.5%.

So, what are the odds that both of them are prime?

Well, you just multiply those odds together, that gives you around a 0.7% chance.

Now we are simplifying a little here because we're assuming that primes are independent, which they're not.

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.

So, we get the odds of any pair of numbers of size N being a twin prime are roughly one over ln squared.

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.

So, to count all twin primes up to N, we add up the odds at every single position.

In other words, we integrate this expression from the first prime two up to that number.

Now Hardy and Littlewood refine this argument further to account for the fact that primes aren't really independent.

But all that added is just this correction factor upfront.

So, the final expression looks like this.

Now let's plot how many twin primes, this predicts up to 1 trillion.

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%.

- The only issue though, is that this is just an estimate or what mathematicians call a heuristic.

It can tell you roughly how many twin primes to expect, but it can't guarantee that they never stop.

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.

So, what we need is a rigorous airtight mathematical proof, but finding such a proof it turns out, is extremely difficult.

One of the first mathematicians to really try was a 29-year-old Norwegian Viggo Brun.

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.

His goal was simple to try and prove that the number or count of twin primes always increases.

And to do this, he took a 2000 year old prime counting tool and tried to adapt it for twin primes.

Now the normal version of this tool is called the sieve of Eratosthenes, and it works something like this.

Say we want to find the primes up to 100.

First we remove one because that's not prime.

Then we circle the first prime, that is two, and we remove all of its multiples.

We do the same for three.

Circle it and remove its multiples, and then repeat that for five and seven.

And with these four very quick operations, every single number that's left on your 10 by 10 grid is a prime number.

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.

So, why is that?

Well, the next prime is 11.

So, let's check the numbers below 100 that are divisible by 11.

22 is two times 11, but since it's divisible by two, we already caught it.

We also have 33, but that is divisible by three.

And a similar logic holds for 55 and 77.

But what about 11 times 11?

Well notice that is 121, which is not in our range.

So, every multiple of 11 below 100 was already caught by a smaller prime.

So, sieving by 11 would cross out nothing new.

- 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.

- But there's also a second wave to visualize this sieve.

Take the number line and let each prime send out a wave with the wavelength equal to the size of that number.

So, the wave from two lands on every second number and the wave from three on every third and so on.

Now, notice that wherever a wave lands, that number has to be composite.

But the numbers that escape every preceding wave, well those have to be prime.

And so you end up with this beautiful visualization of the sieve.

And both of these methods make it incredibly easy to identify the primes.

- But Brun didn't care about which primes were left, he just needed to know how many were left.

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.

So, let's use this to find the number of primes below 100.

We can keep a running count.

So, we'll start with 100.

We're gonna throw out all the multiples of two.

Well, that's 50 numbers left, okay?

Then we're gonna throw away multiples of three.

Well, how many multiples of three are there less than 100.

100 divided by three is not a whole number.

It's like 33 and a third, but we don't throw out fractions.

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.

Скачать приложение

Всё для свободной речи

ИИ-оценка произношенияОценка каждой фразы

Практика IPAОсвойте каждый звук

СловарьСоберите свой словарный запас

Игра со словамиУчитесь играя

Сканировать QR

Download on theApp Store Get it onGoogle Play

Тот же канал

FOR YOU

Лексика и советы по произношению к этому уроку

В этом видео 404 предложений и 6869 слов для шедоуинга. Речь длится 41:22. Говорящий говорит в естественном темпе, около 166 слов в минуту, близком к повседневной речи. 83% слов входят в 3000 самых частых слов английского языка; остальные стоит разобрать перед занятием.

Ключевая лексика этого видео

15 слов из видео, которые стоит выучить, с произношением и значением:

Слово	Произношение	Значение
twin существительное	/twɪn/	близне́ц, близня́шка
bound прилагательное	/ˈbaʊ̯nd/	обяза́нный, до́лжный
roughly наречие	/ˈɹʌf.li/	гру́бо
mathematics существительное	/mæθ(.ə)ˈmæt.ɪks/	матема́тика
gap существительное	/ɡæp/	разры́в, проло́м
odd прилагательное	/ɑd/	стра́нный
infinitely наречие	/ˈɪnfɪnɪtli/	бесконе́чно
minus	/ˈmaɪ.nəs/	ми́нус
infinity существительное	/ɪnˈfɪnɪti/	бесконе́чность, безграни́чность
estimate существительное	/ˈɛs.tɪ.mət/	оце́нка
theorem существительное	/ˈθiərəm/	теоре́ма
solve глагол	/sɒlv/	реша́ть, реши́ть
flip глагол	/flɪp/	перевора́чивать, переверну́ть
consecutive прилагательное	/kənˈsɛkjʊtɪv/	после́довательный, консекути́вный
slot существительное	/slɑt/	щель, отве́рстие

Фразовые глаголы, которые вы услышите

Слово	Произношение	Значение
go over глагол		хорошо́ принима́ться
cross out глагол		вычёркивать, вы́черкнуть
end up глагол		зака́нчиваться, зако́нчиться
turn out глагол		ока́зываться, оказа́ться
work out глагол	/ˌwɝk ˈaʊt/	рассчи́тывать, рассчита́ть
come up with глагол		придумывать, приходить в голову
figure out глагол		разбира́ться, разобра́ться
go up глагол		поднима́ться, подня́ться

Грамматика в этом видео

Конструкции, которые говорящий использует чаще всего, с точными словами из видео:

Конструкция	В видео
Пассивный залог be + причастие прошедшего времени — важно, что происходит, а не кто это делает	is called · was already caught · were left
Придаточные определительные who / which + предложение — уточнение о человеке или предмете	Someone who had · infinity, which is · prime, which is
Present Perfect have/has + причастие прошедшего времени — прошлое действие, важное сейчас	have found · we've looked · has gone

Произношение, на которое стоит обратить внимание

Говорящий использует 105 сокращённых и редуцированных форм, например gonna, we're, you're. Произносите их коротко, так, как слышите.

Звуки «th»: mathematics /mæθ(.ə)ˈmæt.ɪks/, theorem /ˈθiərəm/, mathematical /ˌmæθ(.ə)ˈmæt.ɪ.kəl/, gather /ˈɡæðɚ/, hypothesis /haɪˈpɒθɪsɪs/
Звуки «sh» и «zh»: inclusion /ɪnˈkluːʒən/, isolation /ˌaɪsəˈleɪʃən/, fraction /ˈfɹæk.ʃən/, exclusion /ɪksˈkluːʒən/, progression /pɹəˈɡɹɛʃən/
Длинные слова — следите за ударением: 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/

Как заниматься с этим видео

Прослушайте всё видео один раз молча и выпишите незнакомые слова.
Начните со скорости 0,75×, повторяйте предложение за предложением и вернитесь к обычной скорости, когда станет легко.
Запишите себя и сравните с оригиналом, обращая внимание на такие слова, как twin, bound, roughly.

Что такое техника Shadowing?

Shadowing — это научно обоснованная техника изучения языка, изначально разработанная для подготовки профессиональных переводчиков и популяризированная полиглотом доктором Александром Аргуэльесом. Метод прост, но эффективен: вы слушаете аудио на английском от носителей языка и немедленно повторяете вслух — как тень, следующая за говорящим с задержкой в 1–2 секунды. В отличие от пассивного прослушивания или грамматических упражнений, Shadowing заставляет мозг и мышцы рта одновременно обрабатывать и воспроизводить реальные речевые паттерны. Исследования показывают, что это значительно улучшает точность произношения, интонацию, ритм, связную речь, понимание на слух и беглость речи — что делает его одним из самых эффективных методов для подготовки к IELTS Speaking и реального общения на английском.

Техника шедоуинга: читать полное пошаговое руководство →

Практика Shadowing: We're 99.9% sure this pattern is true, but no one can prove it - Изучайте разговорный английский по видео

Выберите режим практики

Скачать приложение

White holes and wormholes are probably real. Here's why.

Something is jamming GPS over Europe. Here's what we found

Why It Was Almost Impossible to Make the Blue LED

You've (Likely) Been Playing The Game Of Life Wrong

We're trying something new...

How does light 'know' the shortest path?

Why does every mammal get 1 billion heartbeats in their life?

Why Cold Drinks Were Deadly Before 1914

Exposing The Flaw In Our Phone System

Our Greatest Delusion

The Most Controversial Problem in Philosophy

We've Been Using The Wrong Science In Court For 50 years

Explaining Pi With Pizza

5 Fun Physics Phenomena

The Absurd Engineering Behind the Internet

The Most Misunderstood Concept in Physics

Falling ladders - why does this happen?

How a slinky falls in slow motion #shorts

What is the secret of a good life? Lessons from the longest study on happiness

How An Infinite Hotel Ran Out Of Room

The Paradox of an Infinite Universe

Sir Andrew Wiles - The 2016 Abel Prize Laureate

Why This Is the Most Exciting Time to Be Human | Ken Ono, Axiom Math

Something Strange Happens When You Look Inside an Atom (Feynman Was Right)

Why is it Hot Underground?

Neil deGrasse Tyson: Isaac Newton is #1

Brian Cox: Why even Einstein doubted the existence of black holes

How Old Can You Get?

Euler's Formula Poem

SEtalk: The Myth of the Lone Genius