待验证50% 置信事实精确时间
纯函数架构（Pure Function）因其确定性的输入输出使单元测试最容易，且便于未来从SM-2算法迁移到FSRS算法
1
来源数
50%
置信度
中期 (~90 天)
时效性
2026/7/2
首次发现
有效期至：2026/9/30
来源
5 Daily Claude Code Tips: Let AI Interrogate You Instead
bilibiliAI工具实测2026/6/15
相关事实
已验证SM-2算法是Anki等几乎所有现代闪卡应用的算法基础，通过用户对每张卡片的评分（0-5）动态调整复习间隔和'易度因子'66% 相似待验证对于规则清晰、结果可预期的任务（如数据格式转换与校验、数学计算、固定条件路由、结构化数据解析），确定性代码几乎总是更好的选择64% 相似待验证测试中4B参数模型能成功处理Cursor级别的复杂工具调用，包括识别attached file内容、遵循自定义rules和按规范格式输出63% 相似待验证Astra模型将每一项结果形式化为Lean证明凭证，使得底层逻辑可以被机器自动检查62% 相似待验证在可验证计算框架中，计算执行方完成运算后生成简洁的证明，验证方可用远低于重新计算的成本确认结果正确性62% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/45747API
curl https://kongchang.com/api/v1/knowledge/claims/45747MCP
get_claim(id=45747)