Fable 与 Sol 形式化验证文献，首次找出论文可修复错误
Sauers_ · x · 2026-08-30
用户使用 Fable 和 Sol 对已发表文献做形式化（formalization）后，两者共同发现了文献中的第一处错误，且该错误是可修复的。作者还把这一发现整理成 PDF 发给了原论文作者，并在署名中加入了原作者，希望对方不介意。这展示了 AI 形式化验证工具在审读数学文献、发现潜在错误上的实际价值。
「研究」频道最新
- 强模型给弱模型搭脚手架：不训练小模型，准确率近乎翻倍 — 机器之心 · 2026-08-30
- 周末资源：从第一性原理推导位置编码 — zainhas · 2026-08-30
- COLM 论文用梯度归因揭示 LLM 能力来源 — ziv_ravid · 2026-08-30
- Toby Ord 论文指递归自我改进受物理限制 — Exponential View (Azeem Azhar) · 2026-08-30
- Mark Schmidt 发布 ICML 教程视频：数值优化理论在 2026 年还重要吗 — MarkSchmidtUBC · 2026-08-30
- 46 行 Python 实现 SDF 甜甜圈渲染 — voooooogel · 2026-08-30