如何使用Python编写代码来寻找并验证孪生素数对？

在Python中，孪生素数是指相差2的一对素数。编写一个简单的程序来寻找并验证孪生素数对，可以按照以下步骤：

1. **生成素数序列**：首先需要一个函数来生成素数序列，你可以使用如埃拉托斯特尼筛法(Sieve of Eratosthenes)。

def sieve_of_eratosthenes(n):
    primes = [True] * (n+1)
    primes[0], primes[1] = False, False
    for i in range(2, int(n**0.5)+1):
        if primes[i]:
            for j in range(i*i, n+1, i):
                primes[j] = False
    return [i for i, prime in enumerate(primes) if prime]

2. **查找孪生素数**：遍历素数列表，检查相邻的两个素数是否差2，如果差2则认为是一对孪生素数。

def find_twin_primes(prime_list):
    twin_primes = []
    for i in range(len(prime_list)-1):
        if prime_list[i+1] - prime_list[i] == 2:
            twin_primes.append((prime_list[i], prime_list[i+1]))
    return twin_primes

# 使用筛法生成素数，然后找到孪生素数
primes = sieve_of_eratosthenes(100) # 可调整范围
twin_primes_in_range = find_twin_primes(primes)

3. **验证**：双循环检查孪生素数对是否满足定义，例如它们都是素数，且间隔为2。可以根据需要添加更详细的验证逻辑。

def is_prime(num):
    if num < 2:
        return False
    for i in range(2, num):
        if num % i == 0:
            return False
    return True

for pair in twin_primes_in_range:
    if not is_prime(pair[0]) or not is_prime(pair[1]):
        print(f"这对{pair}不是真正的孪生素数")
    else:
        print(f"{pair}是一对孪生素数")