撤回与修订历史
数学与形式证明中与该原始来源对应的研究主张
原文位置：第7模块 数学与形式证明：撤回与修订历史
不能据此推出：继承指定研究的核验与配置范围；文献家族未知，不按URL计独立实验。
核查 2026-10-12 · 所属资料版本 2026-10-16.1 · 来源ID FS104
实际引用在哪里
数学证明：自然语言进步与形式核验 →
研究版Gemini Deep Think在4.5小时内解出5/6道IMO题；研究稿件开始附Lean证书。机器检查推理之后，还要核对命题是否忠实表达了原问题。
关系：研究关联
数学与形式证明 →
领域概念、研究或说明中的引用；逐条范围见该页
关系：领域引用