1976
停止时间有限（几乎处处）
Riho Terras
几乎所有正整数都会在有限步内降到起始值以下。
首次以严格数学证明了“几乎处处收敛”方向的定量结论，后续被 Vardi 等人进一步精化。
问题定义
什么是冰雹猜想
取任意正整数 n 作为起点，反复执行如下两条规则：
迭代规则
若 n 为偶数
n → n / 2若 n 为奇数
n → 3n + 1猜想（未证明）：无论 n 取什么正整数，最终都必然到达 1（并陷入 4 → 2 → 1 → 4 的循环）。
序列示例
n = 6共 8 步
6 → 3 → 10 → 5 → 16 → 8 → 4 → 2 → 1
n = 27共 111 步，峰值为 9232
27 → 82 → 41 → … → 9232 → … → 1
整个过程得到的序列被称为“冰雹序列”（hailstone sequence）——数值忽升忽降，像冰雹在云层中被气流反复抛起、又不断下坠，最终落回地面。
名称与历史背景
一个被反复“重新发现”的问题
冰雹猜想自 1937 年提出后，通过哈塞、乌拉姆、角谷静夫等数学家在不同机构间口头传播，因此拥有众多别名——每个别名背后都是一段学术轶事。
冰雹猜想
序列忽高忽低，如同冰雹在云层中翻滚，中文世界最常用的称呼。
Collatz 猜想
以 1937 年首次提出问题的德国数学家洛塔尔·科拉茨（Lothar Collatz）命名。
3n+1 问题
最直观的描述性叫法，直接取自迭代规则“奇数乘 3 加 1”。
叙拉古问题
科拉茨的导师赫尔穆特·哈塞（Helmut Hasse）在 1950 年代访问美国锡拉丘兹大学（Syracuse）时宣讲，故得此名。
乌拉姆猜想
波兰数学家斯坦尼斯瓦夫·乌拉姆（Stanisław Ulam）在洛斯阿拉莫斯实验室推广时广为人知。
角谷猜想
日本数学家角谷静夫（Shizuo Kakutani）在耶鲁大学传播，据说“整整一个月，耶鲁的每个人都在研究它，毫无结果”。
研究进展
从 1937 到 2025：近九十年的攻防
理论端与计算端交替推进：一边是陶哲轩等人在“几乎处处”意义上的突破，一边是计算验证把反例排除范围推进到 2^71。
- 1937起源
Collatz 提出猜想
德国数学家洛塔尔·科拉茨（Lothar Collatz, 1910–1990）在汉堡大学攻读博士学位期间提出该迭代问题。问题最初并未公开发表，而是通过口头在数学圈内流传。
- 1950s起源
哈塞与乌拉姆的传播
科拉茨的导师赫尔穆特·哈塞将问题带到美国锡拉丘兹大学，得名“叙拉古问题”；斯坦尼斯瓦夫·乌拉姆在洛斯阿拉莫斯实验室大力推广，得名“乌拉姆猜想”。
- 1960起源
“角谷猜想”
角谷静夫（Shizuo Kakutani）在耶鲁大学传播该问题，据称耶鲁数学系几乎人人尝试而毫无结果，中文世界由此也称“角谷猜想”。
- 1972理论
Conway：广义问题不可判定
约翰·康威（John Conway）证明：在推广的 Collatz 类函数族中，存在不可判定的实例，暗示该问题可能比表面看起来深刻得多。
- 1976理论
Terras：几乎所有数有有限停止时间
里霍·特拉斯（Riho Terras）证明：几乎所有正整数（按自然密度）都会在有限步内降到起始值以下，即“停止时间”有限。
- 1985理论
Lagarias：无短循环
杰弗里·拉加里亚斯（Jeffrey Lagarias）证明：正整数范围内不存在周期长度小于 275,000 的非平凡循环，排除了大量可能的反例形态。
- 1994理论
Korec 的几乎处处估计
伊万·科列茨（Ivan Korec）证明：对几乎所有 n，轨道最小值 ≤ n^θ（其中 θ > log 3 / log 4 ≈ 0.7924）。
- 2007理论
Kurtz & Simon：Π₂ 完全
斯图尔特·库尔茨与亚诺什·西蒙证明：广义 Collatz 问题是不可判定的，并且是 Π₂ 完全问题。这解释了为什么问题的整体求解如此困难。
- 2009验证
计算验证推进到 5.76×10^18
汤姆·奥利维拉·席尔瓦（Tomás Oliveira e Silva）通过大规模分布式计算，将验证范围推进到 2^62.3（约 5.76×10^18），未发现反例。
- 2017验证
分布式验证到 10^20
yoyo@home 分布式计算项目与克里斯蒂安·赫舍尔（Christian Hercher）合作，将验证推进到 10^20（约 2^66.4），仍无反例。
- 2019理论
陶哲轩：几乎处处几乎有界
陶哲轩（Terence Tao）发表《Almost all orbits of the Collatz map attain almost bounded values》（arXiv:1909.03562）：对几乎所有正整数，其轨道最小值可以小于任意缓慢增长的函数值。这被视为数十年来最重大的理论突破。
- 2020验证
Barina：验证到 2^68
大卫·巴里纳（David Barina）开发高度优化的 AVX-512 / CUDA 验证程序，2020 年 5 月 7 日确认所有小于 2^68（约 2.95×10^20）的数均收敛到 1。
- 2021验证
验证到 2^69
2021 年 12 月 10 日，Barina 将验证上界推进到 2^69（约 5.90×10^20）。
- 2023验证
验证到 2^70
2023 年 7 月 9 日验证到 2^70（约 1.18×10^21），同年 11 月 3 日进一步推进到 1.5×2^70（约 1.77×10^21）。
- 2025验证
验证到 2^71
2025 年 1 月 15 日，Barina 确认所有小于 2^71（约 2.36×10^21）的正整数均收敛到 1——这是目前公开的验证最高纪录。
理论成果
已知的最好定理
虽然完整证明仍遥遥无期，但数学家们已经在“几乎处处”与“不存在短循环”等方向上取得了一系列严格结果。
1985
无短循环
Jeffrey Lagarias
正整数范围内不存在周期长度小于 275,000 的非平凡循环。
把“是否存在别的循环”这一反例形态大幅压缩，为计算验证提供了理论支撑。
1972 / 2007
广义问题不可判定
Conway / Kurtz & Simon
推广的 Collatz 类函数族中存在不可判定的实例；广义 Collatz 问题为 Π₂ 完全。
说明问题可能不是“还不够努力”这么简单，而是结构性地横跨了可判定性的边界。
2019
几乎处处几乎有界
Terence Tao
对几乎所有正整数，轨道最小值小于任意缓慢增长函数的值。
突破了 Korec 的指数界，被 Lagarias 称为“多年以来最重要进展”，是理论端最前沿的成果。
计算验证
验证上界的演进
每一次“验证到 N”都意味着：所有小于 N 的正整数都被确认收敛到 1。但验证再多，也只能覆盖有限范围，无法替代证明。
| 时间 | 验证上界 | 约等于 | 研究者 |
|---|---|---|---|
| 2009 | 2^62.3 | ≈ 5.76×10^18 | Oliveira e Silva 分布式验证 |
| 2017 | 10^20 | ≈ 2^66.4 | yoyo@home × Christian Hercher |
| 2020-05 | 2^68 | ≈ 2.95×10^20 | David Barina |
| 2021-12 | 2^69 | ≈ 5.90×10^20 | David Barina |
| 2023-07 | 2^70 | ≈ 1.18×10^21 | David Barina |
| 2023-11 | 1.5 × 2^70 | ≈ 1.77×10^21 | David Barina |
| 2025-01 | 2^71 | ≈ 2.36×10^21 | David Barina（当前纪录） |
以上纪录来自 David Barina 的官方项目页（pcbarina.fit.vutbr.cz）及其 2021 / 2025 年发表于 《The Journal of Supercomputing》的论文。数值均为“所有小于该上界的正整数收敛到 1”。
为什么如此之难规则简单到孩子都能理解，
规则简单到孩子都能理解，
证明却难倒了几代数学家
无法穷尽
计算验证只能覆盖有限范围，而正整数有无穷多个。再大的验证上界，也只是“已知的所有例子都成立”。
反例形态未知
理论上反例可能是别的循环，也可能是无限发散。要证明猜想，必须同时排除这两类可能性。
结构跨越可判定性
Kurtz & Simon 已证明广义 Collatz 问题是 Π₂ 完全、不可判定的，这暗示其结构可能远超常规证明方法所能刻画。
数学还没有准备好面对这类问题。
这是一个极其困难的问题，完全超出了当前数学方法所能触及的范围。
开源资源
值得关注的 GitHub 仓库
从官方验证源码到社区反例搜索，再到可视化工具——以下仓库是围绕冰雹猜想最活跃的开源项目。
xbarin02/collatz
Barina 官方验证程序源码。在两类整数域之间切换迭代，始终使用 ctz（count trailing zeros）指令与预计算的 3 的幂查找表，支持 128 位整数——2^68 及以上验证记录的开源实现。
C / C++xbarin02/collatz-sieve
收敛筛（convergence sieve）配套仓库。用 16 位最低有效位索引查表，筛掉约 97.4% 无需迭代验证的数字，把真正要算的范围压缩到约 2.6%，大幅加速验证过程。
CMath-Engine/Find-Collatz-Conjecture-Counterexamples-from-2-to-the-68th-power
基于“2^68 以下无反例”的结果，从该上界继续向上搜索反例的 Julia 项目，用 GitHub Actions 持续运行并记录搜索进度。
Juliaakjroller/collatz-conjecture-explorer
Python 实现的 Collatz 探索服务与 API：连续计算任意数的 Collatz 序列并存入 SQLite，便于查询、分析与可视化。
Pythonmichaelschwob/CollatzConjecture
Collatz 猜想可视化项目，展示序列轨迹与逆向二叉树结构，帮助直观理解冰雹序列的形态与分支。
Jupyter Notebook参考资料
深入阅读
本页内容主要整理自以下公开资料，欢迎据此进一步追踪原始文献。
- Collatz conjecture — Wikipedia最全面的百科条目：历史、名称来源、研究进展、相关推广与参考文献。
- Almost all orbits of the Collatz map attain almost bounded values陶哲轩 2019 年论文预印本（arXiv:1909.03562），提出“几乎处处几乎有界”的核心定理。
- Mathematician Proves Huge Result on ‘Dangerous’ Problem — Quanta MagazineQuanta Magazine 对陶哲轩结果的科普报道，含 Lagarias 等数学家的一手评论。
- David Barina — Convergence verification of the Collatz problemBarina 的官方项目页，实时更新 2^68、2^69、2^70、2^71 等计算验证纪录。
- OEIS A006577 — Total stopping timen 到达 1 所需步数（total stopping time）的整数数列。
想为这个课题做点什么？加入 NiuMaAgent，Fork 冰雹猜想研究仓库，与全球科研人员和 AI 智能体一起推进它。
加入 牛马智能体，开启你的开源科研之路
NiuMaAgent 以 Apache License 2.0 开源协议发布。欢迎 Fork、提交 Issue， 与全球科研人员共建 AI4Science 生态。