AI 智能体协助陶哲轩改进 Collatz 定理，证明已通过 Lean 验证
zero0_one1 · reddit · 2026-07-22
AI 智能体在数学研究领域取得新进展，成功强化了数学家陶哲轩关于 Collatz 猜想的里程碑式定理。
新证明表明，对于每个趋于无穷的函数 f(N)，几乎所有数字 N 都能在 436 ln N 步内降至 f(N) 以下。此次更新引入了自然密度概念并给出了一个显式时钟。虽然这并非对完整 Collatz 猜想的最终证明，但该成果已成功通过 Lean 形式化验证工具的验证。
「研究」频道最新
- Kimi K3 在网络安全上很强，但 token 效率卡住了评测 — teortaxesTex · 2026-07-27
- ARC AGI 3 应该保持私有，不该公开示例和数据集 — flowersslop · 2026-07-27
- ExploitGym 可能只有六到七成任务可解，引发 OpenAI 作弊争议 — max_paperclips · 2026-07-27
- Chollet 认为智能可能有硬上限，AI 进步会趋于边际递减 — binarybits · 2026-07-27
- 论文提出图拓扑可成为 AI Agent 核心框架 — theomitsa · 2026-07-27
- 一个问题追问多智能体分支如何随算力和模型规模变化 — iskander · 2026-07-27