未知なる海域の航海術: 定理7本を証明したループエンジニアリングの規律と記録

本記事は、AIエージェントに数日がかりの仕事を任せ、最後まで実行させた経験を基にしたループエンジニアリングの規律と記録について述べています。AIによる証明の信頼性に関する考察も含まれます。

• AIエージェントに数日がかりの仕事を任せる際、出力の信用性を判定するための13条の規則が提案されています。
• 規則には、仕様・実行状態・証拠の分離、ループ内での仕様変更禁止、失敗の成果物としての設計などが含まれます。
• この規則に基づいたループでは、AIエージェントが15日間で7本の定理を証明し、1本の反証に成功しました。
• 証明の完了は、機械検証済みの定理、固定された実例・反例、ハッシュで固定された結果からの導出といった形式で判定されます。