What's up in
Computer science
Latest Articles
Computer Scientists Attempt to Corner the Collatz Conjecture
A powerful technique called SAT solving could work on the notorious Collatz conjecture. But it’s a long shot.
Computer Search Settles 90-Year-Old Math Problem
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.
Spotting Quantum Black Holes in the Lab
Can we test speculations about how quantum physics affects black holes and the Big Bang?
How and Why Computers Roll Loaded Dice
Researchers are one step closer to injecting probability into deterministic machines.
A Digital Locksmith Has Decoded Biology’s Molecular Keys
Neural networks have been taught to quickly read the surfaces of proteins — molecules critical to many biological processes.
Symbolic Mathematics Finally Yields to Neural Networks
After translating some of math’s complicated equations, researchers have created an AI system that they hope will answer even bigger questions.
Common Sense Comes Closer to Computers
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.
The Computer Scientist Who Can’t Stop Telling Stories
For pioneering computer scientist Donald Knuth, good coding is synonymous with beautiful expression.
Graced With Knowledge, Mathematicians Seek to Understand
A landmark proof in computer science has also solved an important problem called the Connes embedding conjecture. Mathematicians are working to understand it.