2020's Biggest Breakthroughs in Math and Computer Science

  • Am Vor 9 Monate

    Quanta MagazineQuanta Magazine

    For mathematicians and computer scientists, 2020 was full of discipline-spanning discoveries and celebrations of creativity. We'd like to take a moment to recognize some of these achievements.

    1. A landmark proof simply titled “MIP* = RE" establishes that quantum computers calculating with entangled qubits can theoretically verify the answers to an enormous set of problems. Along the way, the five computer scientists who authored the proof also answered two other major questions: Tsirelson’s problem in physics, about models of particle entanglement, and a problem in pure mathematics called the Connes embedding conjecture.

    2. In February, graduate student Lisa Piccirillo dusted off some long-known but little-utilized mathematical tools to answer a decades-old question about knots. A particular knot named after the legendary mathematician John Conway had long evaded mathematical classification in terms of a higher-dimensional property known as “sliceness.” But by developing a version of the knot that yielded to traditional knot analysis, Piccirillo finally determined that the Conway knot is not “slice.”

    3. For decades, mathematicians have used computer programs known as proof assistants to help them write proofs - but the humans have always guided the process, choosing the proof’s overall strategy and approach. That may soon change. Many mathematicians are excited about a proof assistant called Lean, an efficient and addictive proof assistant that could one day help tackle major problems. First, though, mathematicians must digitize thousands of years of mathematical knowledge, much of it unwritten, into a form Lean can process. Researchers have already encoded some of the most complicated mathematical ideas, proving in theory that the software can handle the hard stuff. Now it’s just a question of filling in the rest.

    Learn more: www.quantamagazine.org/quanta...

Jragon 1
Jragon 1

She loves me, she loves me knot...d>_

Vor 8 Tage
Paul Harris
Paul Harris

If u find this phenom spooky u have never seen a riot nor mass hysteria. This is what we humans do

Vor 10 Tage
Marcel Prado
Marcel Prado

Great video, but putting the links to the papers would be nice.

Vor 11 Tage
Larry Carter
Larry Carter

To believe this you must believe in an uncorruptible policeman first. LOL.

Vor 12 Tage
Hitul Shah
Hitul Shah

This video does not include deep mind's protein solution

Vor 21 Tag
madvorakCZ
madvorakCZ

Regarding the first discovery (2:30) ... how do you express a certificate of non-termination? A certificate of termination is clear --- just say how many steps are needed. However, how can you, in general, certify non-termination?

Vor 23 Tage
byurBUDdy
byurBUDdy

I said 'Jesus Christ' the day I found the Roman four in give, and 'holy shit' when I noticed the IV on my palm.

Vor 24 Tage
szamszatan
szamszatan

all of these people deserve better kit (laptops, webcams, headphones) than what they have

Vor 25 Tage
Big Boi
Big Boi

I feel fucking retarded in here

Vor 28 Tage
Tiago Silva
Tiago Silva

When I m in this kind of video I know my weed was good

Vor Monat
The Origami Genius
The Origami Genius

"Today we recognise the halting problem the spinning wheel of death." Very true

Vor Monat
Kephalo Pod
Kephalo Pod

In the directed acyclic graph of all mathematics, currently how many axioms and theorems are there?

Vor Monat
bodgertime
bodgertime

4:36 I don’t care about knots

Vor Monat
bodgertime
bodgertime

Don Knotts, Knott’s Landing

Vor Monat
DonkeyPounder44
DonkeyPounder44

1:07 someone messed up with editing, how did he not notice that 'v' there?

Vor Monat
Jari Kosonen
Jari Kosonen

I'm not 100% certain about this, but somecase if problem/program is small there is no problems with halting, some cases like kernel/OS it should NOT halt ever and run it there "forever" to monitor the system and processes. This seems special problem for some long code maybe, maybe like a game or some special types of code. But it looks like AI didn't have this types of problems either. Some case also user can halt it instead. Somecase maybe if code is slow so that it will take very long time the fault can be in the CPU/RAM speed instead or algorithm inefficient. For a given problem someone should find the best mathematical shortcut to reduce the execution times.

Vor Monat
bobli boggin
bobli boggin

