What's up in

machine learning

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

October 1, 2020

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.

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

September 21, 2020

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

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

How Close Are Computers to Automating Mathematical Reasoning?

August 27, 2020

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

A glass object being shaped by a blowtorch.]
Abstractions blog

Why Is Glass Rigid? Signs of Its Secret Structure Emerge.

July 7, 2020

At the molecular level, glass looks like a liquid. But an artificial neural network has picked up on hidden structure in its molecules that may explain why glass is rigid like a solid.

A digital simulacrum of a protein.
Abstractions blog

A Digital Locksmith Has Decoded Biology’s Molecular Keys

June 3, 2020

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

May 20, 2020

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

April 30, 2020

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.

An illustration in which a capsule-shaped drug imprinted with circuit-board diagrams blasts nearby bacteria.
artificial intelligence

Machine Learning Takes On Antibiotic Resistance

March 9, 2020

To combat resistant bacteria and refill the trickling antibiotic pipeline, scientists are getting help from deep learning networks.

An AI genie turning a home into a jungle.
artificial intelligence

Artificial Intelligence Will Do What We Ask. That’s a Problem.

January 30, 2020

By teaching machines to understand our true desires, one scientist hopes to avoid the potentially disastrous consequences of having them do what we command.