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.
After translating some of math’s complicated equations, researchers have created an AI system that they hope will answer even bigger questions.
By teaching machines to understand our true desires, one scientist hopes to avoid the potentially disastrous consequences of having them do what we command.
The laws of physics stay the same no matter one’s perspective. Now this idea is allowing computers to detect features in curved and higher-dimensional space.
By ignoring their goals, evolutionary algorithms have solved longstanding challenges in artificial intelligence.
Researchers have discovered a surprising mathematical relationship in the brain’s representations of sensory information, with possible applications to AI research.