What's up in

Computer science

Latest Articles

Proof Assistant Makes Jump to Big-League Math

July 28, 2021

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

Q&A

The Computer Scientist Training AI to Think With Analogies

July 14, 2021

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.

June 23, 2021

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?

June 8, 2021

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

Melanie Mitchell Takes AI Research Back to Its Roots

April 19, 2021

To build a general artificial intelligence, we may need to know more about our own minds, argues the computer scientist Melanie Mitchell.

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

April 19, 2021

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.

Rediet Abebe on Using Algorithms for Social Justice

April 5, 2021

The computer scientist Rediet Abebe’s passion for applied mathematics closely aligns with her passion to solve problems with poverty and social inequality.

Q&A

A Computer Scientist Who Tackles Inequality Through Algorithms

April 1, 2021

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

March 23, 2021

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.

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