_busy beaver BB(10) 值被证明超越 Graham 数,达惊人量级
surprisetalk · hn · 2026-10-13
HN 热帖:数学家对图灵机「忙碌海狸」函数 BB(10) 的下界研究取得突破,新证明显示 BB(10) 的值超过 Graham 数。BB 函数增长速度远超一般可构造函数,十态图灵机的最大步数已触及数学上可表达的极大数边界。GitHub 仓库附完整证明细节。
「研究」频道最新
- Joshua Gans 新论文：如何让员工愿意培训「取代自己的替代者」 — joshgans · 2026-10-16
- Eric Topol 拆解巨噬细胞九大功能程序：疾病状态是程序组合而非类型 — EricTopol · 2026-10-16
- Goodfire 创始人挑战叠加假说：InceptionV1 多语义性或另有成因 — petrusenko_max · 2026-10-16
- 研究者长期实验：什么样的提示词能让 LLM 产出最有意思的点子？ — arjunrajlab · 2026-10-16
- SimpleMark 论文:多比特文本水印可将每 token 失真限制在预算内 — rishabh16_ · 2026-10-16
- 斯坦福新论文:生成式表征学习做 tokenizer,省 7-8 倍训练算力 — HirokatuKataoka · 2026-10-16