קלוד של Anthropic מאמת קוד באופן אוטומטי

חברת Anthropic דיווחה כי מודל הבינה המלאכותית שלה, קלוד, יצר הוכחות מתמטיות לנכונות קוד קיים. המודל הפיק כ180 מיליון שורות קוד הוכחה עבור 123 ספריות קוד פתוח, ובמהלך התהליך איתר באגים שבדיקות רבות שנים לא גילו.

מטרת Anthropic היא להפוך את האימות הפורמלי באמצעות AI לשגרתי כמו בדיקות תוכנה סטנדרטיות. יכולת זו מועילה למפתחים ולארגונים המעוניינים לשפר את אבטחת הקוד שלהם ולצמצם שגיאות, לדוגמה, על ידי זיהוי אוטומטי של פגמים בקוד לפני פריסתו.

קריאה נוספת ←