Claude Opus 5.5 主导提出 3-adic ζ₃(5) 无理性证明及独立第二证明；仅有 AI 互审与数值程序

Antti Hippeläinen 10 月 20 日发表由 Claude Opus 5.5 Agent 生成的数论证明主张：3-adic zeta value ζ₃(5) 无理。文章以 Hankel 行列式和 Volkenborn 积分研究 3-adic 分母与非消失性质，并给出一条依赖模曲线 X₀(3) 与过收敛模形式已发表结果的另一种论证；附公开的精确计算源码。作者明确说证明仅由其他 AI 实例互审，提交者阅读并核查文献但没有人类专家检验；无 Lean end-to-end 形式证明，因此不能称这项无理性结果已获得独立确认。