**What Happens When Formalization Becomes Cheap?** > Eight years of AI and form

**What Happens When Formalization Becomes Cheap?**

> Eight years of AI and formalization: what proof assistants check, how coding agents changed the work, and what formal verification can promise for AI safety. What Happens When Formalization Becomes Cheap? A personal reflection on eight years of AI and formalization Kaiyu Yang September 22, 2026 25 min read I started working on machine learning for formal theorem proving in 2018. When people ask how I got into the fie...

**来源信息**
- **来源**：Hacker News：AI 热帖
- **分类**：论文
- **发布时间**：2026-09-27 13:19（北京时间）
- **原文**：[打开原文](https://yangky11.github.io/blog/ai-and-formalization)