# בטיחות עם ערבויות: מה בדיוק אפשר להוכיח?

תקציר מערכת בעברית, Pdoom.

עמוד הרשומה: https://ai-nation.pages.dev/library/safety-formal/

מקור מקורי: https://arxiv.org/abs/2405.06624

סוג: מחקר
נושא: פתרונות ובטיחות
גרסה 3; פרסום ראשון במאי 2024: 2024-07-08
בדיקת הרשומה: 2026-09-21
מפרסם המקור: Dalrymple ועמיתים · arXiv

## עיקר הדברים

מסגרת מוצעת המשלבת מודל של העולם, הגדרה של התנהגות מותרת ומאמת פורמלי. הערבות היא ביחס למודל ולמפרט שנבחרו.

## גבולות הטענה

עולם שלא תואר היטב או הגדרת נזק חסרה עלולים להשאיר פער גם כשהאימות המתמטי תקין.

## מה נקרא ונבדק

נקראו התקציר ורשומת הגרסה, לא כל ההוכחות או הנספחים.

זהו תקציר מקורי, לא תרגום מלא או תמלול. לפני ציטוט ממצא יש לבדוק את המקור המקורי.

שיטת הבדיקה: https://ai-nation.pages.dev/method/