已过期85% 置信事件时间未知
陶哲轩注意到Claude在某些情况下会在本可继续推进修复时选择保守回退放弃修改
1
来源数
85%
置信度
中期 (~90 天)
时效性
2026/5/31
首次发现
有效期至:2026/8/29(已过期)
来源
陶哲轩用Claude Code审查Mathlib代码风格实战演示
bilibili超音速海啸
涉及实体
相关事实
引用此条事实
Stable URI
https://kongchang.com/claim/9680API
curl https://kongchang.com/api/v1/knowledge/claims/9680MCP
get_claim(id=9680)