Практика Shadowing: This is Crazy - Изучайте разговорный английский по видео

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

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

190 предложений
Если предложения слишком короткие или длинные, нажмите Edit, чтобы их изменить.
1
The exponential time hypothesis is false.
2
This is completely f*ing insane.
3
OpenAI has done it again.
4
They are now releasing even more proofs.
5
When will the proof stop?
6
We are announcing three new discoveries in mathematics, computer science, and physics about harmonic analysis, complexity theory, and quantum field theory.
7
That's right, you heard it here.
8
They are releasing a proof about my boy, computer scientist.
9
And as somewhat of a computer scientist myself, I was naturally intrigued.
10
And learning that the exponential time hypothesis is false means
11
that we could fundamentally be entering into an era in which all modern diseases are solved in relatively short amount of computation,
12
and it also means that all encryption is broken and everything you enjoy is completely gone and society collapses.
13
So we have to talk about this.
14
I'll help you understand it.
15
Okay.
16
As again, as a computer scientist myself, be glad to walk you through what is NP complete,
17
what this all means, what is the exponential time hypothesis, and what does this actually mean?
18
Should you be worried?
19
Is P equal NP?
20
But before we do, a quick thank you to the sponsor.
21
I have to say one of my favorite parts of this AI revolution is GrokBot.
22
And that is because so many little tedious tasks are now me just going,
23
hey, can you update my calendar with all my kids' upcoming soccer games for this tournament?
24
Or, hey, put milk on my list for things to pick up.
25
And with the ability to add custom MCPs, you could actually add any of your applications and be able to sync with it.
26
So GrokBot allows me to effectively control my life and just take out all the tedium.
27
Honestly, kind of feels like the promise of AI that we kept on hearing
28
that it's gonna make our life better because this actually makes life better.
29
And my wife is much happier now that I'm a little bit more organized.
30
So if you'd like to support the channel, go check out GrokBot, which is available on the web, desktop applications, and on mobile, Android included.
31
I feel like they're thinking of me when they made that.
32
I'm very, very, very happy.
33
All right, so OpenAI is back at it again.
34
This time, people are freaking out for a different reason.
35
It's not for the purity of math that they're losing everybody on.
36
In fact, it's for something a little bit different, because if what they have proved is correct, it is a step towards P equaling NP.
37
Now, with this announcement, they actually announced three big discoveries.
38
The first one for local smoothing of the Kakeya conjecture.
39
The third for the existence of quantum chromodynamics and completions of the standard model.
40
But it's the middle one.
41
It's the middle one we're going to talk about, okay?
42
The exponential time hypothesis.
43
Now, to understand the exponential time hypothesis, you need to understand this very small Boolean expression right here.
44
A or B or C.
45
This is called a 3SAT problem.
46
There's three variables in a group
47
and we need to see what values of all the variables need to be to be able to satisfy this.
48
So if we just simply set all of them to false, it would be false.
49
But if we just set any one of them to be true, then we have satisfied that Boolean expression.
50
We have found something that makes it true.
51
And in this case, we just set C to true.
52
But let's make it a little bit harder.
53
Let's add one more group.
54
So now we have two sets of three.
55
This is still a three -sat problem.
56
We have A or B or C and we have not a
57
or d or e so now we have five variables a through e so
58
if we were to kind of guess well what would satisfy
59
this we would actually have to start guessing okay is all
60
of them false satisfied no how about one of them true d true e
61
and d true how about c true yes okay c is true
62
this works awesome we now have satisfied this equation but notice
63
that it took quite a few more guesses to get somewhere also just a side note the fact
64
that this actually is the same it's the same thing
65
that made them both true that's just an anomaly just okay don't think about it too hard all right
66
so let's add actually a third one in here notice
67
that we have not see in the third one f
68
and g so that that puts our total variables all the way up to g
69
or seven so now when we're checking notice
70
that this takes a lot longer we have a lot more guesses like this would take us a
71
while to figure out
72
if you were doing this by hand you would have to do a bit of guessing
73
but lo and behold we got it we were able to get the answer after
74
so many guesses but you can see something here.
75
Every time we add a new group, and more specifically, every time we add a new variable, this requires a much larger amount of checking.
76
Now this is kind of like the fundamental premise of the exponential time hypothesis.
77
This hypothesis is super important because if it is true, then P does not equal NP.
78
But right now, it hasn't been proven to be actually true.
79
It's only a hypothesis.
80
And the basic of the hypothesis is that the growth of the 3SAT problem is effectively bounded exponentially, like 2 to the n.
81
Now, there are some improvements on the algorithms,
82
and people have been able to kind of reduce that base down to 1 .3 with clever programming tricks,
83
but that still is 1 .3 to the n.
84
To put this into perspective, I'm going to give a very special number.
85
Just go with it for a second.
86
1 .3 to the 2500.
87
This right here is more atoms than in the known universe.
88
So you can see that even with that much smaller base, when you get to so many of these, it becomes impossible to actually compute.
89
Like we don't have the computation ever to be able to solve this.
90
But what OpenAI just did is they found an equation that they were able to solve that looks like this,
91
two to the N divided by the squirt of the log of N.
92
And this takes it from being exponential to being sub -exponential, which is exactly what ETH said, nope, that cannot happen.
93
I put my foot on the ground.
94
We will not have non -exponentials here.
95
No, well, we actually have sub -exponentials.
96
Now, this is not polynomial time.
97
This is still exponential time, but it's sub -exponential because this does grow with the growth of n, which makes n smaller.
98
So the growth is just not quite the same.
99
If you remember my last equation, that 1 .3 to the 2 ,500, you can see right here that has greatly reduced it.
100
Now, this is still completely not even computable
101
that number is just gigantic we're not going to be able to solve
102
that in my lifetime but as you can see it's significantly reduced
103
and this means is there a path to continuing to reduce
104
this are we just starting the walking of reducing this now this may sound a little bit familiar
105
because if you just remember a few weeks ago on october 6th
106
when open ai dropped like 372 different uh proofs
107
or was it i can't remember what it was doesn't really matter it was a lot of proofs.
108
One of them was about integer multiplication.
109
The integer multiplication started off as being this like barely in just the tiniest improvement of all time.
110
And then over the course of the next couple weeks, you started seeing improvement and improvement and improvement.
111
So is this going to be another one of those cases
112
where it starts off with just barely a little bit of an improvement
113
that just leads to a deluge of huge improvements on this running time?
114
Are we going to see something like p does not equal np
115
now you're probably asking
116
i don't know what p equal does not equal np even means what is the implication
117
this is where all the scary stuff actually happens because
118
if this starts to improve a whole bunch
119
and we open up new doors
120
and we eventually get this all the way down into polynomial time
121
this will just upend society yes p equals np will make things kind of crazy for us okay
122
so we have to talk about p equals np
123
because this is the big question because
124
if p equals np we are all screwed
125
and we are also in a super great world where we could cure cancer
126
it's the craziest world we could ever possibly live in
127
and this is why there exists a set of problems called
128
np problems non -deterministic polynomial problems these problems have a very special condition on them
129
they can be verified in polynomial time this is really important
130
so when we go back to this i can look at this one right here and go like this.
131
Okay, that one's true.
132
That one's true because not zero.
133
And that one's true.
134
Boom.
135
I just verified with my eyeballs a problem that is super hard, that is exponentially difficult to solve for,
136
but I can verify it in linear time.
137
It's super easy to see if something's right, super hard to determine the problem.
138
Inside of NP, there's a set of problems called P.
139
And now this is the big question.
140
Is all the problems in NPP or is just some of them?
141
P means that they are solvable in polynomial time.
142
See, then there's one other group of problems we'd like to call NP -hard.
143
Now, this is kind of a funny one.
144
It has a really funny name to it because you're like, oh, well, why aren't all the problems inside of NP?
145
It's called NP -hard.
146
Well, what they mean is that they're at least as hard as every other problem inside of NP.
147
And so this little intersection right here is a very special class of problems we like to refer to as NP -complete.
148
NP -complete problems are NP hard problems that are verifiable in polynomial time.
149
This problem is NP complete.
150
Now, NP complete has this really special property, which every problem that is NP complete, you can represent by any other problem that's NP complete,
151
meaning that the traveling salesman can actually be represented as a three SAT problem.
152
That is why I showed you this little formula over here,
153
because 2500 is the size of the United States being represented as a three SAT formula solving the traveling salesman
154
which means it takes forever to solve we can't solve
155
this even with the best stuff the best computers in the universe can't solve
156
that problem right now but here's the thing with that paper showing
157
that exponential time hypothesis is in fact false
158
that we are sub exponential there's a chance
159
that we could keep on figuring out how to reduce it into polynomial time
160
and that's where things get crazy and the reason why is
161
that once one of these problems become polynomial time all of these problems become polynomial time by the sheer nature
162
that they are the hardest of all the problems within np
163
now where this gets really really bad is think of rsa rsa
164
which of course is like how you do public key encryption there's like many versions of this
165
and this is not the complete picture
166
but just go with me here effectively there's two prime numbers that are multiplied together and then you get this public key.
167
that anybody can look at and it's completely fine
168
because they don't know how to get these private keys from this public one.
169
Yes, I know there's an inverted matrix involved in all of this.
170
We're not going to talk about it.
171
Just don't worry about that, okay?
172
Just keep it simple.
173
So that means these private keys, to be able to find those, you have to do something called integer factorization.
174
And that turns out to be a really hard problem.
175
Not an NP hard problem, but a very hard problem inside of NP because we can validate that in polynomial time,
176
but we cannot solve for it in polynomial time.
177
And since exponential time hypothesis is now false and we are now sub -exponential, if this does improve and go to polynomial,
178
that means we can crack RSA in polynomial time, which means powerful computers would be able to break encryption across the internet.
179
This also goes for like SHA -256.
180
This also goes for HMAC.
181
This goes for pseudo -random number generators.
182
It goes for blockchain, which awesome.
183
Love to see that last one get taken down
184
but nonetheless everything would kind of fall apart
185
but there's also protein folding turns out protein folding is in fact going to be an NP complete problem
186
so if we could change that we could potentially do research what would take decades
187
or hundreds of years you could potentially do in like a year
188
you would even be able to solve sudokus in polynomial time now
189
that would be a crazy world right I mean solving sudokus okay that's getting a little too fanciful the name
190
Is the NP a gin?

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

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

