概述：《π 的无理性指数等于 2》（OpenAI 数学手稿集 · 结果族 017）

性质说明：本文是 AI 助手（Claude）撰写的导读性概述，不是原论文，也不是同行评审意见。概述者通读了论文全文，但没有逐行核验证明，也没有运行其 Lean 形式化。下文所说的“证明”“形式化”都只是转述原作者的说法。

• 原文：The irrationality exponent of π is 2，OpenAI，2026 年 9 月 24 日版，共 23 页
• 来源：GitHub 仓库 openai/math，路径为 preprints/The-irrationality-exponent-of-pi-is-2-September-24-2026/paper.pdf（Apache-2.0 许可）
• 作者说明：仓库 README 称，手稿由一个未公开的 OpenAI 内部模型生成。截至 2026-10-08，目录共收 719 篇手稿，分为 372 个结果族。
• 查阅日期：2026-10-08

1. 问题是什么

实数 $x$ 的无理性指数 $\mu(x)$ 衡量有理数能把 $x$ 逼近到多近。它的定义是：使不等式 $$0<\left|x-\frac{p}{q}\right|<q^{-\nu}$$ 有无穷多组解的 $\nu$ 的上确界。由鸽笼原理，任何无理数都满足 $\mu(x)\ge 2$；几乎所有实数的无理性指数都恰好等于 2。人们普遍猜测 $\mu(\pi)=2$（Waldschmidt 在 Open Diophantine Problems 中有记载），但已知的上界一直离 2 很远：

2. 论文声称的结果

定理 1.1。 $\mu(\pi)=2$。更具体地说，对每个 $\nu>2$，存在 $Q(\nu)$，使得对所有整数 $p$ 和所有 $q\ge Q(\nu)$，都有 $|\pi-p/q|\ge q^{-\nu}$。

需要注意两点：

• 这个结论是不可计算（ineffective）的：论证只说明 $Q(\nu)$ 存在，不给出它的具体数值。
• 指数等于 2 比“$|\pi-p/q|\ge c/q^2$”（等价于 π 的连分数部分商有界）要弱。论文没有声称后者。

推论 1.2（Flint–Hills 级数）。 级数 $\sum_{n\ge1}\dfrac{1}{n^3\sin^2 n}$ 收敛，其中角度以弧度计。此前 Alekseyev 证明，收敛需要 $\mu(\pi)\le 5/2$；Meiburg 证明 $\mu(\pi)<5/2$ 就足以保证收敛。定理 1.1 满足后一个条件。

推论 5.2（推广）。 对 $a,b>0$，级数 $\sum n^{-a}|\sin n|^{-b}$ 收敛当且仅当 $a>\max\{1,b\}$。

3. 证明思路

整体框架是插值行列式（Laurent），加上类似 Roth 定理中“多个相互分离的逼近分母”的思想。证明用反证法：固定 $\nu>2$，假设存在无穷多个满足 $|\pi-p/q|\le q^{-\nu}$ 的好逼近。

1. 取样。 依次挑出 $m$ 个好逼近 $p_i/q_i$，令权重 $w_i=\lceil\log q_i\rceil$，中心 $c_{ji}=2\mathrm{i}\,j\,p_i/q_i$。这些中心近似于指数函数的周期 $2\pi\mathrm{i}\,j$，因为 $e^{2\pi \mathrm{i} j}=1$。
2. 分离权插值定理（第 2 节）。 考虑变量 $Y,X_1,\dots,X_m$ 的多项式，并按加权次数截断。论文证明：沿对数曲线 $Y=1+t,\ X_i=c_{ji}+u_i+\log(1+t)$，在 $K$ 个中心处，可以同时实现任意指定的 Taylor 系数包（jet）。关键在于各权重的下界不依赖中心的位置，因此“先定权重、再挑逼近”不会循环论证。证明分三层：
   • 局部加权重数比较（引理 2.2）；
   • 曲线不等式（命题 2.3），其中用对数微分 $dY/Y$ 的留数非零、而恰当微分的留数为零来排除障碍；
   • 在普通爆破上利用 nef、ample 和 Serre 消没定理，把曲线上的正性提升为满射。
3. 算术下界（引理 3.1）。 插值给出一个非零方阵子式 $\Delta_H$。清掉分母后，它是一个非零的高斯整数，因此模长至少为 1。由此得到 $\log|\Delta_H|$ 的下界。
4. 解析上界（引理 3.2–3.3，命题 3.4）。 把各行平移到精确周期 $2\pi \mathrm{i}\,j$ 处展开。展开的每一项二者必居其一：
   • 许多行的横向指标较小，那么在同一组内，重复的 Taylor 次数会使行列式项相消，带来二次节省 $c\sum_a n_a^2$；
   • 许多行的横向指标较大，那么这些行携带逼近误差 $q_i^{-\nu}$ 的幂次。
   两种情形都会使 $|\Delta_H|$ 很小。
5. 选参数（第 4 节）。 取 $K=\lfloor C^m\rfloor$、$w_0=B^{-m}$ 等。当维数 $m\to\infty$ 时，“碰撞节省”$L\sim(B/A)^m/(2(m+1))$ 趋于无穷，而所有误差项趋于零。于是上界和下界矛盾。参数的选取顺序是关键：先固定维数，再挑逼近，最后令多项式次数 $H\to\infty$。

第 5 节用一个简短的二进分块间距论证，从 $\mu(\pi)<5/2$ 推出 Flint–Hills 级数收敛。

4. 验证状态（据仓库文档）

• 仓库 lean/docs/017.md 称，Lean 形式化覆盖主定理：对每个 $\nu>2$，最终下界成立，并且给出了上确界的刻画。对应的比对陈述文件是 lean/ComparatorChallenges/PiExponent.lean。
• Flint–Hills 推论不在形式化范围内。
• 仓库还附有该结果的推理过程摘要（reasoning_traces/irrationality-exponent-of-pi.pdf）。据摘要，模型先尝试证明一个低于 5/2 的上界（摘要中提到 62/25），用来解决 Flint–Hills 问题；随后以插值行列式技术为起点，转向指数恰好为 2 的结论。
• 本概述者没有运行 Lean 检查，也无法确认形式化陈述与论文陈述是否逐字对应。

5. 读者可关注的问题

• 第 2 节的插值定理是全文最新、也最重的部分，特别是加权重数引理 2.2 和曲线不等式 2.3。它用到代数几何中的爆破与正性理论，值得专家重点审阅。
• 这个方法看起来不依赖 π 的特殊积分表示，只用到 $e^{2\pi \mathrm i}=1$ 这一周期性。它对其他对数周期是否同样适用，是自然的追问。
• 结论不可计算：它说明 $\mu(\pi)=2$，但没有给出显式常数。
• 论文脚注指出 Carella 的一个相关证明中存在符号错误。论文明确说，没有使用 Carella 或 Mantzakouras–López Zapata 的结论。

本概述由 AI 撰写，仅作导读。引用请以原文为准。若发现转述错误，欢迎指出。