数学家联名反对AI替代证明
为什么值得看
国际数学联盟支持发布《莱顿宣言》，数百名数学家签署警告AI生成虚假证明、破坏学术归因和扭曲研究激励。对AI工程师的启示是：高可靠性领域的"人机回环"验证机制设计将成为关键赛道，纯自动化生成在关键路径上走不通。
编辑判断
这份宣言的深层信号是：数学作为"最后的人类智力堡垒"正在失守，而验证成本与生成成本的极端不对称（生成近乎免费，验证耗时数周）是所有知识密集型行业的共同困境。
对AI从业者来说，这比"AI安全"的抽象讨论更具体——谁能在数学证明、代码审计、法律合同等场景做出"可验证的AI生成"工具，谁就能拿到下一代企业服务的入场券。当前Vibe Coding的流行恰恰走了相反方向，这种张力本身就是创业机会。
关注两个技术方向：形式化验证与LLM的结合（如Lean定理证明器），以及可追溯的生成链路（类似区块链的 provenance tracking 但工程化落地）。