AI 说它算对了，你凭什么信？AI 说的话能像数学题一样被证明：Anthropic 盯上推理可验证这块硬骨头

Anthropic 研究团队在官网发文，称在大模型「可证明推理」上取得进展——让模型的推理过程能被形式化验证，而不是只能靠人肉读一遍信不信。

完整的大白话解读、专业细节和短视频口播稿，打开巨象雷达登录后查看。

官方研究博客，仅发布进展摘要，具体方法与数据未公开

原文：Progress on provable inference for large language models