Annanim News
עכשיו
קוונטים ומדידה מדויקתהמחשב הקוונטי הפוטוני הסיני Jiuzhang 4.0 זכה בפרס של כנס האינטרנט העולמיביטחון וטכנולוגיהמערכת נגד רחפנים של IWI נכנסה לשירות בתאילנד, וארבע מדינות נוספות באסיה בתהליך רכשסייברESET: האקרים פרו-סיניים חטפו בקשות של מקלדת Sogou כדי להתקין דלת אחוריתסייברSonicWall: שתי חולשות ב-GMS לא יתוקנו, כי המוצר כבר לא נתמךרגולציה ועסקיםבחירות האמצע בארה״ב: הצעות להגבלת מרכזי נתונים מנצחות כמעט בכל מקוםרכב אוטונומיקוריאה: ארגון צרכנים מאשים את טסלה במכירת FSD לבעלי רכבים שלא יכולים להשתמש בוסייברChrome 157 מתקן 213 חולשות, שבע מהן קריטיותסייברSentra הישראלית לאבטחת מידע מגייסת 150 מיליון דולרשבבים וחומרהדיווח: אנבידיה תספק לסין רק כ-1% מהזמנות ה-RTX Pro 5500סייברחולשה קריטית ב-Rails: העלאת קובץ מעוצב מאפשרת לכתוב קבצים לשרתשבבים וחומרהAMD צופה לראשונה בתולדותיה הכנסות רבעוניות גבוהות מאלו של אינטלסייברשתי חולשות ב-Xen מאפשרות למכונה וירטואלית זדונית לקרוא ולכתוב לזיכרון של מכונות אחרותקוונטים ומדידה מדויקתשבירת סימטריה אחת מספיקה לשליטה קוונטית מלאה בשרשרת אטומיםשבבים וחומרהWingtech דוחה את תוכנית הארגון מחדש של Nexperia ומאשימה באפליהביטחון וטכנולוגיהאנטנות סלולר כמכ״ם: נאט״ו, סין ו-Ericsson בודקות זיהוי רחפנים ברשתות 5Gרובוטיקהמטא בנתה עם Fourier הסינית רובוט דמוי אדם בתוך כשלושה חודשים

פורסם במקור:

אנתרופיק מפתחת את FlashProve, מערכת שמוכיחה איזה מודל ייצר תשובה

חוקרי אנתרופיק פרסמו מחקר על FlashProve, מערכת קוד פתוח ל"הסקה ניתנת להוכחה": הוכחה קריפטוגרפית שתשובה מסוימת יוצרה על ידי מודל מסוים. המפרט והקוד זמינים ב-GitHub; אין תוכנית לפרוס אותה כרגע.

אנתרופיק מפתחת את FlashProve, מערכת שמוכיחה איזה מודל ייצר תשובה
תמונה: TechCrunch (נפתח בכרטיסייה חדשה באתר המקור)

אנתרופיק פרסמה ביום שלישי פוסט מחקר על FlashProve, מערכת קוד פתוח לאימות המודל שייצר תשובה מסוימת. לפי TechCrunch, המערכת נועדה לספק "הסקה ניתנת להוכחה" (provable inference): הוכחה קריפטוגרפית, כלומר ערובה מתמטית, שהפלט הגיע ממודל מסוים. בדומה לחתימה דיגיטלית על אימייל, היא אמורה לעמוד גם מול מתחזה שהוא החברה שבנתה ומפעילה את המודל.

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

כדי שהמערכת תעבוד, מעבדות AI צריכות לפרסם "טביעת אצבע" לכל מודל שהן משחררות. טביעת האצבע לא חושפת את משקלי המודל, ולכן גם חברות של מודלים סגורים יוכלו להשתמש בה. החוקרים פרסמו מפרט טכני וקוד עובד ב-GitHub ברישיון קוד פתוח, אבל לפי TechCrunch המחקר עדיין נמשך ואין תוכנית לפרוס את המערכת באנתרופיק או במעבדה אחרת. "הפוסט נועד לשתף התקדמות ביניים", כתבו החוקרים.

מקורות

נושאים

התקנת האפליקציה

בספארי: לחצו על כפתור השיתוף ואז ״הוספה למסך הבית״.