一、AI 的 NS 爆破构造，人类能“验证”，但不能“理解”

OpenAI 给出的 NS 爆破构造有三层：

1. 数学证明文本（165–166 页）

2. Lean 形式化验证代码（可逐步检查）

3. AI Agent 的推理轨迹（不可完全解释）

人类可以做到：

• 检查证明是否自洽

• 检查 Lean 是否通过验证

• 检查构造是否满足 PDE 条件

但人类做不到：

• 理解 AI 为什么选择这个构造

• 理解 AI 如何在巨大搜索空间中找到爆破路径

• 理解 AI 的“数学直觉”是如何形成的