What's up in
computer science
Latest Articles
Computer Scientists Achieve ‘Crown Jewel’ of Cryptography
A cryptographic master tool called indistinguishability obfuscation has for years seemed too good to be true. Three researchers have figured out that it can work.
Deep Neural Networks Help to Explain Living Brains
Deep neural networks, often criticized as “black boxes,” are helping neuroscientists understand the organization of living brains.
To Boldly Go Where No Internet Protocol Has Gone Before
Vinton Cerf helped create the internet 40 years ago, and he’s still working to connect people around the world — and off it.
Computer Scientists Break Traveling Salesperson Record
After 44 years, there’s finally a better way to find approximate solutions to the notoriously difficult traveling salesperson problem.
Building the Mathematical Library of the Future
A small community of mathematicians is using a software program called Lean to build a new digital repository. They hope it represents the future of their field.
Complexity Scientist Beats Traffic Jams Through Adaptation
To tame urban traffic, the computer scientist Carlos Gershenson finds that letting transportation systems adapt and self-organize often works better than trying to predict and control them.
At the Math Olympiad, Computers Prepare to Go for the Gold
Computer scientists are trying to build an AI system that can win a gold medal at the world’s premier math competition.
A New Algorithm for Graph Crossings, Hiding in Plain Sight
Two computer scientists found — in the unlikeliest of places — just the idea they needed to make a big leap in graph theory.
How Close Are Computers to Automating Mathematical Reasoning?
AI tools are shaping next-generation theorem provers, and with them the relationship between math and machine.