Chudnovsky × ChatGPT 扩展对数值无理性指数界：62 项结果的 Lean 端点核查明确区分条件依赖

Gregory V. Chudnovsky 于 10 月 20 日向 arXiv 首次公开提交与 ChatGPT 联合完成的数论研究：在 OpenAI 2026 年 9 月 π 无理性指数工作的行列式与插值方法基础上，处理代数参数对数、共轭匹配、独立有理对数商的上界（三的指数上界）以及分级 Padé 逼近。论文说明先前 Liu–Jiang–Zhang 已获得部分对数值结论，因此不独占旧成果优先权。附带 Lean 源码和复现说明；62 项编号结果中有 53 项为直接端点或组合检查、另 9 项应用依赖具名经典数学定理作为输入，不能称整个手稿及所有底层定理均被独立完整形式验证。