What's up in

computer science

Illustration of a robot translating calculus into branching, tree-like structures
artificial intelligence

Symbolic Mathematics Finally Yields to Neural Networks

May 20, 2020

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

artificial intelligence

Common Sense Comes Closer to Computers

April 30, 2020

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.

Q&A

The Computer Scientist Who Can’t Stop Telling Stories

April 16, 2020

For pioneering computer scientist Donald Knuth, good coding is synonymous with beautiful expression.

Animation showing multiple particles of light flowing together and leaving blue trails
Abstractions blog

Graced With Knowledge, Mathematicians Seek to Understand

April 8, 2020

A landmark proof in computer science has also solved an important problem called the Connes embedding conjecture. Mathematicians are working to understand it.

Photo of Ronald Rivest sitting in his office
Q&A

Cryptography Pioneer Seeks Secure Elections the Low-Tech Way

March 12, 2020

Ronald Rivest helped come up with the RSA algorithm, which safeguards online commerce. Now he’s hoping to make democratic elections more trustworthy.

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.

An AI genie turning a home into a jungle.
artificial intelligence

Artificial Intelligence Will Do What We Ask. That’s a Problem.

January 30, 2020

By teaching machines to understand our true desires, one scientist hopes to avoid the potentially disastrous consequences of having them do what we command.

Diagram showing blocks of different sizes colliding, along with different vectors
Abstractions blog

How Pi Connects Colliding Blocks to a Quantum Search Algorithm

January 21, 2020

A curious physicist has discovered an unexpected link between theoretical block collisions and a famed quantum search algorithm.

Steven Strogatz listens to a podcast guest speak about many scientific and mathematical subjects.
Quantized Columns

Why I’m Hosting The Joy of x Podcast

January 15, 2020

The noted mathematician and author Steven Strogatz explains why he wanted to share intimate conversations with leading researchers from diverse fields in his new podcast.