Computer Science Proof Unveils Unexpected Form of Entanglement
Three computer scientists have posted a proof of the NLTS conjecture, showing that systems of entangled particles can remain difficult to analyze even away from extremes.
The Computer Scientist Who Parlays Failures Into Breakthroughs
Daniel Spielman solves important problems by thinking hard — about other questions.
How Computer Scientists Learned to Reinvent the Proof
Why verify every line of a proof, when just a few checks will do?
Computer Scientists Prove That Certain Problems Are Truly Hard
Finding out whether a question is too difficult to ever solve efficiently depends on figuring out just how hard it is. Researchers have now shown how to do that for a major class of problems.
Cryptographers Achieve Perfect Secrecy With Imperfect Devices
For the first time, experiments demonstrate the possibility of sharing secrets with perfect privacy — even when the devices used to share them cannot be trusted.
Computer Scientists Prove Why Bigger Neural Networks Do Better
Two researchers show that for neural networks to be able to remember better, they need far more parameters than previously thought.