Computer science

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.

A landmark proof in computer science has also solved an important problem called the Connes embedding conjecture. Mathematicians are working to understand it.

Ronald Rivest helped come up with the RSA algorithm, which safeguards online commerce. Now he’s hoping to make democratic elections more trustworthy.

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.