给每一段论断一个判决:引擎在定理库上检索,经符号验证与推导链引用,输出三态——verified / unverifiable / falsified(附反例)。字节级可复现,审计轨完整。
| 判决 | 含义 | 随判决附带的证据 |
|---|---|---|
| verified | 命中已核实定理(符号验证 / 定律锚 / 概念锚) | 推导链 proof_chain + 锚定理 anchors |
| unverifiable | 无对应定理 / 超域 / 解析失败;软叙事一律诚实拒判 | 拒判原因 reason |
| falsified | 恒假,或直接否定已锚定理 | 反例 counterexample(附定理断言) |
大多数「AI 事实核查」只给真/假两态。我们多给一态的勇气,也多给一态的诚实:判不了的,就说判不了。
我们不吹覆盖率。以下数字全部来自可复跑的实测(2026-08-13,结构化数据见 measurements.json):
| claim | 判决(2026-08-13 实测) |
|---|---|
2+2=4 | verified |
牛顿第二定律F=ma成立 | verified(PHYS 锚定理 + 推导链) |
sin^2(x)+cos^2(x)=1 | verified(符号验证) |
2+2=5 | falsified(反例:4 ≠ 5) |
能量守恒是错误的 | falsified(直接否定锚定理 PHYS-005) |
自由是人生最重要的价值 | unverifiable(软叙事,诚实拒判) |
这个政策是最好的选择 | unverifiable(软叙事,诚实拒判) |
完整 33 条逐条名单见 claim_probe_set.md;示例输入集见 example_claims.txt。
本 demo 是静态展示 + CLI 下载形态:无在线试用服务、无账号体系、无追踪。工具包自包含、只读、可离线运行。
下载 anchor-toolkit v1.0.0(50 KB) 安装与使用说明
SHA-256:cb0d5e6471f0fe42a82c4a067f71cfc58459902fd5fed05e45a0441d33f22317
# 需要 python3 + sympy tar xzf anchor-toolkit-1.0.0.tar.gz && cd anchor_toolkit python3 auditor_cli.py audit "2+2=4。能量守恒定律是物理学的基石。" python3 auditor_cli.py batch example_claims.txt python3 auditor_cli.py --version # 引擎版本 + 版本闸 sha + 小子集规模
同一输入跑两次,输出逐字节一致——这是设计承诺,不是宣传语。
如果你在教育 / 出版 / 合规方向工作,这个东西对你可能有用:教材论断核对、出版事实闸、合规文本的硬断言筛查。
每次试用登记、每句反馈、每个付费意愿表态,都是我们收集的市场实数——包括「没用」这个答案本身。
来信请寄:478905731@qq.com(标题注明「知识锚试用」)。告诉我们:你的场景、你试过的 claim、以及你是否愿意为全量库的判决能力付费。