AI 中文总结
该注记通过精确计算指出arXiv:2609.04176中卡塔兰常数无理性证明的推导存在缺陷，其界方法在测试参数下失效，主定理证明不完整。
AI 中文摘要
预印本 arXiv:2609.04176（孙智伟，2026年9月3日）声称证明了卡塔兰常数 $G$ 是无理数：它针对每个 $B$ 从级数的加权尾部构造一个数 $\hat q_B$，并断言若 $G=a/q$，则整数 $N_B=q^S H_B^{\min}\hat q_B$ 在 $B$ 较大时满足 $0<|N_B|<1$（其定理9.1）。我们报告四个精确计算。第一，秩定理（定理2.1）的印刷证明中携带 $T_i$，而其自身递推要求 $T_{i+1}$；该笔误可修复，且该陈述在 $S\le 4$、$B\le 30$ 的44个参数对处被精确验证。第二，按照论文的定义和最坏情形分母（在显式有理数 $a/q$ 处取得），定理9.1推导所控制的量的下界在 $20\le B\le 119$ 的十八个指标处等于 $+1.49$ 至 $+1.79\\,B^2$，而推导声称至多 $-0.00966\\,B^2+o(B^2)$。第三，论文自身的分母界（推论5.2）在每个测试实例中成立且几乎精确，因此差异位于第6至9节的渐近账目。第四，一个精确恒等式定位了差异：素数2对该量贡献 $v_2(F_D)\log 2=(2\log 2+o(1))B^2$，因为在2处的正部分消失，而 $|\hat q_B|$ 携带 $F_D$ 中2的完整幂；账目中没有任何显示项携带此阶的项，且注记9.3将其归于奇素数常数 $c_{\rm odd}=0.006$ 的推导而未展示如何推导。在测试参数处，奇素数层与论文常数在约 $0.1\\,B^2$ 内一致，差异的其余部分等于那些指标处残余小项的大小。这些计算测试了论文的界方法（该方法在 $(a,q)$ 上一致）；它们表明已发表的推导不能证明所声称的估计，因此主定理的证明不完整。关于 $G$ 的无理性未得出任何结论。
英文摘要
The preprint arXiv:2609.04176 (Z.-W. Sun, 3 September 2026) claims a proof that Catalan's constant $G$ is irrational: it constructs for each $B$ a number $\hat q_B$ from weighted tails of the series and asserts that, if $G=a/q$, the integer $N_B=q^S H_B^{\min}\hat q_B$ satisfies $0<|N_B|<1$ for large $B$ (its Theorem 9.1). We report four exact computations. First, the printed proof of the rank theorem (Theorem 2.1) carries $T_i$ where its own recurrence requires $T_{i+1}$; the slip is repairable, and the statement is verified exactly at 44 parameter pairs with $S\le 4$, $B\le 30$. Second, with the paper's definitions and the worst-case denominator, attained at an explicit rational $a/q$, a lower bound for the quantity the derivation of Theorem 9.1 controls equals $+1.49$ to $+1.79\,B^2$ at eighteen indices $20\le B\le 119$, where the derivation claims at most $-0.00966\,B^2+o(B^2)$. Third, the paper's own denominator bound (Corollary 5.2) holds in every tested instance and is nearly sharp, so the discrepancy lies in the asymptotic ledger of Sections 6-9. Fourth, an exact identity locates it: the prime 2 contributes $v_2(F_D)\log 2=(2\log 2+o(1))B^2$ to the quantity, because the positive part at 2 vanishes while $|\hat q_B|$ carries the full power of 2 in $F_D$; no display in the ledger carries a term of this order, and Remark 9.3 assigns it to the derivation of the odd-prime constant $c_{\rm odd}=0.006$ without showing how. At the tested parameters the odd-prime layers agree with the paper's constants to within about $0.1\,B^2$, and the remainder of the discrepancy is the size of the residual minor at those indices. These computations test the paper's bounding method, which is uniform in $(a,q)$; they show that the published derivation does not justify the claimed estimate, so the proof of the main theorem is incomplete. Nothing is concluded about the irrationality of $G$.
Comments8 pages, 3 tables. Comment on arXiv:2609.04176v1. Ancillary files contain all scripts and generated outputs (Python 3, mpmath)
