What's up in

machine learning


Statistics Postdoc Tames Decades-Old Geometry Problem

March 1, 2021

To the surprise of experts in the field, a postdoctoral statistician has solved one of the most important problems in high-dimensional convex geometry.

2020 in Review

The Year in Math and Computer Science

December 23, 2020

Even as mathematicians and computer scientists proved big results in computational complexity, number theory and geometry, computers proved themselves increasingly indispensable in mathematics.

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.