Back to Details

learn-verify

Compare original and translation side by side

🇺🇸

Original

English
🇨🇳

Translation

Chinese

Learn verify

Learn verify

Trust is engineered. Check the claim before it is taught as fact.
信任是可以构建的。在将某个主张作为事实传授之前，先对其进行核查。

When to run

适用场景

  • Empirical, historical, bibliographic, or API/tool claims
  • Named theorems, identities, or "standard facts" you cannot reconstruct
  • Anything you were about to present with unearned certainty
Skip a full search only when you can derive the statement in-session and the learner does not need an external citation. Still say that it was derived, not sourced.
  • 实证类、历史类、文献类或API/工具相关的主张
  • 无法自行推导的知名定理、恒等式或“标准事实”
  • 任何你打算毫无依据地确定呈现的内容
仅当你可以在会话中推导该陈述且学习者不需要外部引用时，才可以跳过完整搜索。但仍需说明该内容是推导得出的，而非来自外部来源。

Method

操作方法

  1. Write the claim in one falsifiable sentence.
  2. Fetch or search primary-ish sources (paper, textbook, official docs, standard reference). Do not cite a URL you did not open.
  3. Quote or paraphrase the supporting line. Note edition / year if it matters.
  4. Mark disagreements. Prefer the source the field actually uses.
  5. Return a verdict.
  1. 将主张写成一句可证伪的句子。
  2. 获取或搜索接近一手的来源（论文、教科书、官方文档、标准参考资料）。请勿引用未打开过的URL。
  3. 引用或转述支持性内容。若有必要，标注版本/年份。
  4. 标注存在分歧的内容。优先选用该领域实际使用的来源。
  5. 返回核查结论。

Verdict

核查结论格式

markdown
undefined
markdown
undefined

Claim

主张

…
…

Verdict

结论

confirmed | qualified | contradicted | unknown
confirmed | qualified | contradicted | unknown

Sources

来源

  • <title> — <url or citation> — <what it says>
  • <标题> — <网址或引用信息> — <内容说明>

Teach as

可用于教学的表述

<one sentence the teacher may now say, with any hedge>

`qualified` = true under stated assumptions (dimension, characteristic, gauge, version).

`unknown` = do not teach it as fact. Say you could not verify.
<教师现在可以使用的一句话表述，可包含必要的限定语>

`qualified` = 在指定假设（维度、特性、标准、版本）下成立。

`unknown` = 不可作为事实传授。需告知无法验证该内容。

Rules

规则

  • No invented papers, quotes, or page numbers.
  • One claim per run. Batch only if they are the same fact in different words.
  • Write the verdict into the session file if a teach session is open.
  • 不得编造论文、引用内容或页码。
  • 每次运行仅处理一个主张。仅当多个主张是同一事实的不同表述时，才可批量处理。
  • 若教学会话处于开启状态，需将核查结论写入会话文件。