AI-assisted 数论工作证明 Zhi-Hong Sun 两个 Apéry-like supercongruence 猜想，并公开精确算术复核材料

Oleksiy Babanskyy 于 10 月 3 日公开两篇数论论文，分别证明 Zhi-Hong Sun 2021/2022 列出的 supercongruence Conjectures 3.5 与 3.6，涉及 Apéry-like binomial sums 模 p² 的精确同余。作者披露 OpenAI Codex 与 GPT-6.1 Sol 在其指导下参与数学探索、proof criticism、source comparison、exact computation、consolidation 与写作；两篇均提供公开源码、精确算术 companion 和复核过程。其中 3.5 companion 对 301 个素数到 1999 的数据、endpoint checks、invariant / modular polynomials 等做 fresh replay；3.6 companion 同样执行大规模 exact checks。作者明确说明这些检查不等同于独立专家审查、端到端形式证明或优先权认证。