Scientists Build AI That Can Discover New Mathematical Equations