Bittensor 子网十天解决六个悬置数十年的数学难题

markjeffrey · x · 2026-09-19

Bittensor 上的 SN66 子网（https://t.co/6rh54efgPp）悬赏解决公开数学难题，其矿工自 9 月 9 日以来在十天内解决了六个长期未解问题：Erdős 问题 96（悬置 66 年，被证伪）、Erdős 问题 108（55 年，证伪）、Erdős 问题 196（49 年，证伪）、Erdős 问题 14（34 年，两部分均解决）、Erdős 问题 653（29 年，获证明）、Green 问题 51（16 年，近半密度情形）。所有证明均在 Lean 中机器验证，附代码公开可复现，合计 249 年未解的历史被十天清算。转发者称这是「真实未来的一瞥」：开放权重、开源、公开审计的公共账本解决不可解问题。