I'm so angry: Lisa, in this house, we obey the laws of thermodynamics!

Vor Monat
Dragon Clan
Dragon Clan

boom gal

Vor Monat
Berezyn
Berezyn

I never liked mathematics.. but I do like theories. Like: a quantum computer can convert a 2D font to 3D cursive writing that appears 2D, then it starts _tying complex knots of code_ like a binary sequence in the shape of a Gordian knot that's well hidden in the dot of an i or the loop of a cursive o would be millions of invisible loops behind it containing pages of commands TXT files count every byte you say? Inside one of the tiny knots has a command that resets the byte count quantum computing could turn out to be digital witchcraft

Vor Monat
JiveDadson
JiveDadson

Einstein was not talking about quantum entanglement when he used the word "spooky". [Wikipedia is, gasp, wrong.] He was talking about _the measurement problem._

Vor Monat
Yi Zhang
Yi Zhang

In order to solve a problem, you need to understand it first. One reason why certain math problems stay unsolved for so long is that they are't understood by many.

Vor 2 Monate
luiz botelho
luiz botelho

I am a "conservative " WESTERN Mathematician (Not a "Mandarin " Mathematician working for the pleasure of a royal court !) . But with more than 40 years of research on Functional Analysis and Mathematical Physics . I do not think that such mathematical discoveries can have an important impact on the development of Mathematics as a real Scientific Discipline .Or even If they are important theoretical contributions for Mathematics as the Whole !. Of course , I can be deadly wrong .But I follow the famous advice of the greatest Mathematician of 20 Century (John Von Neumann ) : After so much "abstraction " , this kind of endeavor on Mathematics can ended up into a degenerated Math in the sense of being a mass of sterile mathematical results (like the search of usable formulae through Elliptic function theory to solve polynomial equations of arbitrary degree (at present time !) , or perhaps by solving the Riemann Conjecture ,or even the Fermat Last Theorem ...)

Vor 2 Monate
luiz botelho
luiz botelho

@『Meep』 Of course that only an ignorant on Math History like you could perceive my comment as racism ! . My point is that Mathematics and science on general are very strongly based on culture ! . And believe me ,here lies the great point very well understood by the Communist Party on China since Deng Xiao Ping : They try to cope ENTIRELY with the Western science -The "Brown cat " (specially with Russian Mathematicians on last century ) with huge success !. Great for them !.

Vor Monat
『Meep』
『Meep』

Calm down on the racism there bud. Also, I understand that math is your thing but please work on your grammar. It was pretty hard to understand anything this comment said.

Vor Monat
Toby Pieller
Toby Pieller

1:10 v

Vor 2 Monate
Dan Patterson
Dan Patterson

Computer as smart as an undergraduate? Oh dear, just what we need- horny computers.

Vor 2 Monate
Danella Cervantsz
Danella Cervantsz

The dark soybean ipsilaterally contain because shoe cytologically chew till a tacky distance. wet, billowy rest

Vor 2 Monate
Super Dingo
Super Dingo

'Today, we recognize it as the spinning wheel of death' Who are those 'we'? Small fraction of mac-users?

Vor 2 Monate
『Meep』
『Meep』

Anyone with less than perfect computers, really. The 'spinning wheel of death' is just what people think or when something won't work. It's highly associated with loading, hence the imagery.

Vor Monat
Christy Black
Christy Black

The hapless soup additonally nod because prose coronally drag astride a babies. curved, amusing feather

Vor 2 Monate
RushCap
RushCap

Piccarillo can't escape the knots

Vor 2 Monate
Crypton
Crypton

The singularity continues.

Vor 2 Monate
Matthew Lewis
Matthew Lewis

THE AI GOD COMETH

Vor 2 Monate
Matthew Lewis
Matthew Lewis

The lady knot is cool like the Arctic

Vor 2 Monate
TVP-RBE-better world, STEM
TVP-RBE-better world, STEM

Please look up to "The Venus Project" it offers solution to most of the problems we face today.War, poverty, hunger, starvation, illnesses,unemployment, crime, deprivation, human suffering can be solved with THE VENUS PROJECT. It offers method to achieve better world.

Vor 2 Monate
c h u k
c h u k

