What's up in
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.