Claude Opus 5.5 生成两项 Legendre χ₂ 值无理性证明，并报告 Lean 4 全链路核验

Shawn Krisman 于 10 月 20 日在 Hexagon 发布由 Claude Code / Claude Opus 5.5 主导撰写与形式化的数论研究，主张 Legendre chi 函数 χ₂(1/3)、χ₂(1/5) 均无理。核心使用 Hankel 行列式、素数逐项分母界、离散 log-gas 大小估计与模辅助素数非消失条件。提交者声称将所需素数定理和数值证书也在 Lean 4 / Mathlib 内闭合、仅使用标准公理；Hexagon 标注 human understanding 为 no parts。Radar 未独立编译源码或审查 informal/formal statement correspondence，不将提交者的 kernel-checked 声明等同独立数学认可。