I don't know anything about maths, I'm just here for the vibes

Vor 3 Monate
Heater64k
Heater64k

My brain is confused

Vor 3 Monate
chan nghia tran thi
chan nghia tran thi

The mean alley holly borrow because tip biosynthetically head apropos a energetic kitchen. untidy, windy switch

Vor 3 Monate
J R Deckard
J R Deckard

Computers are great for finding tiny bits of information amongst a sea of data. They really suck at making decisions.

Vor 3 Monate
Kritik Niraula
Kritik Niraula

just imagine how many more things Einstein would have figured out with today's super computers, simulations and comupting.

Vor 3 Monate
Fire Panda Party Penguin
Fire Panda Party Penguin

Very exciting!!!

Vor 3 Monate
Astro8605
Astro8605

Ooooo spoopy stuff in the beginning

Vor 3 Monate
Angelina Robert
Angelina Robert

interesting. Thanks for uploading this, it made me think, thoughts and ideas mind foods. "eat your paisley", i think of computers as and anything Electronic as a sort of Quantum machine as electrons=Quantum Particles (They make part of an atom don't they) or many electrons/many Quantum Particles = electricity . in the future maybe we will be able to communicate with electronic devices with our consciousness affecting Quantum Entanglement. Now that is awesome, The Future's so bright i gotta wear shades,

Vor 3 Monate
gtr mjk
gtr mjk

The forgetful bongo additionaly retire because prose cytopathologically perform anenst a bitter course. obese, scary angle

Vor 3 Monate
Elmaz Okicic
Elmaz Okicic

I don't know why I'm here, what is happening and what policemen and knots are here....

Vor 3 Monate
Jad Mohsen
Jad Mohsen

So you're telling me that in order to become a good mathematician I just have to..... Drink some Lean?

Vor 3 Monate
Gyanprakash Raj
Gyanprakash Raj

BAAP KAA BURR SCIENCE TUMKO ...NAA KU6 SAMAJH NAHII KISI KO BHI...MOORKHISTANII...😂😂😂😂

Vor 3 Monate
Ryne Bozzell
Ryne Bozzell

Quantum entanglement can not become untangled without additional quantum entanglement.

Vor 3 Monate
gacekky1
gacekky1

"I don't care about knots" you and me both, sister.

Vor 3 Monate
Alan Vermillion Sr
Alan Vermillion Sr

When I was in school, the text books for math were at least 10 years behind the actual. I wonder what it is today? oh, wait. my bad. math's are racist now. I wonder what idiot calculated that one?

Vor 3 Monate
Peter Schaafsma
Peter Schaafsma

It's great to know that it's still possible to tackle and solve long-standing mathematical issues with a new and fresh set of brains in relatively short time.

Vor 3 Monate
Kephalo Pod
Kephalo Pod

How many axioms are there in mathematics? How many theorems are there that only refer to axioms (theorems 1 step away)? How many theorems are there that only refer to axioms and 1 step away theorems (giving theorems 2 step away)? And so on...

Vor 3 Monate
lokesh Lokesh
lokesh Lokesh

Great👍👍👏👏👏

Vor 3 Monate
Martin Pošmourný
Martin Pošmourný

Roger Penrose has to love this :)

Vor 3 Monate
Nikolay Tonev
Nikolay Tonev

I wonder if Lisa Piccirillo is single...

Vor 3 Monate
Countfilms TV
Countfilms TV

6:12 is the Thesis statement of Learning Code

Vor 4 Monate
my name
my name

other scientists : "i merely stood on the shoulders of giants" this arrogant mathematician: "i found it ridiculous that it was unsolved so i did it over the weekend cause noone else could" people these days are so much more egocentric than before she didnt even mention people that did the studies to get her to where she could solve it .

Vor 4 Monate
Ken H
Ken H

That is AMAZING!!! (Conway knot solution)

Vor 4 Monate
Iulian Bercuci
Iulian Bercuci

you've misunderstood facts in the 1st 20 seconds mate, the entangled particles don't interact instantly, you've got the idea of the phenomena wrong :S

Vor 4 Monate
monkeyincc
monkeyincc

