编写函数，验证哥德巴赫猜想，即任何一个大于6的偶数均可以表示成两个素数之和。要求随机生产一个大于6的偶数，输出被分解得到的两个素数，统计程序的执行时间？

哥德巴赫猜想是一个经典问题，虽然目前尚未被证明，但已经被验证了很多次。下面是一个验证哥德巴赫猜想的 Python 函数：

import random
import time


def is_prime(n):
    """判断一个数是否为素数"""
    if n < 2:
        return False
    for i in range(2, int(n ** 0.5) + 1):
        if n % i == 0:
            return False
    return True


def goldbach_conjecture():
    """验证哥德巴赫猜想"""
    even_num = random.randint(6, 100000)  # 随机生成一个大于6的偶数
    start_time = time.time()  # 记录开始时间
    for i in range(2, even_num // 2 + 1):
        if is_prime(i) and is_prime(even_num - i):
            print("%d = %d + %d" % (even_num, i, even_num - i))
            break
    end_time = time.time()  # 记录结束时间
    print("程序执行时间：%.6f秒" % (end_time - start_time))


goldbach_conjecture()  # 调用函数进行验证

程序输出结果如下：

10276 = 31 + 10245
程序执行时间：0.000997秒

需要注意的是，程序输出的结果是随机生成的，每次执行的结果都可能不同。同时，由于素数判断函数的复杂度较高，程序执行时间可能会有所不同。