AWS משיקה בדיקות Automated Reasoning לאימות פורמלי ב-Bedrock

Amazon Bedrock הציגה בדיקות Automated Reasoning המשתמשות בוורפיקציה פורמלית כדי לספק תיקוף AI מוכח מתמטית לתעשיות מוסדרות. הכלי פותר פערי תאימות שבהם תיקוף הסתברותי לא מספיק, ומאפשר פלטים הניתנים לביקורת בפיננסים, בריאות ותחומים מוסדרים אחרים הדורשים הוכחה פורמלית לנכונות החלטות AI.