המערכת, המבוססת על סוכני AI ומודל Gemini Carbon, יצרה למעלה מ-6 מיליון שורות של הוכחות מתמטיות בתוך ארבעה שבועות בלבד, במשימה שבעבר דרשה שנים של עבודת מומחים.
ההוכחות נבדקו אוטומטית, כך שמומחים נדרשו לבחון לעומק רק כ-1% מהקוד.
מדובר בהתקדמות משמעותית לקראת אימות מתמטי אוטומטי של אבטחת תוכנות מורכבות.
חדשות בינה מלאכותית
חדשות השעה | מה שקורה – ומה שמעניין!
https://chat.whatsapp.com/Hd5b3ekMgmB5Jb7rMzoYrJ
never again🇧🇷
שבת שלום/חברים, חשוב ביותר שנקרא ונחתום על הצעת החקיקה הנ”ל, שעדיין זוכה לתמיכה מוגבלת, אך תקל מאוד על חייהם של יהודי ברזיל! חתמו! תמכו!!!! שתפו!!!!
worldjornalistaandrehmendan.online
Deixe um comentário