无穷的鸿沟
验证是一个个数，证明要一网打尽。见过的天鹅都是白的，也证不出「天鹅全白」。
素数深处的
一条直线
所有素数的乱象背后，可能藏着一条完美的直线。167 年过去，仍没有人能证明它。
// 黎曼猜想 · 零数学门槛的视觉讲解 · 全程看图
1859 · B. RIEMANN
HILBERT PROBLEM Nº8
MILLENNIUM PRIZE · $1M
10¹³ ZEROS CHECKED
CLAUDE 67.2% · 2026-08
0年
悬而未决 · 1859 年黎曼在 8 页论文里随手写下
0万亿+
已逐个验证的非平凡零点 · 无一例外全部站在线上
0万美元
克雷研究所千禧年悬赏 · 2000 年挂出至今
0%
2026-08 · Claude 把「确证在线上的零点比例」推到的新下界
SCROLL / 向下滚动
01
The Atoms of Numbers
素数：数字世界的原子
素数只能被 1 和自己整除，是拼出一切数字的砖块。它们何时出现毫无规律——但整体走势又惊人地守纪律。
1 到 60 里，素数亮在哪
发光 = 素数 · 其余 = 可拆分的合数
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960
// 间隔忽近忽远：2 和 3 挨着，23 到 29 隔了 5 步 —— 没有任何简单公式能报出「下一个」
乱中有律：素数计数的台阶
横轴 = 数到多少 · 纵轴 = 已遇到几个素数 · x ≤ 100
// 黎曼猜想的另一种说法：台阶与曲线的偏差永远被死死压住 —— 素数看着野，其实被管得很紧
02
Riemann's Detector
黎曼造了一台「素数探测器」
1859 年，黎曼把素数问题变成一张地图：给地图上每个点算出一个「海拔」。海拔恰好为零的位置，就叫零点。本页此后说的都是「非平凡零点」——另有一组规律排列、位置早已算清的平凡零点，不在讨论范围。
01 · 输入在地图上取一点任意坐标都行
02 · 机器ζ「探测器」运转黎曼的公式，内部烧着全部素数
03 · 输出报出一个海拔海拔 = 0 的点 → 零点
ζ 地形图：十二条山脉切片
横轴 = 沿地图向北的距离 T · 前 10 个零点位置为真实值 · 山形为示意
// 如果猜想成立，十二条切片里就只有发光那条会一次次触到海平面 —— 每个触点是一个零点 · 位置 T ≈ 14.13、21.02、25.01…
为什么零点重要
这台探测器的燃料就是全部素数——所以零点的位置，反过来记录着素数的全部秘密。找到全部零点的规律，等于拿到素数的总账本。
03
The Conjecture Itself
所有非平凡零点，站在同一条线上
把地图切换成俯视：零点一个个亮起，全部落在同一条中线上。黎曼猜想只有一句话——永远如此，无一例外。
零点航拍图
前 10 个零点 · 位置为真实值 · 绿带 = 零点唯一可能出没的「临界带」
// 「零点只会落在临界带内」已被证明 · 猜想要求的是更狠的一步：全部压在正中线上
黎曼本人怎么说
他在论文里写：这一点「很可能成立」，但几次尝试无果后「暂且搁置」——这一搁，就是 167 年。
04
The Music of the Primes
每个零点，都是一支音叉
零点不是抽象装饰：每一个都对应一列波浪。把这些波浪逐支叠加，素数的台阶就从一片平滑中浮现出来。
前三个零点的「音色」
每列波 = 一个零点的真实贡献 · 由黎曼显式公式算出
叠加：波浪长出台阶
纵轴 = ψ(x)：素数按 log p 加权计数，不是素数个数 · x ≤ 50 · 用真实零点按显式公式重建
// 叠的音叉越多，波浪贴台阶越紧 —— 零点携带了素数的全部信息 · 猜想成立 = 这支乐队永远不跑调
05
Why 167 Years
十万亿个证据，仍然不算证明
计算机已逐个检查了 10 万亿级别的零点，无一例外。但猜想说的是「无穷多个、全部如此」——检查永远追不上无穷。
已验证 vs 猜想要求
系统性逐个验证口径 · Gourdon 2004 达 10¹³ · 更高区域为抽样核验
// 规则残酷在一票否决：未来只要有一个零点偏离直线，整个猜想立即作废 —— 验证再多，只涨信心，不涨证明
两副面孔
素数局部像抛硬币一样随机，整体又极守纪律。工具必须同时驯服两种脾气。
工具还没被发明
一百多年最强的攻击也只啃下「比例」。多数专家判断：需要一门全新的数学。
06
Hilbert's Long Sleep
睡五百年，醒来只问一件事
1900 年，希尔伯特给整个二十世纪的数学出了 23 道题。一百二十多年过去，真正原地未动的，几乎只剩 8 号。
「如果我沉睡五百年后醒来，我要问的第一个问题就是：黎曼猜想证明了吗？」
// 相传出自希尔伯特 · 流传版本有五百年 / 一千年之说 · 他 1943 年去世——「睡」到今天才 83 年，答案仍是「没有」
23 道世纪之题的现状
通俗口径 · 个别问题「算不算已了结」学界存分歧 · 悬停查看题目
1已了结
2已了结
3已了结
4部分
5已了结
6部分
7已了结
8黎曼在此
9已了结
10已了结
11已了结
12部分
13已了结
14已了结
15已了结
16部分
17已了结
18已了结
19已了结
20已了结
21已了结
22已了结
23部分
已了结 · 17
部分推进 / 表述开放 · 5
核心悬而未决 · 1（就是它）
// 8 号问题打包了素数三大悬案：黎曼猜想 + 哥德巴赫猜想 + 孪生素数猜想 —— 三者共用素数分布这套工具，但互不蕴含，证出一个不等于证出另两个
07
Why It Matters
证明它，世界会怎样
先破除误解：你的银行密码不会因此被破解。真正的影响是——数学大厦里几百层「预支的楼层」一夜转正。
黎曼猜想牵着谁
依赖关系 · 流光方向 = 影响输出
// 物理这条线是 1972 年的著名巧遇：零点间距的统计规律，与重原子核能级几乎一模一样 —— 至今无人知道为什么
加密不受威胁
猜想讲的是素数「怎么分布」，不帮任何人「分解大数」。证明它，银行反而多一层理论地基。
数百条定理在等它
数学家等不及，先把它当公理预支使用。证明 = 集体转正；证伪 = 集体退回待证状态。
08
What It Means for Akke
不改一行代码，但同构我们的日常
Akke 用不上 ζ 函数。但「在海量噪声里找稀有信号」这门手艺，黎曼世界与获客世界的纪律完全同构。
| 黎曼的世界 | Akke 的世界 | 共同纪律 |
|---|---|---|
| 自然数海洋里散落的素数 | 全网评论流里散落的高意向线索，每天数以百计 | 稀有信号检测 |
| 局部随机，整体有分布律 | 单条评论难料，热信号 + 时段规律可捕捉 | 建模「乱中之律」 |
| 验证 10¹³ 个零点 ≠ 证明 | 「跑了 N 天没出错」≠ 系统正确——要 env + 代码 + 流量三方对齐 | 验证 ≠ 证明 |
| 一个线外零点 = 全盘崩塌 | 一次串数据 = 信任归零——所以用数据库级隔离把这类反例做成结构上不可能 | 用结构消灭反例 |
设计取向
素数没有捷径公式，Akke 也不赌「万能话术」——两边都靠分布规律 + 逐条验证吃饭。数字口径：2026-06 触达测绘。
09
Claude vs Riemann · 2026-08
一天半，推平半个世纪只挪了 6.9 个点的墙
2026 年 8 月，Anthropic 让一个未发布研究版 Claude 正面强攻黎曼猜想。没攻下——却把一道相关防线从 41.6% 推到 67.2%。
「至少多大比例的零点确实在线上」——下界的百年爬坡
已证明比例 % · 前史：1859 提出 → 1914 Hardy 证线上有无穷多个 → 1942 Selberg 首个正比例 · 口径 Anthropic 2026-08
// 此前 46 年人类总共推进 +6.9 个百分点；这一步 +25.6，约等于 3.7 倍 · 结果已做 Lean 形式化，并由外部专家 Conrey、Goldston 应邀审阅
0个
Claude 子 agent 协同作战 · 跑在 Claude Code 里
0M
输出 token · 两个会话合计 · 第二阶段约 36 小时
0个
第一阶段阵亡的想法 · 全军覆没后才转向
0条
shell 命令 · 数千次对照真实零点的数值检验
目标正面进攻黎曼猜想——明知大概率失败，也照打
阵亡650 个想法全部失败——但每次失败都在收窄地图
转向盯上可推进的相关问题：至少多大比例的零点在线上
洞察把线上、线外零点放进同一个几何空间统一处理——旧方法一直分开算
校验数千次对照已知零点的数值检验，边算边纠偏
铁证结果出来后，再与人合作把它写成 Lean 形式化证明——机器逐行核验，不容含糊（已开源
anthropics/zeta-23-lean）终审Anthropic 内部数学家验证；外部数论专家 Conrey、Goldston 应邀审阅了论文
别过度解读
这不是黎曼猜想的证明；Anthropic 明说不指望此路通向完整证明；结果尚未走完传统期刊评审，所用模型未公开发布。它证明的是另一件事：AI 已能在真实数学前沿产出可验证的新结果。
10
Playbook for Us
这场胜仗，我们能抄的六个动作
从 31M token 的豪赌里，能拆出一套我们天天用 Claude 就能落地的打法——每一条都对得上手里现有的工具。
验证器在环：这一仗真正的架构
GENERATE → VERIFY → HUMAN 三层闸 · 与我们的 CI / 证据链门禁同构
敢给够不着的目标
让 Claude 攻主峰，副产品才是落袋的战利品。67.2% 就是强攻失败的副产品。
让失败变便宜
650 个死想法是预算内成本。多路并行、快速证伪——对应我们的 Workflow 扇出。
验证器不可被说服
产出必须过编译器、测试、证据链闸——裁判要确定性的，不能是另一个 LLM 点头。
卡住就换表征
突破来自「换一个空间看问题」，不是重试同一条路。多让 Claude 重述问题本身。
人类终审不省
Lean 都过了，Anthropic 还是请了 Conrey。我们高危路径的人工 ack，同理永远保留。
算力当显微镜用
31M token 换来半世纪来最大单步。探索型任务值得开长跑，别用聊天心态省预算。
对应到我们手上的工具
多路并行 = Workflow 扇出 · 对抗证伪 = challenge · 确定性裁判 = CI + 三方验证 + 证据链门禁 · 终审 = 高危路径人工 ack。这套架构我们已经有了——缺的只是「敢给大目标」。