DeepMind trained gamified AI to find the fastest algorithm for crucial math in computer science. Not long after, the AI beat a 50-year-old record