AxiomProver 将 Dedekind zeta 零点自由半平面从 1−1/6000 强化到 31/32，并加入 Hecke corollary

Axiom Math 的 DedekindZetaZeroFree 仓库在 10 月 13 日 09:09 UTC 提交 `improve zero-free bound to 31/32`，把前一日公开的 Re(s)>1−1/6000 强化为：对任意 number field K，Dedekind zeta function ζ_K(s) 在 Re(s)>31/32 中无零点；10:10 UTC 又加入 finite-order Hecke character 的同半平面 corollary。Dean Cureton 与 Jesse Thorner 负责研究方向与数学判断，AxiomProver 生成证明和 Lean formalization。形式化的 Challenge 接口只导入 Mathlib，但完整 proof development 还依赖 Tau Ceti、vendored FiniteAbelianGlobalReciprocityv2，并适配了 LeanPool / openai-math 的材料；最终主结果的 proof dependency audit 仅出现 propext、Quot.sound、Classical.choice。