מה חדש ב-AI: מודלים, כלים וטכניקות — מאומת
מבזקים
שירותי הרשת של אמזון (Amazon Web Services) פרסמו תיעוד המפרט שתי תכונות ממשל ואבטחה עבור Amazon Quick: אישור חכם, המשתמש בבדיקה אוטומטית כדי להפחית הנחיות שגרתיות תוך שמירה על פיקוח אנושי, ודחייה כברירת מחדל, המגבילה את יכולות הבינה המלאכותית עם הפצתן אלא אם כן הותרו במפורש.
חברת Amazon Web Services פרסמה מדריך ארכיטקטוני לבניית שרת Model Context Protocol ללא שרתים על גבי Amazon ECS Fargate. העיצוב נועד לספק לסוכני בינה מלאכותית גישה מבוססת מטא-נתונים לאגני נתונים ארגוניים, מבלי לדרוש קוד אינטגרציה מותאם אישית לכל מערך נתונים.
חטיבת המחקר של Microsoft פרסמה פרטים על PDD Kit, ערכת ככלים שנועדה לאמת באופן פורמלי תוכנה שנכתבה על ידי סוכני AI. המערכת פועלת לצד סביבת Chopin של GitHub Next, ממירה כוונות מפתח בשפה טבעית למפרטים פורמליים ומשתמשת במאמת Verus כדי להוכיח את נכונות הקוד עבור כל קלט אפשרי.