First Proof 第二批盲审报告
形式核验检查形式命题，新颖性、自然语言对应与同行判断仍独立。
原文位置：第7模块 数学与形式证明：First Proof 第二批盲审报告
不能据此推出：继承指定研究的核验与配置范围，本次未重新复跑原始实验；文献独立家族未知。
核查 2026-10-12 · 所属资料版本 2026-10-16.1 · 来源ID FS082
实际引用在哪里
数学证明：自然语言进步与形式核验 →
研究版Gemini Deep Think在4.5小时内解出5/6道IMO题；研究稿件开始附Lean证书。机器检查推理之后，还要核对命题是否忠实表达了原问题。
关系：研究关联
数学与形式证明 →
领域概念、研究或说明中的引用；逐条范围见该页
关系：领域引用