Proof.fail 网站上线：收集前沿 AI 无法解决的难题
CatAstro_Piyush · x · 2026-08-23
用户创建了 Proof.fail 网站，旨在专门收集那些前沿 AI 模型（如 5.6-Sol-Ultra 和 Fable 5）尝试解决但失败的问题。
该站点专注于“负结果”，即模型未能攻克的挑战，涵盖复杂图论、量子电路计算等领域。作者认为这是科研人员集体调查新工具能力边界的重要组成部分。目前已有多个高难度数学问题被收录。
「研究」频道最新
- Badtheorylabs 分享近乎无损 2 比特模型量化方法 — cephaloform · 2026-08-23
- 前 Meta 研究员隔空交锋：无标签视频学习终将胜过纯文本 — abursuc · 2026-08-23
- 新基准 KnotBench 提议：给拓扑学家百万美元解决 AGI — suchenzang · 2026-08-23
- Geoffrey Irving 探讨字符训练与伦理对齐的落地困境 — geoffreyirving · 2026-08-23
- 模型崩塌维特根斯坦早预言，验证机制比 GPU 更关键 — emax · 2026-08-23
- 编剧书《救猫咪》竟也适用于 ML 论文写作 — OfirPress · 2026-08-23