Bountied 验证子网十天攻破六道悬置数十年的 Erdős 公开难题

markjeffrey · x · 2026-09-19

conjecture.io 宣布，其 Bittensor 子网 SN66 以赏金激励矿工运行 AI 证明器，十天内在公开验证下解决了六道长期悬置的公开数学问题，累计悬置约 249 年：

• Erdős Problem 96（悬置 66 年）：被反证
• Erdős Problem 108（悬置 55 年）：被反证——构造了色数任意高但去四环子图最多只需六色的图
• Erdős Problem 196（悬置 49 年）：被反证
• Erdős Problem 14（悬置 34 年）：两部分均获解决
• Erdős Problem 653（悬置 29 年）：被证明
• Green's Problem 51（悬置 16 年）：近半密度情形获解决

所有结果均经 Lean 形式化机器验证，非“我们相信”，而是可复跑的形式化证明，代码随结果公开。Erdős 生前提出的问题许多顶尖数学家半个世纪未能解决，如今一个带赏金的子网加一群跑 AI 证明器的矿工把它们逐一攻破。

原文链接 →

「研究」频道最新

• 清华开源 C2C：模型间跳过文字直连 KV-Cache，推理提速 2.5 倍 — anselm · 2026-09-19
• JEPA-Anything:跨视觉、生物、天气等异构领域的统一预测框架 — burny_tech · 2026-09-19
• 自动驾驶暑期学校热议:逐个拆解 SOTA 方案为何不泛化 — ftm_guney · 2026-09-19
• UCSD 教授谈 Jev 模型:判别式通用模型思路三年前已有雏形 — ZhitingHu · 2026-09-19
• 清华论文:RL 训练让 LLM 放弃探索,数百次尝试后反而输给基座模型 — burny_tech · 2026-09-19
• 一句话点破：异步强化学习本质是带粘性路由的水平扩展 — dosco · 2026-09-19

更多「研究」频道 AI 资讯 →