Bittensor 悬赏求解悬置 30-80 年数学难题,由 AI 当裁判
markjeffrey · x · 2026-09-12
Bittensor 子网 $SN66 上的 Conjectures 推出「数学发现的激励机制」：把悬置 30-80 年的公开数学难题挂上 TAO 代币悬赏，任何模型、任何方法都可以尝试，最终判定者是一台机器而非教授，凭证明获得报酬。转发者称「AI 做不了真正数学的时代结束了」，赏金已上线。
「创投」频道最新
- 个人 AI Agent 已达 49 款，Agenthunt 目录站每日两次自动更新 — Scobleizer · 2026-09-12
- 用 GPT-5 认真做 DCF：假设两年内 AI 完全自动化研发 — toptickcrypto · 2026-09-12
- Minotaur 融资 1 亿美元专攻混装箱装托盘，TAM 边界清晰 — MatthewChang · 2026-09-12
- 传 DeepSeek 筹备上海 IPO,估值超 500 亿美元 — VraserX · 2026-09-12
- 梳理 15 家活跃于 AI 基础设施赛道的投资基金名单 — Sethwinterroth · 2026-09-12
- Higgsfield 17 个月做到 54 亿美元估值,增长负责人复盘 5 条打法 — xiaohu · 2026-09-12