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.