AI 智能体协助陶哲轩改进 Collatz 定理，证明已通过 Lean 验证
zero0_one1 · reddit · 2026-07-22
AI 智能体在数学研究领域取得新进展，成功强化了数学家陶哲轩关于 Collatz 猜想的里程碑式定理。
新证明表明，对于每个趋于无穷的函数 f(N)，几乎所有数字 N 都能在 436 ln N 步内降至 f(N) 以下。此次更新引入了自然密度概念并给出了一个显式时钟。虽然这并非对完整 Collatz 猜想的最终证明，但该成果已成功通过 Lean 形式化验证工具的验证。
「研究」频道最新
- MissionReport 基准：540 份政府任务报告仅 3 份全达标 — Exp_Mark · 2026-10-27
- Finch 1 发布：用 50+ 种传感器影像训练的通用地理空间基础模型 — Scobleizer · 2026-10-27
- Skyfall AI 推出工程世界模型 SKY-001:文本转 CAD 构建,3.9 秒 vs GPT-6 的 199 秒 — rohanpaul_ai · 2026-10-27
- 物理学家让 AI 自选课题：两小时产出可登顶刊的论文 — burny_tech · 2026-10-27
- 研究者谈评测集透明度:组合性评测仍存数据污染隐患 — najoungkim · 2026-10-27
- 可解释性研究该分清形式与估计器：均值差转向不如直接梯度下降 — johnhewtt · 2026-10-27