待验证50% 置信基准精确时间
在36个小验证任务上，Opus 5.5挣到一半时大约比Opus少40%的Token。
1
来源数
50%
置信度
中期 (~90 天)
时效性
2026/10/24
首次发现
有效期至：2027/1/22
来源
Anthropic研究：LLM让形式化软件验证规模化成为可能
bilibilimo2cc2026/10/24
涉及实体
相关事实
待验证Anthropic称Opus 5.5比上一代快30%以上，默认设置下可省约40%算力71% 相似待验证开发者使用Opus 5.5的medium推理档位完成React前端开发，仅消耗了当周使用额度的35%69% 相似待验证根据Artificial Analysis的数据，从Opus 5到Opus 5.5每个任务的推理token数从约4.2万翻倍增至8.4万，而输出token仅从3万增至3.5万68% 相似待验证Claude Opus 5.5在507个任务中只有241个做到20次全对，20-of-20可靠性为47.53%68% 相似待验证一些评估中的'高部分得分'掩盖了仅有0%到4%的真实交付率68% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1092432API
curl https://kongchang.com/api/v1/knowledge/claims/1092432MCP
get_claim(id=1092432)