AI program plays the long game to solve decades-old math problems - Phys.org

AI program plays the long game to solve decades-old math problems  Phys.org