Figma创始人预测AI验证演进
Figma创始人Dylan Field表示，AI领域将先出现大量反例，然后涌现大量证书，最终转向大量形式化Lean证明。
此预测描绘AI可靠性从经验验证向数学严谨证明的演进路径，反映社区对模型可控性与可验证性的关注提升。
AI安全研究者与形式化验证工具受益于需求增长，开发者承压于新标准；资本加速向AI证明与验证基础设施投入，事件驱动下行业从快速迭代转向严谨工程化，强化长期信任基础。
来源：公开信息
ABAB AI 解读
Dylan Field此前领导Figma从设计工具成长为协作平台，曾多次通过推文分享对技术趋势的洞察，包括AI对创意工作的潜在影响。
资本路径上，Field等创始人通过公开预测引导行业注意力，战略上推动从纯规模向可验证AI转型，资源向形式化方法与证明工具集中。
类似软件工程从单元测试到形式验证的演进，以及密码学中从经验安全到数学证明的路径，AI当前处于可靠性验证从经验主义向形式化早期过渡阶段。
本质属于技术替代：形式化证明替代经验测试与证书，机制在于AI能力提升后风险放大，倒逼资本从训练算力转向验证基础设施，重塑开发流程与信任机制。
ABAB News · 认知定律
先反例，再证书，后证明。
能力越强，验证越严。
可靠AI，从数学开始。