We care about your data, and we'd like to use cookies to give you a smooth browsing experience. Please agree and read more about our privacy policy.
  • Physics

  • Mathematics

  • Biology

  • Computer Science

  • Topics

  • Archive

What's up in

Computer Science

An illustration of computer scientists looking down a new road that breaks open a traveling salesperson route.
algorithms

Computer Scientists Break Traveling Salesperson Record

By Erica Klarreich
October 8, 2020
Read Later

After 44 years, there’s finally a better way to find approximate solutions to the notoriously difficult traveling salesperson problem.

Illustration of researchers building and writing a digital library, which helps a humanoid robot do advanced math
foundations of mathematics

Building the Mathematical Library of the Future

By Kevin Hartnett
October 1, 2020
Read Later

A small community of mathematicians is using a software program called Lean to build a new digital repository. They hope it represents the future of their field.

Computer scientist and complexity researcher Carlos Gershenson of the National Autonomous University of Mexico stands by a busy urban roadway.
Q&A

Complexity Scientist Beats Traffic Jams Through Adaptation

By Rodrigo Pérez Ortega
September 28, 2020
Read Later

To tame urban traffic, the computer scientist Carlos Gershenson finds that letting transportation systems adapt and self-organize often works better than trying to predict and control them.

Photo of students sitting at desks competing in the International Mathematical Olympiad
Abstractions blog

At the Math Olympiad, Computers Prepare to Go for the Gold

By Kevin Hartnett
September 21, 2020
Read Later

Computer scientists are trying to build an AI system that can win a gold medal at the world’s premier math competition.

Aerial image of a complicated road network.
Abstractions blog

A New Algorithm for Graph Crossings, Hiding in Plain Sight

By Stephanie DeMarco
September 15, 2020
Read Later

Two computer scientists found — in the unlikeliest of places — just the idea they needed to make a big leap in graph theory.

Illustration of a robot and a human furiously doing math next to each other
artificial intelligence

How Close Are Computers to Automating Mathematical Reasoning?

By Stephen Ornes
August 27, 2020
Read Later

AI tools are shaping next-generation theorem provers, and with them the relationship between math and machine.

Illustration of floating metal cubes joining together, some of their faces yellow
geometry

Computer Search Settles 90-Year-Old Math Problem

By Kevin Hartnett
August 19, 2020
Read Later

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.

Animated illustration of a hand emerging from a black hole, while drawing the black hole by connecting dots flashing 0 and 1.
Quantized Columns

Spotting Quantum Black Holes in the Lab

By John Preskill
July 15, 2020
Read Later

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

Photo of various kinds and colors of dice
Abstractions blog

How and Why Computers Roll Loaded Dice

By Stephen Ornes
July 8, 2020
Read Later

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


Previous
  • 1
  • ...
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • ...
  • 18
Next

The Quanta Newsletter

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

Recent newsletters


  • About Quanta
  • Archive
  • Contact Us
  • Terms & Conditions
  • Privacy Policy
  • Simons Foundation
All Rights Reserved © 2022