009. IQuest付杰：AI研究者与时间赛跑的十五年

人工智能领域的研究者付杰深入探讨了 AI 安全与验证机制的核心挑战。验证（Verification）作为 AI 时代稀缺且昂贵的商品，其本质在于确保系统行为的可控性，而非简单的指标测量。付杰反思了其长达 15 年的研究历程，指出尽管多次预判了深度学习与大语言模型的爆发，但因缺乏工程实践与对规模化（Scaling）的执念，错失了关键机遇。当前，AI 安全研究正从形式化验证转向更务实的机制可解释性，旨在通过降低验证成本来构建防御层。面对 AGI 的快速演进，研究者普遍陷入被技术取代的焦虑，而付杰强调，将验证成本降至社会可接受的范围，是实现人类与 AI 共存的关键路径。