AI verifies its own code

本文探討 AI 生成程式碼後自動驗證的最新趨勢，並列舉多個實際案例與工具。 - Axiom Math 用 24 天的代理團隊產出 43.1M 行 Lean 程式碼，完成有限單純群體分類的完全電腦檢驗證明。