AIエージェントに数日間の作業を完遂させるための「13の規則」をまとめた記事。仕様変更の禁止や検証の独立化など、信頼性を担保し定理証明を成功させるための実践的なルールを紹介。