Conjectures 借 Bittensor 日解两道数学难题,攻克 55 年前 Erdős 问题
markjeffrey · x · 2026-09-18
数学 AI 项目 Conjectures 宣布其 miner 给出了两道 Erdős 问题的解答，目前解题速度达到每天 2 道，底层由 Bittensor 网络驱动。
其中 Erdős Problem 108 是一个 55 年悬而未决的问题，本次结果推翻了原猜想：作者构造了具有任意高色数的图，其不含四环（C4）的子图至多只需 6 种颜色着色。这类结果展示了分布式激励网络（Bittensor）与数学研究结合的实际产出能力。
「研究」频道最新
- IFM 发布 K2-Horizon-7B:扩散加速 LLM 号称无损跑至 5200 tps — Zulfiqaar · 2026-09-18
- 规模化具身基础模型实现无人机零样本全自主飞行 — AkshatS07 · 2026-09-18
- 研究发现多模态模型内部存在「空间工作区」：左右上下远近被编码成线性子空间 — jiqizhixin · 2026-09-18
- 经济学家提议:用 AI 审计预分析计划执行,遏制 p-hacking — paulnovosad · 2026-09-18
- Google 发布 Dream RSI 论文:智能体必须「做梦」才能递归自我改进 — Saboo_Shubham_ · 2026-09-18
- 斯坦福 Marin 开放实验室直播训练 535B 模型,十人团队全程公开 — wandb · 2026-09-18