Conjectures 借 Bittensor 日解两道 Erdős 数学难题

数学 AI 项目 Conjectures 宣布其 miner 给出了两道 Erdős 问题的解答，攻克了 55 年前的悬而未决难题，目前解题速度达到每天 2 道。该项目由 Bittensor 网络驱动，将未解猜想编译为精确的 Lean 形式化命题，任何模型、agent 或算力都可提交证明，并由 Lean 内核机器验证而非委员会评审，验证仅需数秒。

2026-09-18 ~ 2026-09-18 · 2 条相关

• Conjectures 借 Bittensor 日解两道数学难题,攻克 55 年前 Erdős 问题 — markjeffrey · 2026-09-18
• Bittensor 子网悬赏解数学猜想,一周内两个数十年难题被破 — markjeffrey · 2026-09-18