当前仓库与历史记录
数学与形式证明的指定研究/机构/配置；不自动适用其他任务
原文位置：第7模块 数学与形式证明内的对应原始来源
不能据此推出：继承既有报告审查范围；导入未重跑或重新核验全部原始来源。文献家族未知，不计独立实验数。
核查 2026-10-12 · 所属资料版本 2026-10-16.1 · 来源ID FS038
实际引用在哪里
数学证明：自然语言进步与形式核验 →
研究版Gemini Deep Think在4.5小时内解出5/6道IMO题；研究稿件开始附Lean证书。机器检查推理之后，还要核对命题是否忠实表达了原问题。
关系：研究关联
数学与形式证明 →
领域概念、研究或说明中的引用；逐条范围见该页
关系：领域引用