מכינים את הדף בשבילך
בעסקים כמו משפט, גיוס הון ותרופות, טעות של AI יכולה להעלות הרבה כסף. סטארטאפ Pramaana Labs מגייסת $27 מיליון כדי לבנות כלים שיודקו שמודלי AI עובדים כמו שצריך, בלא טעויות.
בדיקה פורמלית (Formal Verification) היא טכניקה הנדסית שמשתמשים בה לאימות מעגלים במצבים קריטיים כמו טיסה וגרעין, עכשיו היא מגיעה ל-AI.
Pramaana Labs, סטארטאפ חדש, גייסה זה עתה 27 מיליון דולר בסבב Seed מ-Khosla Ventures. המטרה שלה פשוטה: להביא את סטנדרטי הבטיחות ההנדסיים המשמשים בתעופה ובתעשייה גרעינית גם לבינה מלאכותית.
בחברות רבות, טעות של מודל AI יכולה להיות קריטית ולגרום הפסדים משמעותיים:
במקרים אלו אתה לא צריך בדיקה פשוטה, אתה צריך הוכחה.
בדיקה פורמלית לא בודקת את המודל על דוגמאות בודדות. היא בודקת את המודל על כל האפשרויות, או לפחות על טווח מתמטי מוגדר. כלים של Pramaana יעניקו לארגונים את היכולת:
ההשפעה עשויה להיות עקיפה אך משמעותית:
יתרון תחרותי: עסקים שיאמצו בדיקה פורמלית יקבלו עדיפות בעסקאות B2B. קונים יעדיפו ספקים שיכולים להציג הוכחה מתמטית של בטיחות.
רגולציה: ככל שיעלו דיווחים על סיכונים של בינה מלאכותית, רגולטורים בישראל עלולים להטיל דרישות בדיקה כאלה בתחומים כמו משפט, בנקאות וטיפול רפואי.
עלויות: ארגונים יצטרכו לתקצב עבור שרותי אימות, כלי חדש שלא היה בחשבון שנה שעברה.
Pramaana אינה החברה הראשונה שעוסקת בבטיחות ובאימות של בינה מלאכותית. אך היא הראשונה שגייסה עשרות מיליוני דולרים כדי להפוך בדיקה פורמלית לכלי עסקי נגיש וזמין.
משמעות: Khosla Ventures רואה בבדיקה הפורמלית לא רק נישה אקדמית, אלא צורך אמיתי בשוק, וזה עלול להוביל לאימוץ מהיר בהרבה חברות.
עסקים בתחומים בעלי סיכון גבוה, משפטי, פיננסי, רפואי, צריכים לעקוב אחרי Pramaana Labs וכלים דומים. זה לא טרנד שיעבור; זה מהלך לכיוון שוק של בינה מלאכותית בטוחה וקביל. ייעוץ בנושא בינה מלאכותית יכול לעזור לארגון לתכנן כיצד לשלב כלים כאלה בתהליכי העבודה.
מרצה AI מוביל בישראל, מטמיע בינה מלאכותית בארגונים מ-2021. מייסד LazySEO AI ומכללת צדק אקדמי, מוביל קהילות עם מעל 100,000 חברים. שותף רשמי של Meta, Google, Canva ו-TikTok.
עוד עליי ←