# Landmark Computer Science Proof Cascades Through Physics and Math

Quanta Magazine

Computer scientists established a new boundary on computationally verifiable knowledge. In doing so, they solved major open problems in quantum mechanics and pure mathematics.

334

## Recently shared by

## More like this

teachyourselfcs.com

### Teach Yourself Computer Science

teachyourselfcs.com

~12 min read · 4129 saves · From 2017 · All the resources you need to give yourself a world class computer science education

In Math

Quanta Magazine

### The Year in Math and Computer Science

Quanta Magazine

7 min read · 111 saves · 2020-12-23 · Bill Andrews · Even as mathematicians and computer scientists proved big results in computational complexity, number theory and geometry, computers proved themselves increasingly indispensable in mathematics.

In Math

Quanta Magazine

### The Year in Math and Computer Science

Quanta Magazine

6 min read · 104 saves · 2019-12-23 · Bill Andrews · Mathematicians and computer scientists made big progress in number theory, graph theory, machine learning and quantum computing, even as they reexamined our fundamental understanding of mathematics…

Quanta Magazine

### The Octonion Math That Could Underpin Physics

Quanta Magazine

~12 min read · 224 saves · From 2018 · Natalie Wolchover · New findings are fueling an old suspicion that fundamental particles and forces spring from strange eight-part numbers called “octonions.”

matt.might.net

### What every computer science major should know

matt.might.net

~15 min read · 88 saves · From 2015 · Having emerged from engineering and mathematics, computer science programs take a resume-based approach to hiring off their graduates. A resume says nothing of a programmer's ability. Every computer…

In Math

Quanta Magazine

### Decades-Old Computer Science Conjecture Solved in Two Pages

Quanta Magazine

7 min read · 101 saves · 2019-07-25 · Erica Klarreich · The “sensitivity” conjecture stumped many top computer scientists, yet the new proof is so simple that one researcher summed it up in a single tweet.

In Math

WIRED

### A Decades-Old Computer Science Puzzle Was Solved in Two Pages

WIRED

7 min read · 67 saves · 2019-08-04 · With a stunningly simple proof, a researcher has finally cracked the sensitivity conjecture, "one of the most frustrating and embarrassing open problems."

Five Books

### The best books on Computer Science and Programming

Five Books

~18 min read · 132 saves · From 2018 · The best books on programming and computer science, as recommended by Ana Bell, lecturer in the Electrical Engineering and Computer Science Department at the Massachusetts Institute of Technology.

In Math

Quanta Magazine

### The Map of Mathematics

Quanta Magazine

637 saves · 2020-02-14 · Explore our surprisingly simple, absurdly ambitious and necessarily incomplete guide to the boundless mathematical universe.