What's up in

# computer science

## Latest Articles

### Proof Assistant Makes Jump to Big-League Math

Mathematicians using the computer program Lean have verified the accuracy of a difficult theorem at the cutting edge of research mathematics.

### The Computer Scientist Training AI to Think With Analogies

Melanie Mitchell has worked on digital minds for decades. She says they’ll never truly be like ours until they can make analogies.

### Same or Different? The Question Flummoxes Neural Networks.

For all their triumphs, AI systems can’t seem to generalize the concepts of “same” and “different.” Without that, researchers worry, the quest to create truly intelligent machines may be hopeless.

### What Makes Quantum Computing So Hard to Explain?

To understand what quantum computers can do — and what they can’t — avoid falling for overly simple explanations.

### Latest Neural Nets Solve World’s Hardest Equations Faster Than Ever Before

Two new approaches allow deep neural networks to solve entire families of partial differential equations, making it easier to model complicated systems and to do so orders of magnitude faster.

### A Computer Scientist Who Tackles Inequality Through Algorithms

Rediet Abebe uses the tools of theoretical computer science to understand pressing social problems — and try to fix them.

### Matrix Multiplication Inches Closer to Mythic Goal

A recent paper set the fastest record for multiplying two matrices. But it also marks the end of the line for a method researchers have relied on for decades to make improvements.

### Pioneers Linking Math and Computer Science Win the Abel Prize

Avi Wigderson and László Lovász won for their work developing complexity theory and graph theory, respectively, and for connecting the two fields.

### New Algorithm Breaks Speed Limit for Solving Linear Equations

By harnessing randomness, a new algorithm achieves a fundamentally novel — and faster — way of performing one of the most basic computations in math and computer science.