Lean 4.34.0 修复 3 个由 AI adversarial testing 发现的 kernel soundness issues

Lean 4.34.0 于 9 月 14 日发布。官方 release notes 将 kernel reinforcement 列为本次重点：3 个 soundness issues 由 AI adversarial testing 发现并得到修复，同时加入一系列额外 defensive checks。该版本还改进 bv_decide、grind、floating-point API、linters 与 Lake，但对 AI4Math 最关键的是 proof assistant trust base 本身开始接受系统化 AI 对抗测试。