每个点是一道题（一个结果族），按目录顺序落到对应学科和奖项档位。实心点表示主定理已有完整的 Lean 机器证明，空心点只有模型写的文字证明。点任意一个点可以看详情。
横条是奖金，按对数刻度画（每格差 10 倍）。颜色对应动画里的档位。点开一道题时，和它对应的奖项会高亮。数学奖的奖金普遍不高，菲尔兹奖只有约 1.1 万美元，真正的价值在名声和职业。
每道题按所在档位的代表奖项计一次奖金。菲尔兹奖级那 68 道分两种算法：按菲尔兹奖本身，或按奖金最高的突破奖。
| 档位 | 题数 | 单价 | 方案 A | 方案 B | 实际可领 |
|---|---|---|---|---|---|
| 世纪难题级 | 4 | 千禧年大奖 $100 万（假设每道都算） | $400 万 | $400 万 | $0 |
| 菲尔兹奖级 | 68 | A：菲尔兹奖约 $1.1 万 B：突破奖 $300 万 | $74.8 万 | $2.04 亿 | $0–5,000 |
| 领域大奖级 | 81 | Cole、Veblen 等约 $5,000 | $40.5 万 | $40.5 万 | $0 |
| 顶刊论文级 | 219 | 没有奖金 | $0 | $0 | $0 |
| 合计 | 372 | ≈ $515 万 | ≈ $2.08 亿 | ≈ $0–5,000 |
为什么实际几乎是 0：千禧年奖金只给原题本体，#003 不是黎曼猜想本身，#002 不是完整 BSD；希尔伯特问题没有奖金；菲尔兹、突破、Cole 等奖只授予人类，并要求正式发表和同行认可。
另一种看法：68 道菲尔兹奖级的题，大致相当于菲尔兹奖从 1936 年至今颁出的全部奖章数（截至 2022 年共 64 枚，加上 2026 年的 4 枚，2026 届未核实）。所以 $515 万严重低估了它对标的分量。按题累加本身也只是类比，现实中一个人一辈子最多拿一次菲尔兹奖。
分档怎么来的：依据仓库 CONTENTS.md 里的题目名和摘要做的主观估计，看的是“这道题在本领域有多出名、卡了多久”，没有审查证明本身。前两档是逐题手工指定的，第三、四档主要按题目是否为有名的猜想或问题来划分，误差会比较大。
奖项只是类比：菲尔兹奖只授予 40 岁以下的人类数学家，AI 拿不了。这里的意思是“如果一个人单独做出这个结果，大概够得上哪一级的认可”。
奖金数字：为近年公开标准，按我的记忆整理，2026 年可能有调整，未逐项核实；外币按近似汇率折成美元。
正确性未核实：372 个结果族中有 127 个的主定理有完整 Lean 证明，其余尚未经过机器验证，模型也没有公开。数据来源：github.com/openai/math（CONTENTS.md 与 lean/formalization.yaml，2026-10-07 抓取）。