Conjectures 宣布 miner 求解悬置 34 年的 Erdős 问题 14
ctjlewis · x · 2026-09-17
Conjectures.io 宣布其 miner 求解了 Erdős 问题 14 的两部分,该问题已开放超过 34 年。结果是证明了:对任意自然数集合,唯一表示为两元素之和的例外数存在平方根级下界。完整证明已通过 Conjectures 平台在 Lean 中形式化验证,证明全文已公开。
「研究」频道最新
- BuildingBench 评测编码智能体 3D 建筑能力，成本差最高 80% — ZhitingHu · 2026-09-17
- 让模型「成为 null」：GPT-5.2 与 Claude 均输出零字节并停止 — rayanpal_ · 2026-09-17
- 快速分类器 Jev 对比 LLM：用并行计算换速度但无法生成文本 — FrankFelixAI · 2026-09-17
- RLVR 微调小模型修 LaTeX 报错：83.7% 修复率、快 6 倍、成本仅 1/40 — simonguozirui · 2026-09-17
- WIRED 记者用果蝇大脑连接组 vibe code 出选题生成器 PitchFly — nordicinst · 2026-09-17
- DeepMind 论文：Veo 3 展现零样本视觉推理，或成视觉基础模型 — RexDouglass · 2026-09-17