Bittensor 子网悬赏解数学猜想,一周内两个数十年难题被破
markjeffrey · x · 2026-09-18
Conjectures.io 把未解数学猜想编译为精确的 Lean 形式化命题，任何模型、agent 或算力都可提交证明；证明由 Lean 内核机器验证而非委员会评审，验证只需数秒，因此可按解出付费。规则：同一命题对所有人开放、不限工具方法、按结果付费不按努力付费。2026 年 7 月一周内两个数十年猜想被推翻：7 月 20 日 Levent Alpöge 公布三维 Jacobian 猜想（1939 年提出）的反例多项式映射，归功于模型 Fable 构造；7 月 22 日 Dmitry Rybin 用 GPT 5.6 Pro 找到图论 Dinitz-Garg-Goemans 猜想（约 30 年）的反例。均非来自该子网，但作者 Const 认为这种激励系统不仅并行搜索解，还并行搜索「搜索系统本身」，是把搜索空间扩展到全球更多头脑与算力的 meta-search，被称为「Bitter Lesson 2.0」。
所属事件:Conjectures 借 Bittensor 日解两道 Erdős 数学难题(2 条相关)→
「研究」频道最新
- 研究者观察:RL 训练后模型心智理论能力明显变差 — voooooogel · 2026-09-18
- 272 页《Multimodal Deep Learning》教材免费开放,可配 AI 导师阅读 — burkov · 2026-09-18
- Therna 发布 RNA 大模型 Chronos:一次实验覆盖约 50 种人类细胞系 — LightningAI · 2026-09-18
- Princeton Narayanan ICML 演讲:RSI 不等于奇点,未来工作将剧变 — random_walker · 2026-09-18
- RL 是在造新表征还是逼模型乱撞?LLM 表征来源引发激辩 — doomslide · 2026-09-18
- 统计学者质疑对齐前提：LLM 输出是分布性质而非固定属性 — gerardsans · 2026-09-18