概要
人間の役割を「実装」から「評価指標の策定とループの構築」へと再定義し、自律的なAIエージェントと形式手法を組み合わせた高度な開発ワークフローを提案する。
詳細内容
エンジニアのmizchi氏による、AIプログラミングにおける自身の現在の手法を整理した記事。主な主張は、人間の役割はコードを書くことから「評価指標を作り、ループを構築し、AIの行動を観察して改善すること」へと移行しているという点。具体的な手法として、Claude Code等のエージェントによる自律的な目標達成（/goal）や、dspy/RLMを用いたワークフローの分解、マルチエージェントによる並列開発などを挙げています。また、かつての「深呼吸して」といったプロンプト手法は陳腐化しており、現在はモデルの「世界知識」を前提とした設計やコンテキストの圧縮（/compact）が重要であると指摘。さらに、マイクロサービス等の複雑な設計においては、TLA+やZ3といった形式手法をAIに活用させ、実装の正しさを数学的に検証させる手法についても言及されています。