Claude Code 辅助证明 Wormald 关于 tournament Hamilton 环的两项猜想，公开行列式恒等式及 Lean 证明

Deep Bhattacharjee 于 10 月 22 日公开 regular tournaments 的随机 blow-up 中 Wormald 的 Hessian 行列式研究：用 skew adjacency matrix S 给出 H=d det(d²I+S²)/det(d²I−S²)，并报告证明 H≠0 和 d/H 为有理数平方；对 cyclic tournament 得到相应常数趋于 cosh(1)/cos(1)≈2.85596，涉及 Wormald 的两项猜想。Claude Code 运行搜索与计算、编写 checking programs 与 Lean 4 证明，作者负责最终稿；已公开代码版本与纸面证明，但没有声称无关联数学专家已完成审查。