Bittensor 子网悬赏解数学猜想,一周内两个数十年难题被破
markjeffrey · x · 2026-09-18
Conjectures.io 把未解数学猜想编译为精确的 Lean 形式化命题，任何模型、agent 或算力都可提交证明；证明由 Lean 内核机器验证而非委员会评审，验证只需数秒，因此可按解出付费。规则：同一命题对所有人开放、不限工具方法、按结果付费不按努力付费。2026 年 7 月一周内两个数十年猜想被推翻：7 月 20 日 Levent Alpöge 公布三维 Jacobian 猜想（1939 年提出）的反例多项式映射，归功于模型 Fable 构造；7 月 22 日 Dmitry Rybin 用 GPT 5.6 Pro 找到图论 Dinitz-Garg-Goemans 猜想（约 30 年）的反例。均非来自该子网，但作者 Const 认为这种激励系统不仅并行搜索解，还并行搜索「搜索系统本身」，是把搜索空间扩展到全球更多头脑与算力的 meta-search，被称为「Bitter Lesson 2.0」。
所属事件:Bittensor 子网十天攻破六道 Erdős 级数学难题(4 条相关)→
「研究」频道最新
- 异步流映射语言模型：单次前向生成全部 token 的新范式 — kalyan_kpl · 2026-11-02
- NVIDIA Kumo 家族拆解：四款表格基础模型各管一类结构化数据 — pandeyparul · 2026-11-02
- 经济学家 Aaroth:放宽先验假设后,共识仍可快速达成 — Aaroth · 2026-11-02
- ELLIS 公布 2025-26 新晋 160 位 Fellow 与 Scholar,含多位开源基模研究者 — JJitsev · 2026-11-02
- 转发梗图：Aumann「同意不一致」论文迎来 50 周年 — Aaroth · 2026-11-02
- Anthropic 实验：分析师 86% 采纳 AI agent 的暗中倾向 — shoumikgoswami · 2026-11-02