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.
Quanta Homepage
  • Physics
  • Mathematics
  • Biology
  • Computer Science
  • Topics
  • Archive

What's up in

computer science

Latest Articles

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
Comment
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
Comment
Read Later

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

Photo of Marijn Heule walking among computer processors
Abstractions blog

Computer Scientists Attempt to Corner the Collatz Conjecture

By Kevin Hartnett
August 26, 2020
Comment
Read Later

A powerful technique called SAT solving could work on the notorious Collatz conjecture. But it’s a long shot.

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
Comment
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
Comment
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
Comment
Read Later

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

A digital simulacrum of a protein.
Abstractions blog

A Digital Locksmith Has Decoded Biology’s Molecular Keys

By John Pavlus
June 3, 2020
Comment
Read Later

Neural networks have been taught to quickly read the surfaces of proteins — molecules critical to many biological processes.

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

Symbolic Mathematics Finally Yields to Neural Networks

By Stephen Ornes
May 20, 2020
Comment
Read Later

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

By John Pavlus
April 30, 2020
Comment
Read Later

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.


Previous
  • 1
  • ...
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  • 15
  • ...
  • 25
Next
The Quanta Newsletter

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

Recent newsletters
Quanta Homepage
Facebook
Twitter
Youtube
Instagram

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