What's up in

# machine learning

## Latest Articles

### The Year in Math and Computer Science

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

### Deep Neural Networks Help to Explain Living Brains

Deep neural networks, often criticized as “black boxes,” are helping neuroscientists understand the organization of living brains.

### Building the Mathematical Library of the Future

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.

### At the Math Olympiad, Computers Prepare to Go for the Gold

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

### How Close Are Computers to Automating Mathematical Reasoning?

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

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

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 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.