What's up in


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.

Photo of Marijn Heule walking among computer processors
Abstractions blog

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.

Illustration of floating metal cubes joining together, some of their faces yellow

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.

Photo of various kinds and colors of dice
Abstractions blog

How and Why Computers Roll Loaded Dice

July 8, 2020

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

Animation showing toy-like depictions of computer science, quantum mechanics and pure math affecting each other.
computational complexity

Landmark Computer Science Proof Cascades Through Physics and Math

March 4, 2020

Computer scientists established a new boundary on computationally verifiable knowledge. In doing so, they solved major open problems in quantum mechanics and pure mathematics.


The Architect of Modern Algorithms

November 20, 2019

Barbara Liskov pioneered the modern approach to writing code. She warns that the challenges facing computer science today can’t be overcome with good design alone.

Animation showing virtual players hiding and seeking in a digital arena
artificial intelligence

Playing Hide-and-Seek, Machines Invent New Tools

November 18, 2019

After millions of games, machine learning algorithms found creative solutions and unexpected new strategies that could transfer to the real world.

Illustration of robots evolving out of the mud.
artificial intelligence

Computers Evolve a New Path Toward Human Intelligence

November 6, 2019

By ignoring their goals, evolutionary algorithms have solved longstanding challenges in artificial intelligence.

Two competitors are racing to solve the multiplication problem 25 times 63 in two separate lanes of a running track. One competitor is using the standard multiplication algorithm while the other is using Karatsuba method.
Quantized Academy

On Your Mark, Get Set, Multiply

September 23, 2019

The way you learned to multiply works, but computers employ a faster algorithm.