陶哲轩担忧 AI 数学证明可靠性与 Lean 验证链风险

阶段、条件与复现 · 深读核对

• 新能力对应什么具体任务与最小输入输出？
• 代码、模型、数据、许可与可用入口是否明确？
• 效果、总成本、失效条件与实际工作流如何验证？

这些是阅读核对问题；材料未说明的条件保留未知。请阅读原文核验。