it made me so happy that i knew one of the equations on the screen at 5:10

Vor 4 Monate
Kishimita TV
Kishimita TV

is there a link to the paper?

Vor 4 Monate
It's Kenji
It's Kenji

lisa piccirillo at minute 3:36 seems to like that dude kermon im pretty sure :P

Vor 4 Monate
prodby aycarambe
prodby aycarambe

they just want to manipulate the thing so it does whatever it wants you to do... maybe they arent inputting the correct answers and the shit knows...idk man

Vor 4 Monate
Colin Maharaj
Colin Maharaj

It's just one knot

Vor 4 Monate
Prapto Sarker
Prapto Sarker

great video

Vor 4 Monate
SANJEEV KUMAR
SANJEEV KUMAR

Saale kab tak nakal laroge

Vor 4 Monate
Stefan Perko
Stefan Perko

From the video it's not clear at all what "big breakthrough" is associated with Lean. Why not just use Coq or Agda? What's so much better about Lean?

Vor 4 Monate
sqrooty
sqrooty

There's nothing super special about Lean itself (except for the differences in engineering decisions to other proof assistants), but the large and monolithic math library is special.

Vor 3 Monate
Talin Rowe
Talin Rowe

Sounds like they were in a bind until she came through

Vor 4 Monate
Kisuke323
Kisuke323

This are Human among people. It is official - the rest of us are just stupid monkeys.

Vor 4 Monate
kenn
kenn

The way of dealing with the knots: 1 Alexander the great's way of dealing with Gordian knot: Nah, it's not possible to untie it but using my sword. Whack! 2 Lisa Piccirillo's way of dealing with Conway's knot: Hmm, you are not a smoothly slice knot. Shame on you, I don't care about you!

Vor 4 Monate
first name last name
first name last name

6:33 looks insanely like some ancient art, it reminded me of the entrance stone and the stone at the back (k52) of Newgrange, Ireland, an ancient passage tomb

Vor 4 Monate
CM Lorejo
CM Lorejo

Another lessons in the future about KnoTsssss... Okay but maybe in the 22nd Century it will be included in the education curriculum 😂😂😂 but for now let's baffled along quantum mechanics 😩

Vor 4 Monate
Rakker
Rakker

Is no-one curious how this dude discovered a problem computers can’t solve while there weren’t any computer in 1936??????

Vor 4 Monate
Urgaal Xai
Urgaal Xai

science is human project , if you want to cease it to minority only , it will stay for them and move slow and maybe it will die out .until other people or nation worthy of human trust take the lead.

Vor 4 Monate
Mansplainer 2099
Mansplainer 2099

No one is ever "worthy" of anything, that is just one of the many myths we egomaniac humans perpetuate.

Vor 4 Monate
Monique Dumont
Monique Dumont

Yikes, her voice. Vocal fry is cringe

Vor 4 Monate
Meg
Meg

shes my new gay crush

Vor 4 Monate
Anthh Hess
Anthh Hess

"I don't care about knots" Goes on to explain how she HAS to care about knots a sentence later. *Sed Lyf*

Vor 4 Monate
felt
felt

why does this have 1k dislikes??

Vor 4 Monate
Yongzheng Wu
Yongzheng Wu

You got the Halting Problem wrong. 1. Quantum computers solve some NP-hard problems in P time. They don't solve the Halting Problem. 2. The Halting Problem is about computability, not computational complexity.

Vor 4 Monate
Rashmi Rekha
Rashmi Rekha

Ah yes the two things I hate the most ( I just came here to write this comment)

Vor 4 Monate
Patrick Mullane
Patrick Mullane

Mathematicians discover racism!

Vor 4 Monate
Vivek Chauhan
Vivek Chauhan

the questions sounds more like blockchain problem

Vor 4 Monate
dev null
dev null

In all that time she could have spoken in 2-3 sentences tops. Mumble. Jumble. Gasp. Like. Grin. Like. Sigh.

Vor 4 Monate
Michael Scott-Joynt
Michael Scott-Joynt

About the knot problem, it reminds me of the saying, "The greatest baseball player who ever lived never picked up a baseball." When you think about it, likely many of our problems are such that we just don't have the right minds playing with them.

