Computer science

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

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

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.

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

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

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

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

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.

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