What's up in

Computer science

Latest Articles

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.

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.

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.

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.

Computer Scientists Attempt to Corner the Collatz Conjecture

August 26, 2020

A powerful technique called SAT solving could work on the notorious Collatz conjecture. But it’s a long shot.

Computer Search Settles 90-Year-Old Math Problem

August 19, 2020

By translating Keller’s conjecture into a computer-friendly search for a type of graph, researchers have finally resolved a problem about covering spaces with tiles.

Spotting Quantum Black Holes in the Lab

July 15, 2020

Can we test speculations about how quantum physics affects black holes and the Big Bang?

How and Why Computers Roll Loaded Dice

July 8, 2020

Researchers are one step closer to injecting probability into deterministic machines.

A Digital Locksmith Has Decoded Biology’s Molecular Keys

June 3, 2020

Neural networks have been taught to quickly read the surfaces of proteins — molecules critical to many biological processes.

Get highlights of the most important news delivered to your email inbox