ИИ-оценка произношенияОценка каждой фразы
Практика IPAОсвойте каждый звук
СловарьСоберите свой словарный запас
Игра со словамиУчитесь играя

Тот же канал

FOR YOU

Рекомендуемое видео

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

Этот урок разговорной практики построен на видео «This is Crazy». Чаще всего повторяются слова: exponential, polynomial, hypothesis, solve, complete. В этом видео 190 предложений и 2263 слов для шедоуинга. Речь длится 11:26. Говорящий говорит быстро, около 198 слов в минуту, поэтому звуки часто сливаются и сокращаются. 84% слов входят в 3000 самых частых слов английского языка; остальные стоит разобрать перед занятием.

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

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

СловоПроизношениеЗначение
solve глагол/sɒlv/реша́ть, реши́ть
hypothesis существительное/haɪˈpɒθɪsɪs/гипо́теза, предположе́ние
variable прилагательное[ˈvæɹ.i.ə.bl̩]переме́нный, изме́нчивый
satisfy глагол/ˈsætɪsfaɪ/удовлетворя́ть, удовлетвори́ть
scientist существительное/ˈsaɪəntəst/учёный, учёная
equation существительное/ɪˈkweɪ.ʒən/уравне́ние
verify глагол/ˈvɛɹɪfaɪ/дока́зывать, доказа́ть
encryption существительное/ɪnˈkɹɪpʃən/шифрова́ние, шифро́вка
discovery существительное/dɪˈskʌv.ɹi/откры́тие
formula существительное/ˈfɔː.mjʊ.lə/фо́рмула
announce глагол/əˈnaʊn(t)s/объявля́ть, объяви́ть
mathematics существительное/mæθ(.ə)ˈmæt.ɪks/матема́тика
fold глагол/ˈfəʊld/перегиба́ть, перегну́ть
quantum существительное/ˈkwɑntəm/коли́чество
salesman существительноепродаве́ц, торго́вец

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

