Deterministic Verification
ClaimからAccepted Factsのグラフへ
機械が現実世界を決定論的に判定するには、まずその世界を明示的に閉じなければならない。開いたClaimを評価し、Accepted Factsを追跡可能なグラフへ投影し、境界を凍結し、異議申し立てへの道を保存する。
エージェントが働けるシステムを作るということ
Fortune 500のIT予算の60~80%がロックされたlegacyの維持に消える。開けられないからだ。AIバブルの本当の意味はモデルが賢くなることではない。企業のロックされた記憶がreachableになり始めることだ。
第5講. 手綱のあるAI — Reins Engineering入門
ハーネスエンジニアリングは柵。Reins Engineeringは手綱。モデルを変えるのではなく、契約を追加せよ。