Navier–Stokes形式翻译的技术质疑（v1）
对指定自然语言与Lean材料的语义对应质疑
原文位置：Introduction Disclaimer；§3.1.1
不能据此推出：作者不裁决自然语言证明是否正确；未复核整个数学争议或后续所有修订。
核查 2026-10-16 · 所属资料版本 2026-10-21.journeys.2 · 来源ID J-MATH-TRANSLATION
实际引用在哪里
数学相关 · 数值建模与验证：进展依据 →
领域进展与方法引用，按局部工作范围使用
关系：领域进展
模型与计算验证 →
检查推导、数值模型或形式命题是否支持预期结论；选择与产物匹配的独立验证方法。
关系：局部职责参照