What's up in

Computer Science

computer security

Computer Scientists Achieve ‘Crown Jewel’ of Cryptography

November 10, 2020

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.

Yarn models of a deep learning network and a brain.
neuroscience

Deep Neural Networks Help to Explain Living Brains

October 28, 2020

Deep neural networks, often criticized as “black boxes,” are helping neuroscientists understand the organization of living brains.

Q&A

To Boldly Go Where No Internet Protocol Has Gone Before

October 21, 2020

Vinton Cerf helped create the internet 40 years ago, and he’s still working to connect people around the world — and off it.

An illustration of computer scientists looking down a new road that breaks open a traveling salesperson route.
algorithms

Computer Scientists Break Traveling Salesperson Record

October 8, 2020

After 44 years, there’s finally a better way to find approximate solutions to the notoriously difficult traveling salesperson problem.

Illustration of researchers building and writing a digital library, which helps a humanoid robot do advanced math
foundations of mathematics

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.

Computer scientist and complexity researcher Carlos Gershenson of the National Autonomous University of Mexico stands by a busy urban roadway.
Q&A

Complexity Scientist Beats Traffic Jams Through Adaptation

September 28, 2020

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.

Photo of students sitting at desks competing in the International Mathematical Olympiad
Abstractions blog

At the Math Olympiad, Computers Prepare to Go for the Gold

September 21, 2020

Computer scientists are trying to build an AI system that can win a gold medal at the world’s premier math competition.

Aerial image of a complicated road network.
Abstractions blog

A New Algorithm for Graph Crossings, Hiding in Plain Sight

September 15, 2020

Two computer scientists found — in the unlikeliest of places — just the idea they needed to make a big leap in graph theory.

Illustration of a robot and a human furiously doing math next to each other
artificial intelligence

How Close Are Computers to Automating Mathematical Reasoning?

August 27, 2020

AI tools are shaping next-generation theorem provers, and with them the relationship between math and machine.