Vor 4 Monate
Mansplainer 2099
Mansplainer 2099

@stanleydesu I suspect it has to do with probability of genius in a field ending up in that field.

Vor 4 Monate
stanleydesu
stanleydesu

Please explain the saying.

Vor 4 Monate
J P M
J P M

Famously disturbed 🙄😁

Vor 4 Monate
ww3, alien invasion 24, Ai or Putin Pope or Peace?
ww3, alien invasion 24, Ai or Putin Pope or Peace?

This science is so last year

Vor 4 Monate
Christopher Nguyen
Christopher Nguyen

Skynet draws near, my body is not ready for this.

Vor 4 Monate
mrstanlez
mrstanlez

entanglement problem

Vor 4 Monate
miketsui3a
miketsui3a

v

Vor 4 Monate
James Lyndon
James Lyndon

Still not sure what happened...

Vor 4 Monate
Jazz
Jazz

So Math IS related to science !

Vor 4 Monate
chetan Sood
chetan Sood

😭😭 beautiful world of math ...

Vor 4 Monate
rmerdekav
rmerdekav

the ending of the vid is not ending yet but ended.

Vor 4 Monate
Strofi Kornego
Strofi Kornego

If those are the "breakthroughs" - then we live in the barbaric dark age

Vor 4 Monate
Giacomo Miola
Giacomo Miola

Prop to these guys taste on headphones

Vor 4 Monate
Kevin Kirkpatrick
Kevin Kirkpatrick

v

Vor 4 Monate
Konstantin Dimitrov
Konstantin Dimitrov

The "I-proved-that-one-knot-has-a-thing.-I-don't-care-about-knots" moment made me instalike this video. That's adorably honest & bossy lol.

Vor 4 Monate
jumpieva
jumpieva

you guys forgot making a statistically manipulated virus, lying about stats, destroying families and businesses, all while laughing in the face of science. you forgot that one. 2020 will go down in history as the most bungling corrupt ignorant year in mankind for centuries to come.

Vor 4 Monate
adel makram
adel makram

Can AI using quantum computer prove a math conjecture? And how do we understand the proof before understanding quantum mechanics? Do we need to give up consistency to prove a mathematical statement?

Vor 4 Monate
UnicyclDev
UnicyclDev

In the first 20 second of the video I hesrd incorrect descriptions. Flat out wrong technically. *sigh*

Vor 4 Monate
Rex Sobb
Rex Sobb

deeez nuts

Vor 4 Monate
MarkQub
MarkQub

v

Vor 4 Monate
BigDickRick
BigDickRick

2:13 SUSpects lmao

Vor 4 Monate
Riceboy FF
Riceboy FF

"I dont care about knots" LMAO what a sentence to have to say

Vor 4 Monate

Nächster

How the Best Hackers Learn Their Craft

42:46

How the Best Hackers Learn Their Craft

RSA Conference

Aufrufe 1 200 000

The things you'll find in higher dimensions

23:16

The Riemann Hypothesis, Explained

16:24

The Riemann Hypothesis, Explained

Quanta Magazine

Aufrufe 2 000 000

The Future of Mathematics?

1:14:48

The Future of Mathematics?

Microsoft Research

Aufrufe 75 000

2020's Biggest Breakthroughs in Biology

8:22

2020's Biggest Breakthroughs in Biology

Quanta Magazine

Aufrufe 607 000

Math Has a Fatal Flaw

34:00

Math Has a Fatal Flaw

Veritasium

Aufrufe 11 000 000

String Theory and the End of Space and Time with Robbert Dijkgraaf

47:41

iPhone 13 Unboxing - Are they ACTUALLY Good!?

16:52

iPhone 13 Unboxing - Are they ACTUALLY Good!?

Mrwhosetheboss

Aufrufe 2 070 314

JoJo Siwa’s Quickstep - Dancing with the Stars

1:15

JoJo Siwa’s Quickstep - Dancing with the Stars

Dancing With The Stars

Aufrufe 1 309 512

WILLKOMMEN ZURÜCK !

13:26

WILLKOMMEN ZURÜCK !

Holzkunst Scholz Offiziell

Aufrufe 26 293