探讨 LLM 辅助数学真理概率排序的可能性
PTenigma · x · 2026-08-21
作者提出，对于某些论文集合（包括已知正确的），像 Claude Opus 这样的大型语言模型可以给出正确概率 p(correct) 的排序列表。这可能成为数学认识论中一个有趣的新分支。作者还关联了自己 1998 年发表的论文，探讨了专家数学家如何基于类比、经验以及逻辑证明来估计 p(correct)。
「研究」频道最新
- NVIDIA 与 UC Berkeley 开源触觉机器人方法论 T-Rex — DrJimFan · 2026-08-22
- Lightwheel 开源 10 万小时人手操作数据集 — vanstriendaniel · 2026-08-22
- 可视化工具 Bonsai 发布：替代 t-SNE/UMAP — anshulkundaje · 2026-08-22
- 「AI 审稿第一步看技术对错」：论文评价标准该重排了 — Afinetheorem · 2026-08-21
- 纯 C 写的 TRiP 框架：支持多模型训练与推理 — RelevantShape3963 · 2026-08-21
- 单段广播画面恢复厘米级球路：板球追踪逼近 Hawkeye — richdotca · 2026-08-21