已过期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% 相似待验证测试中4B参数模型能成功处理Cursor级别的复杂工具调用，包括识别attached file内容、遵循自定义rules和按规范格式输出63% 相似待验证Astra模型将每一项结果形式化为Lean证明凭证，使得底层逻辑可以被机器自动检查62% 相似待验证在可验证计算框架中，计算执行方完成运算后生成简洁的证明，验证方可用远低于重新计算的成本确认结果正确性62% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/45747

API

curl https://kongchang.com/api/v1/knowledge/claims/45747

MCP

get_claim(id=45747)