They found the largest prime number so far