证明成立，结论仍然可能是错的

那份含 12 的数独值得你亲手造一次——它比任何说教都有说服力：

P = 65537

SOLUTION = [5,3,4,6,7,8,9,1,2, 6,7,2,1,9,5,3,4,8, 1,9,8,3,4,2,5,6,7,
            8,5,9,7,6,1,4,2,3, 4,2,6,8,5,3,7,9,1, 7,1,3,9,2,4,8,5,6,
            9,6,1,5,3,7,2,8,4, 2,8,7,4,1,9,6,3,5, 3,4,5,2,8,6,1,7,9]

def groups():
    g = []
    for i in range(9):
        g.append([i*9 + j for j in range(9)])                       # 行
        g.append([j*9 + i for j in range(9)])                       # 列
        br, bc = (i // 3) * 3, (i % 3) * 3
        g.append([(br + j//3)*9 + bc + j % 3 for j in range(9)])    # 宫
    return g

def check(vals, skip_range_at=-1):
    """返回 (约束条数, 第一条不成立的编号或 None)"""
    n, bad = 0, None
    for i in range(81):                                   # 一、每格 ∈ 1..9
        if i == skip_range_at:
            continue
        prod = 1
        for d in range(1, 10):
            prod = prod * (vals[i] - d) % P
        n += 8
        if prod != 0 and bad is None:
            bad = n
    for g in groups():                                    # 二、两两不等
        for a in range(9):
            for b in range(a+1, 9):
                n += 1
                if vals[g[a]] == vals[g[b]] and bad is None:
                    bad = n
    return n, bad

print('正确电路 + 真解        ', check(SOLUTION))

bugged = SOLUTION[:]; bugged[40] = 12                     # 正中间填 12
print('正确电路 + 含 12 的解  ', check(bugged))
print('漏 8 条 + 含 12 的解   ', check(bugged, skip_range_at=40))

wild = SOLUTION[:]; wild[40] = 65530
print('漏 8 条 + 填 65530     ', check(wild, skip_range_at=40))

正确电路 + 真解         (1620, None)
正确电路 + 含 12 的解   (1620, 328)
漏 8 条 + 含 12 的解    (1612, None)      ← 通过了
漏 8 条 + 填 65530      (1612, None)      ← 也通过了

第三、四行就是这一章的全部内容：约束数从 1620 变成 1612（少了 0.49%），一份根本不是数独解的东西成了合法见证。而基于它生成的证明，在数学上无懈可击。

值得做的实验：把 skip_range_at 换成别的格子，看哪些格子漏掉之后仍然能被「两两不等」兜住（答案是：一个都兜不住，因为域外的数和谁都不相等）。再试试删掉某一组的「两两不等」，看能不能造出一份「有两个 5 在同一行」的解。

python3 sudoku_bug.py

在线跑：python.org/shell。想看真实世界的这类漏洞长什么样，去读几份 zk 项目的公开审计报告，搜 under-constrained——你会发现它们的形状和上面这个一模一样。