What's up in

# computer science

## Latest Articles

### 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.

### Computer Scientists Attempt to Corner the Collatz Conjecture

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

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

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

### How and Why Computers Roll Loaded Dice

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

### A Digital Locksmith Has Decoded Biology’s Molecular Keys

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

### Symbolic Mathematics Finally Yields to Neural Networks

After translating some of math’s complicated equations, researchers have created an AI system that they hope will answer even bigger questions.

### Common Sense Comes Closer to Computers

The problem of common-sense reasoning has plagued the field of artificial intelligence for over 50 years. Now a new approach, borrowing from two disparate lines of thinking, has made important progress.