ידיעות בינה מלאכותית בנושא GEMINI 4 CARBON
גוגל השיקה את מודל ה-AI החזק ביותר שלה, Gemini 4 Carbon, המיועד למשימות מסובכות כמו מחקר מדעי ופיתוח תוכנה. המודל זמין רק למנויי Google AI Ultra, שעולה 390 שקלים לחודש, וכולל יכולת ניסיונית להפעיל צוות סוכנים שעובדים במקביל. ההשקה מגיעה כחלק מניסיון של גוגל לסגור את הפער עם OpenAI ו-Anthropic.
חוקרי Google DeepMind השתמשו בסוכני AI ובמודל Gemini 4 Carbon כדי להוכיח מתמטית שחלקים מקוד ההצפנה של Signal מאובטחים, ויצרו יותר מ-3 מיליון שורות הוכחה. התהליך ארך ארבעה שבועות — עבודה שהייתה לוקחת לבני אדם שנים. זו הפעם הראשונה שבה פרוטוקול הצפנה שנפרס באופן נרחב מאומת פורמלית. אותו פרוטוקול מגן גם על WhatsApp ו-Google Messages, כלומר על הודעות של מיליארדי אנשים.
חוקרים ב-Google DeepMind השתמשו בסוכני AI כדי להוכיח באופן מתמטי שפרוטוקול ההצפנה של Signal עובד כמו שצריך. זה לקח להם ארבעה שבועות במקום שנים, ועשוי להוביל בעתיד לאימות אבטחה אוטומטי המובנה בכלי פיתוח.
גוגל הכריזה על Gemini 4 Carbon, מודל AI חדש הממוקד בסייבר, שמציג כביכול קפיצת מדרגה באיתור ובתיקון פרצות אבטחה — כולל כמות כפולה של קוד מאובטח מזו של Argon, לפי המדדים הפנימיים. אבל כרגע, רק שותפים נבחרים בתוכנית Fairwind יכולים לאמת את הטענות האלה. הציבור הרחב יצטרך לחכות.
