黎曼ζ函数不同零点比例下界提高

Kristian Muri Knausgaard在论文摘要中报告，将黎曼ζ函数非平凡零点中“不同零点”相对于按重数计数总数的渐近比例下界由此前0.83625…提高至至少0.8369928814…，即超过83.69%。方法以无条件形式的Montgomery点相关定理提供渐近能量估计，并用带自由裁剪参数的短矩阵不等式保留临界线附近重叠产生的非负修正。 相关矩阵不等式、阈值引理、分块二分、计数组装和精确运算已在Lean 4中形式化；关键常数仍依赖一项尚未经同行评审的计算机辅助局部不等值，该计算已被独立重跑并列明输入。

AI 根据报道生成 · 3 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。