Bittensor 子网十天攻破六道 Erdős 级数学难题

数学 AI 项目 Conjectures.io 的 Bittensor 子网 SN66 通过赏金激励矿工运行 AI 证明器解数学难题：将未解猜想编译为精确的 Lean 形式化命题，任何模型、agent 或算力均可提交证明，由 Lean 内核机器验证而非委员会评审，验证仅需数秒。自 9 月 9 日起十天内已公开解决六道悬置数十年、累计约 249 年的公开难题，其中包含 Erdős 问题，目前解题速度达每天两道。

2026-09-18 ~ 2026-09-19 · 4 条相关

• Conjectures 借 Bittensor 日解两道数学难题,攻克 55 年前 Erdős 问题 — markjeffrey · 2026-09-18
• Bittensor 子网悬赏解数学猜想,一周内两个数十年难题被破 — markjeffrey · 2026-09-18
• Bountied 验证子网十天攻破六道悬置数十年的 Erdős 公开难题 — markjeffrey · 2026-09-19
• Bittensor 子网十天解决六个悬置数十年的数学难题 — markjeffrey · 2026-09-19