Machine learning

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.

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

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

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.

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.

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

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