AI 智能体协助陶哲轩改进 Collatz 定理，证明已通过 Lean 验证
zero0_one1 · reddit · 2026-07-22
AI 智能体在数学研究领域取得新进展，成功强化了数学家陶哲轩关于 Collatz 猜想的里程碑式定理。
新证明表明，对于每个趋于无穷的函数 f(N)，几乎所有数字 N 都能在 436 ln N 步内降至 f(N) 以下。此次更新引入了自然密度概念并给出了一个显式时钟。虽然这并非对完整 Collatz 猜想的最终证明，但该成果已成功通过 Lean 形式化验证工具的验证。
「研究」频道最新
- Nature 新研究实现全身器官细胞活动成像,揭示跨器官体级回路 — arjunrajlab · 2026-09-11
- SignNet 1M 手语数据集发布 — ducha_aiki · 2026-09-11
- ECCV26 口头论文：流匹配实现多视角点云配准 — ducha_aiki · 2026-09-11
- InFlux++ 方法发布 — ducha_aiki · 2026-09-11
- Skyfall GS 登场:用 Flux 提升 Gaussian Splatting 精修质量 — ducha_aiki · 2026-09-11
- 一万个智能体能否突破反向传播,找到更好的学习算法 — SeunghyunSEO7 · 2026-09-11