Conjectures 宣布 miner 求解悬置 34 年的 Erdős 问题 14
ctjlewis · x · 2026-09-17
Conjectures.io 宣布其 miner 求解了 Erdős 问题 14 的两部分,该问题已开放超过 34 年。结果是证明了:对任意自然数集合,唯一表示为两元素之和的例外数存在平方根级下界。完整证明已通过 Conjectures 平台在 Lean 中形式化验证,证明全文已公开。
「研究」频道最新
- 新评测探针:10 个视觉基座模型按 4 层级考「跨观测空间状态保持」 — liuziwei7 · 2026-11-02
- General Reasoning 首发博客:详解如何用强化学习训练 Agent 集群协作 — rosstaylor90 · 2026-11-02
- 数学家 Tony Feng：当前范式 LLM 缺乏研究所需的思维多样性 — littmath · 2026-11-02
- 「不懂测度论就学不了概率」？数学圈调侃形式化与本质的错位 — LucaAmb · 2026-11-02
- DStill 论文：蒸馏多步去噪轨迹，块扩散投机解码提速至 6.45 倍 — LucaAmb · 2026-11-02
- 研究发现门控参与度与生成质量强相关，径向目标降 FID 至 11.83 — Junha Park · 2026-11-02