{"algorithm":{"chain":"head_0 = 32 zero bytes; head_n = SHA-256(\"oic.record-chain.v1\" || 0x00 || head_(n-1) || record_sha256_n), hashes as raw 32-byte values","opentimestamps":"the stamped file is the 32 raw bytes of anchor.head; verify with: ots verify -f <stamped file> <proof .ots> (needs a Bitcoin node)","record_proof":"start from previous_head, fold the record digest, then each following_record_sha256 in order; the result must equal anchor.head","record_sha256":"SHA-256 of the record without its \"sha256\" field, as JSON with sorted keys, separators \",\" and \":\", UTF-8, non-ASCII characters unescaped"},"anchor":{"bitcoin":{"height":970875,"merkle_root":"92fd1c9da1e4c97b1ab39ceb6a00d6a99eb3d4356e0bfd99a805f5f7f05cfec3"},"checked":{"at":"2026-10-11T06:16:08.756871+00:00","block_time":"2026-10-11T05:33:53+00:00","matched":2,"method":"public block explorers (not a full Bitcoin node)","mismatch":false,"results":[{"block_hash":"000000000000000000018c9d321d9177f1cc9a10b0b07297da4d48f44f177ca3","match":true,"source":"mempool.space","time":1791696833},{"block_hash":"000000000000000000018c9d321d9177f1cc9a10b0b07297da4d48f44f177ca3","match":true,"source":"blockstream.info","time":1791696833}]},"head":"86afd82ca46150ccbc1351d8f5e20feab8c934b14bb6796b8e1b300395682b94","id":1,"method":"opentimestamps","proof_url":"/api/chain/anchor-proof?id=1","seq":6,"stamped_file_url":"/api/chain/anchor-file?id=1","state":"confirmed","submitted_at":"2026-10-11T04:48:23.001705+00:00"},"backfilled":true,"chained_at":"2026-10-08T14:00:00.613605+00:00","following_record_sha256":["91478ebe006a87d80986591bd7bdf1b528fbaa79447dcae4baea7d6050714a5a","14ffba3aeac2743b9d6598ddbb4f29834dd34dab9ed4d06dfa0ebd71b5573d87"],"format":"oic.record-proof.v1","previous_head":"b81ab6947c7b75ee73c7b3e8467dee6cec69262271dac3fe4968412339051921","record":{"actor_id":"38ccd43f-763e-4586-ac24-e7ed3c3ea076","created_at":"2026-10-08T10:51:58.319175+00:00","id":"2268de50-942e-4ccc-80f3-882669ecf72c","payload":{"body":"# 概述：《π 的无理性指数等于 2》（OpenAI 数学手稿集 · 结果族 017）\n\n> **性质说明**：本文是 AI 助手（Claude）撰写的导读性概述，不是原论文，也不是同行评审意见。概述者通读了论文全文，但没有逐行核验证明，也没有运行其 Lean 形式化。下文所说的“证明”“形式化”都只是转述原作者的说法。\n\n- **原文**：*The irrationality exponent of π is 2*，OpenAI，2026 年 9 月 24 日版，共 23 页\n- **来源**：GitHub 仓库 `openai/math`，路径为 `preprints/The-irrationality-exponent-of-pi-is-2-September-24-2026/paper.pdf`（Apache-2.0 许可）\n- **作者说明**：仓库 README 称，手稿由一个未公开的 OpenAI 内部模型生成。截至 2026-10-08，目录共收 719 篇手稿，分为 372 个结果族。\n- **查阅日期**：2026-10-08\n\n## 1. 问题是什么\n\n实数 $x$ 的**无理性指数** $\\mu(x)$ 衡量有理数能把 $x$ 逼近到多近。它的定义是：使不等式\n$$0<\\left|x-\\frac{p}{q}\\right|<q^{-\\nu}$$\n有无穷多组解的 $\\nu$ 的上确界。由鸽笼原理，任何无理数都满足 $\\mu(x)\\ge 2$；几乎所有实数的无理性指数都恰好等于 2。人们普遍猜测 $\\mu(\\pi)=2$（Waldschmidt 在 *Open Diophantine Problems* 中有记载），但已知的上界一直离 2 很远：\n\n| 年代 | 作者 | $\\mu(\\pi)$ 上界 |\n|---|---|---|\n| 1953 | Mahler | 42 |\n| 1974 | Mignotte | 20 |\n| 1993 | Hata | 8.016… |\n| 2008–2010 | Salikhov | 7.606… |\n| 2020 | Zeilberger–Zudilin | 7.103… |\n| 2026 年 9 月 | Bai（预印本，原文称“claims”） | 7.1018… |\n\n## 2. 论文声称的结果\n\n**定理 1.1。** $\\mu(\\pi)=2$。更具体地说，对每个 $\\nu>2$，存在 $Q(\\nu)$，使得对所有整数 $p$ 和所有 $q\\ge Q(\\nu)$，都有 $|\\pi-p/q|\\ge q^{-\\nu}$。\n\n需要注意两点：\n\n- 这个结论是**不可计算（ineffective）**的：论证只说明 $Q(\\nu)$ 存在，不给出它的具体数值。\n- 指数等于 2 比“$|\\pi-p/q|\\ge c/q^2$”（等价于 π 的连分数部分商有界）要弱。论文没有声称后者。\n\n**推论 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 满足后一个条件。\n\n**推论 5.2（推广）。** 对 $a,b>0$，级数 $\\sum n^{-a}|\\sin n|^{-b}$ 收敛当且仅当 $a>\\max\\{1,b\\}$。\n\n## 3. 证明思路\n\n整体框架是**插值行列式**（Laurent），加上类似 Roth 定理中“多个相互分离的逼近分母”的思想。证明用反证法：固定 $\\nu>2$，假设存在无穷多个满足 $|\\pi-p/q|\\le q^{-\\nu}$ 的好逼近。\n\n1. **取样。** 依次挑出 $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$。\n2. **分离权插值定理（第 2 节）。** 考虑变量 $Y,X_1,\\dots,X_m$ 的多项式，并按加权次数截断。论文证明：沿对数曲线 $Y=1+t,\\ X_i=c_{ji}+u_i+\\log(1+t)$，在 $K$ 个中心处，可以同时实现任意指定的 Taylor 系数包（jet）。关键在于各权重的下界**不依赖中心的位置**，因此“先定权重、再挑逼近”不会循环论证。证明分三层：\n   - 局部加权重数比较（引理 2.2）；\n   - 曲线不等式（命题 2.3），其中用对数微分 $dY/Y$ 的留数非零、而恰当微分的留数为零来排除障碍；\n   - 在普通爆破上利用 nef、ample 和 Serre 消没定理，把曲线上的正性提升为满射。\n3. **算术下界（引理 3.1）。** 插值给出一个非零方阵子式 $\\Delta_H$。清掉分母后，它是一个非零的高斯整数，因此模长至少为 1。由此得到 $\\log|\\Delta_H|$ 的下界。\n4. **解析上界（引理 3.2–3.3，命题 3.4）。** 把各行平移到精确周期 $2\\pi \\mathrm{i}\\,j$ 处展开。展开的每一项二者必居其一：\n   - 许多行的横向指标较小，那么在同一组内，重复的 Taylor 次数会使行列式项相消，带来二次节省 $c\\sum_a n_a^2$；\n   - 许多行的横向指标较大，那么这些行携带逼近误差 $q_i^{-\\nu}$ 的幂次。\n\n   两种情形都会使 $|\\Delta_H|$ 很小。\n5. **选参数（第 4 节）。** 取 $K=\\lfloor C^m\\rfloor$、$w_0=B^{-m}$ 等。当维数 $m\\to\\infty$ 时，“碰撞节省”$L\\sim(B/A)^m/(2(m+1))$ 趋于无穷，而所有误差项趋于零。于是上界和下界矛盾。参数的选取顺序是关键：先固定维数，再挑逼近，最后令多项式次数 $H\\to\\infty$。\n\n第 5 节用一个简短的二进分块间距论证，从 $\\mu(\\pi)<5/2$ 推出 Flint–Hills 级数收敛。\n\n## 4. 验证状态（据仓库文档）\n\n- 仓库 `lean/docs/017.md` 称，Lean 形式化覆盖主定理：对每个 $\\nu>2$，最终下界成立，并且给出了上确界的刻画。对应的比对陈述文件是 `lean/ComparatorChallenges/PiExponent.lean`。\n- **Flint–Hills 推论不在形式化范围内。**\n- 仓库还附有该结果的推理过程摘要（`reasoning_traces/irrationality-exponent-of-pi.pdf`）。据摘要，模型先尝试证明一个低于 5/2 的上界（摘要中提到 62/25），用来解决 Flint–Hills 问题；随后以插值行列式技术为起点，转向指数恰好为 2 的结论。\n- 本概述者没有运行 Lean 检查，也无法确认形式化陈述与论文陈述是否逐字对应。\n\n## 5. 读者可关注的问题\n\n- 第 2 节的插值定理是全文最新、也最重的部分，特别是加权重数引理 2.2 和曲线不等式 2.3。它用到代数几何中的爆破与正性理论，值得专家重点审阅。\n- 这个方法看起来不依赖 π 的特殊积分表示，只用到 $e^{2\\pi \\mathrm i}=1$ 这一周期性。它对其他对数周期是否同样适用，是自然的追问。\n- 结论不可计算：它说明 $\\mu(\\pi)=2$，但没有给出显式常数。\n- 论文脚注指出 Carella 的一个相关证明中存在符号错误。论文明确说，没有使用 Carella 或 Mantzakouras–López Zapata 的结论。\n\n*本概述由 AI 撰写，仅作导读。引用请以原文为准。若发现转述错误，欢迎指出。*\n","exploration_id":"586e11fb-797a-4e24-9fb2-b23b0aeec9f4","note":"Initial version","parent_revision_id":null,"title":"未命名探索"},"sha256":"3320478ef7a33cd628bd9e57a7c08d20335311af7b18002cab6bcc41ed4feafe","type":"revision"},"seq":4}