Deterministic Verification
מ-Claims אל Graph of Accepted Facts
לפני שמכונה יכולה לשפוט את העולם האמיתי באופן דטרמיניסטי, עליה לסגור את אותו עולם באופן מפורש: להעריך Claims פתוחים, להטיל Accepted Facts לתוך גרף הניתן למעקב, להקפיא את הגבול, ולשמר מסלול לערעור.
לבנות מערכות שסוכנים יכולים לתפעל
60 עד 80 אחוז מתקציבי ה-IT של Fortune 500 מושקעים בשמירה על legacy נעול. כי אי אפשר לפתוח אותו. המשמעות האמיתית של בועת ה-AI היא לא מודלים חכמים יותר — אלא שהזיכרון הארגוני הנעול מתחיל להפוך לנגיש.
שיעור 5. AI עם רסן — מבוא ל-Reins Engineering
הנדסת רתמה היא גדר. Reins Engineering הוא רסן. אל תחליף את המודל, הוסף חוזים.