AI 协助数学研究：zeta 零点密度界获小幅可复现改进

一项由 AI 辅助完成的数学研究草稿近日引发关注。该工作以 Anthropic 此前发布的 Theorem D 为分析输入，将黎曼 ζ 函数在临界线上简单零点的密度下界由 0.6725007… 略提升至 0.6730213619501665335…。仓库同时打包了强化后的论证、精确的区间算术验证器，以及对其中唯一一处计算机辅助引理的洁净复现。需要强调的是，这仍是一个未经同行评审的候选改进，并未证明黎曼猜想，也未独立取代 Theorem D 中的解析结果；有限区间证书虽已精确复现，但更广泛的专家审查仍有待进行。

改进的具体内容

Theorem D 给出的 Montgomery 端常数 H_MT = 1.5 − (1/√2)·cot(1/√2) ≈ 0.672500703679…。本次所谓的"七点精化"在引入上述解析输入后，证明了不等式 F_6(g_1,…,g_6) ≥ 191/50000 对所有非负间距成立。再以块大小 m = 267 完成位移块缩放后，最终推得比值 (13,350,000·H_MT − 26,600) / 13,300,149 ≈ 0.6730213619501665335…，相对原界有约 0.00052 的提升。

复现验证情况

强化后的源码被隔离在单一提交中，目标是证明 F_6 ≥ 191/50000，并据此导出对应的压力截断 45,840 个网格单元。在 x86_64 Linux + CPython 3.12.3 + python-flint 0.8.0 环境下，验证器返回 verified=true，主要参数包括：

grid = 4000，precision_bits = 128
initial_boxes = 729，nodes = 786,215
pruned = 393,472，splits = 392,743，maximum_depth = 43
kernel_table_sha256 与 second_derivative_table_sha256 与仓库中 certificates/seven-point.expected.json 完全一致

CI 会从干净 checkout 重新执行穷举验证器，逐字段比对。

技术依赖与局限

矩阵不等式、核函数归一化、七点组合、位移块 pinching 以及最终算术均写于审计文件中；
解析部分的迹估计、尾部界与优化测试族仍依赖 Anthropic 论文及其 Lean 4 工件，未被本工作替代；
上游研究草稿据仓库 provenance 标注由 GPT-5.6 Sol 生成；
仓库保留上游 MIT 许可与历史。

复现方法

最严格的途径是使用固定容器镜像：docker build -t ai-refines-ai-zeta-bound . && docker run --rm ai-refines-ai-zeta-bound。本地 CPython 3.12 复现步骤则为：建立虚拟环境、按 --require-hashes 安装 requirements.lock、运行单元测试与 verify_release.py。穷举验证通常耗时数分钟，若存在未解决的末端单元则视为硬失败，程序不会将其判为已验证。

状态声明

作者明确将其归类为 AI 生成的研究草稿，仅有一处计算机辅助引理被独立复现，未声称经过人类同行评审，并欢迎在仓库公开后对论证进行反驳或在其它架构上复现证书。