What's up in

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

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

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.

The laws of physics stay the same no matter one’s perspective. Now this idea is allowing computers to detect features in curved and higher-dimensional space.

Mathematicians and computer scientists made big progress in number theory, graph theory, machine learning and quantum computing, even as they reexamined our fundamental understanding of mathematics and neural networks.

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.

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

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

Today Google announced that it achieved “quantum supremacy.” Its chief quantum computing rival, IBM, said it hasn’t. The disagreement hinges on what the term really means.