Anthropic 发布 LLM 可证明推理新研究进展
ltononro · hn · 2026-11-05
Anthropic 发布研究文章《Progress on provable inference for large language models》,探讨对大语言模型推理过程给出数学可证明保证的进展,旨在让模型输出的正确性不再只靠经验评测,而是可获得形式化证明。这类工作对高可靠场景(安全关键系统)的 LLM 部署有重要意义。详见原文与论文。
「研究」频道最新
- 数据实锤:律所前 1% 客户后续遭 SEC/DOJ 调查概率高 1.6 倍 — doodlestein · 2026-11-05
- 港中文+微软推共情语音对话 EchoChat，EchoEval 综合得分 8.64 — jiqizhixin · 2026-11-05
- GameVerse 发布：分钟级游戏数据集攻长时程交互世界建模 — AlayaLab · 2026-11-05
- Solv3R：循环迭代 Transformer 统一求解多视角几何重建 — Jeong-gi Kwak · 2026-11-05
- 阿里 Qwen 团队发 SpecOPD：分支并行在线蒸馏加速投机解码 — Qwen · 2026-11-05
- KAIST 提出 H2RB：人类演示直接迁移训练机器人 VLA 策略 — kaist-ai · 2026-11-05