Lean内核漏洞致AI证明失效

AI辅助推翻考拉兹猜想的Lean证明被证伪，Lean 4.32.2修复相关内核漏洞。

推荐理由：关键不在考拉兹本身，而是形式化验证链条出现内核级漏洞：AI生成证明可借证明器缺陷通过检查，说明数学AI评测必须区分模型推理能力与工具可信基。