СловоЗначение
figure out глаголразбира́ться, разобра́ться
check out глаголпроверя́ть, прове́рить
fall apart глаголраспада́ться, распа́сться
pick up глаголподбира́ть, подобра́ть
take down глаголснимать
take out глаголвынима́ть, вы́нуть
turn out глаголока́зываться, оказа́ться

Фразы, которые стоит повторять

Короткие законченные фразы из видео, которые пригодятся в повседневном разговоре:

  • That's right, you heard it here.
  • I'll help you understand it.
  • Should you be worried?
  • I'm very, very, very happy.
  • Let's add one more group.

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

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

КонструкцияВ видео
Пассивный залог be + причастие прошедшего времени — важно, что происходит, а не кто это делаетwas naturally intrigued · are solved · is broken
Present Perfect have/has + причастие прошедшего времени — прошлое действие, важное сейчасhas done · have proved · have satisfied
Придаточные определительные who / which + предложение — уточнение о человеке или предметеGrokBot, which is · exponential, which is · time, which means

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

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

  • Звуки «th»: hypothesis /haɪˈpɒθɪsɪs/, mathematics /mæθ(.ə)ˈmæt.ɪks/, smooth /smuːð/, nonetheless /ˌnʌnðəˈlɛs/, algorithm /ˈælɡəɹɪðm̩/
  • Звуки «sh» и «zh»: equation /ɪˈkweɪ.ʒən/, encryption /ɪnˈkɹɪpʃən/, potentially /pəˈtɛnʃ(ə)li/, completion /kəmˈpliː.ʃən/, sheer /ʃɪɚ/
  • Длинные слова — следите за ударением: hypothesis /haɪˈpɒθɪsɪs/, potentially /pəˈtɛnʃ(ə)li/, mathematics /mæθ(.ə)ˈmæt.ɪks/, naturally /ˈnæt͡ʃ.(ə.)ɹə.li/, fundamental /ˌfʌn.dəˈmɛn.təl/

Звуки, трудные для русскоязычных:

  • /w/ — губы округлены, это не /v/: equation /ɪˈkweɪ.ʒən/, quantum /ˈkwɑntəm/, squirt /skwɝt/
  • /h/ — лёгкий выдох, а не русское «х»: hypothesis /haɪˈpɒθɪsɪs/, behold /bɪˈhəʊld/, harmonic /hɑɹˈmɑnɪk/
  • Звонкие согласные в конце слова — не оглушайте их: solve /sɒlv/, fold /ˈfəʊld/, bound /ˈbaʊ̯nd/, divide /dɪˈvaɪd/, organize /ˈɔɹɡənaɪz/

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

  1. Прослушайте всё видео один раз молча и выпишите незнакомые слова.
  2. Начните со скорости 0,75×, повторяйте предложение за предложением и вернитесь к обычной скорости, когда станет легко.
  3. Запишите себя и сравните с оригиналом, обращая внимание на такие слова, как solve, hypothesis, variable.

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

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

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