כל הכתבות ממקור Microsoft Research

בפוסט של מחלקת המחקר של מיקרוסופט (Microsoft Research), נחשף כיצד החברה משתמשת בשפות Rust ו-Lean, בכלי Aeneas ובסוכני בינה מלאכותית (AI Agents) כדי לבצע אימות פורמלי מקיף של אלגוריתמי קריפטוגרפיה בייצור בתוך ספריית SymCrypt. הפרויקט, המשמש ב-Windows וב-Azure, מציג גישה חדשנית המאפשרת לאמת את הקוד בדיוק כפי שנכתב על ידי המפתחים, ללא פגיעה בביצועים או התעלמות מאופטימיזציות חומרה. המאמר מתאר את השלבים מהפיכת תקנים למפרטים פורמליים, דרך תרגום קוד Rust באמצעות Aeneas, ועד לשימוש בסוכני AI לכתיבת הוכחות המאומתות באופן דטרמיניסטי.

מחקר חדש של Microsoft Research (זרוע המחקר של מיקרוסופט) מציג את SkillOpt (מערכת אופטימיזציה למיומנויות סוכני AI), גישה חדשנית ההופכת את תהליך כתיבת הפרומפטים לאימון פרמטרי מבוקר. המערכת שומרת על משקלי מודל השפה קפואים, ומאמנת שכבת מיומנויות טקסטואלית חיצונית באמצעות לולאת משוב המנתחת הצלחות וכישלונות. במבחני ביצועים מול מודלים מובילים כמו GPT-5.5, המערכת הציגה שיפור ממוצע של 23.5 נקודות במשימות מורכבות, ואיפשרה למודלים קטנים וזולים כמו Qwen3.5-4B לעקוף את ביצועי הבסיס של מודלים גדולים בהרבה ללא מיומנויות מותאמות.

פרויקט Ire של מיקרוסופט, סוכן AI אוטונומי להנדסה לאחור וניתוח נוזקות, הצליח לזהות גרסה חדשה וחמקמקה של הנוזקה LOTUSLITE. בעוד שגרסה זו עקפה את מרבית מערכות ה-EDR המובילות בשוק (כולל CrowdStrike ו-SentinelOne) ולא נכללה ברשימות החתימות, הסוכן ביצע ניתוח התנהגותי מעמיק ברמת הפונקציה וקבע כי מדובר בקוד זדוני. פריצת דרך זו מדגישה את המעבר משימוש בחתימות סטטיות לניתוח דינמי מבוסס בינה מלאכותית, המאפשר הגנה על ארגונים מפני איומי יום-אפס מורכבים.

מיקרוסופט הכריזה על שחרור גרסת 0.7 של פלטפורמת הקוד הפתוח Data Formulator. המערכת החדשה רותמת סוכני בינה מלאכותית מודעי-הקשר (Context-aware AI agents) במטרה לפשט תהליכי ניתוח נתונים מורכבים בארגונים. הפלטפורמה כוללת רכיב מתקדם של מחברי נתונים המאפשר הזרמת מידע באופן רציף ממסדי נתונים, קבצים מקומיים ומערכות בינה עסקית, תוך מניעת הצורך בעבודות אינטגרציה סיזיפיות מצד מחלקות ה-IT. בנוסף, סביבת העבודה הייחודית (Data Thread) מאפשרת למשתמשי הקצה לנהל שיח שוטף בשפה טבעית מול סוכני ה-AI, לתחקר נתונים, ליצור ויזואליזציות מתקדמות ולייעל את הליך קבלת ההחלטות העסקיות מבלי להזדקק לידע מוקדם בכתיבת קוד או שאילתות מורכבות.

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

מיקרוסופט חושפת את MagenticLite, פלטפורמה חדשנית המאגדת סוכני בינה מלאכותית קטנים שמסוגלים לרוץ ישירות על המחשב המקומי של המשתמש. בעזרת המודלים הייעודיים MagenticBrain לתכנון משימות וכתיבת קוד (14 מיליארד פרמטרים), ו-Fara1.5 לניווט בממשקים ודפדפנים, המערכת מוכיחה שאין צורך בכוח עיבוד של ענקיות הענן בכדי לבצע אוטומציות מורכבות. פריצת דרך זו מאפשרת לארגונים לעבד נתונים רגישים באופן לוקאלי לחלוטין ללא שליחתם מחוץ לארגון, מה שרלוונטי במיוחד לעסקים בישראל הכפופים לחוק הגנת הפרטיות, רגולציות פיננסיות ודרישות אבטחה מחמירות בסקטור העסקי והרפואי.

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

**AutoAdapt הוא פריימוורק אוטומטי של Microsoft Research להתאמת מודלי שפה לתחומים רגישים תחת מגבלות של תקציב, פרטיות וזמן תגובה.** לפי הדיווח, הכלי בוחר בין RAG, Fine-Tuning ושיטות כמו LoRA, ואז משפר את ההגדרות עם תוספת של כ-30 דקות וכ-4 דולר בלבד בניסויים. עבור עסקים בישראל, המשמעות היא מעבר מגישת ניסוי וטעייה לתהליך מסודר יותר, במיוחד בענפים כמו משפטים, רפואה, ביטוח ונדל"ן. כשמחברים מודל שפה ל-WhatsApp Business API, ל-Zoho CRM ול-N8N, הערך האמיתי הוא לא רק בתשובה טובה יותר, אלא בצנרת עבודה שניתן לשחזר, למדוד ולבקר תחת דרישות עברית, פרטיות ועלות.

**בינה מלאכותית לאקלים היא כלי לניהול טוב יותר של מערכות מורכבות, לא רק מקור לצריכת חשמל.** לפי Microsoft Research, מרכזי נתונים אחראים לפחות מ-0.5% מהפליטות הגלובליות ב-2024, אך צמיחתם יוצרת עומסים מקומיים ומחייבת תכנון זהיר. הערך העסקי האמיתי נמצא בשימוש ב-AI ובאופטימיזציה כדי לשפר לוגיסטיקה, ניתוב לידים, תיאום שירות וצריכת משאבים. עבור עסקים בישראל, המשמעות המעשית היא לחבר בין WhatsApp Business API, Zoho CRM, N8N וסוכני AI כדי לקצר זמני תגובה, להפחית נסיעות מיותרות ולשפר החלטות תפעוליות — תוך עמידה בחוק הגנת הפרטיות והתאמה לעברית ולשוק המקומי.

**עתיד העבודה עם AI תלוי פחות במודל עצמו ויותר באופן שבו הארגון בונה סביבו תהליך עבודה.** זה המסר המרכזי שעולה מהשיחה של Microsoft Research על דוח New Future of Work 2025: האימוץ עולה, אבל התועלת אינה אחידה בין עובדים, תפקידים וענפים. לפי הנתונים שהוצגו, כ-38% מהמשיבים בסקר גרמני משתמשים ב-AI לעבודה, ובחינוך כבר דווח על 80% מהמורים ו-90% מהתלמידים שמשתמשים בכלים גנרטיביים. עבור עסקים בישראל המשמעות ברורה: מי שיסתפק ב-ChatGPT או Copilot ברמת המשתמש יקבל ערך מוגבל. מי שיחבר AI ל-WhatsApp Business API, ל-Zoho CRM ול-N8N, עם בקרה אנושית והרשאות, יוכל לקצר זמני תגובה, לשפר טיפול בלידים ולמנוע טעויות תפעוליות.

**שיתוף פעולה אדם-AI הוא מודל עבודה שבו בינה מלאכותית לא רק מבצעת משימות, אלא משתתפת בהחלטות, כתיבה, למידה ושירות - תחת בקרה אנושית.** לפי דוח New Future of Work 2025 של Microsoft, משתמשי AI ארגוניים מדווחים על חיסכון של 40–60 דקות ביום, אך התועלת אינה אחידה, ועובדים צעירים בתפקידים חשופים ל-AI כבר נפגעים יותר. המשמעות לעסקים בישראל ברורה: לא מספיק לרכוש כלי כמו Copilot או GPT. צריך לחבר אותו לתהליך עבודה אמיתי, למשל דרך WhatsApp Business API, Zoho CRM ו-N8N, עם הרשאות, בקרה ותיעוד. מי שיבנה עכשיו פיילוט מסודר סביב מכירות, שירות או קליטת לידים, יוכל להרוויח זמן, לשפר איכות תגובה ולצמצם טעויות בלי לוותר על שיקול דעת אנושי.

**AsgardBench הוא בנצ'מרק חדש שבודק אם סוכן AI יודע לשנות תוכנית פעולה לפי מה שהוא רואה בזמן אמת.** מיקרוסופט בנתה את המבחן על AI2-THOR עם 108 מופעי משימה ב-12 סוגי מטלות, ומצאה שקלט חזותי משפר משמעותית את שיעורי ההצלחה לעומת טקסט בלבד. עבור עסקים בישראל, זו לא רק בשורת רובוטיקה: אותו עיקרון קובע אם סוכן שירות או מכירות יודע להגיב לסטטוס לקוח, למסמך חסר או להודעת WhatsApp חדשה. המשמעות המעשית היא שסוכני AI צריכים לא רק לענות, אלא לעדכן החלטות לפי מצב אמת במערכות כמו Zoho CRM, WhatsApp Business API ו-N8N.

**Phi-4-reasoning-vision-15B הוא מודל חזון-שפה פתוח בגודל 15B שמכוון לאיזון בין דיוק, מהירות ועלות חישוב.** לפי מיקרוסופט, הוא אומן על 200 מיליארד טוקנים בלבד ועדיין מציג ביצועים תחרותיים במשימות כמו קריאת מסמכים, ניתוח מסכים, OCR, מתמטיקה ומדע. מבחינת עסקים בישראל, הערך האמיתי הוא היכולת לשלב מודל כזה בתהליכים כמו קליטת מסמכים ב-WhatsApp, חילוץ נתונים, עדכון Zoho CRM ובקרת זרימה דרך N8N. ההמלצה הפרקטית: לא לרדוף רק אחרי המודל הגדול ביותר, אלא לבדוק בפיילוט מדדי דיוק, latency ועלות לכל מסמך או מסך אמיתי מתוך תהליך עסקי.

**CORPGEN הוא מסגרת של מיקרוסופט לסוכני AI שמנהלים כמה משימות תלויות במקביל, לא רק פעולה אחת בכל פעם.** לפי הדיווח, כשעומס המשימות עלה מ-12 ל-46, מערכות בסיס ירדו מ-16.7% ל-8.7% השלמה, בעוד CORPGEN הגיע ל-15.2% — פי 3.5 יותר מ-baselines. עבור עסקים בישראל, המשמעות היא שסוכן AI שימושי באמת חייב שכבת תכנון, זיכרון, בידוד הקשרים ואינטגרציה בין מערכות כמו WhatsApp Business API, Zoho CRM ו-N8N. זה רלוונטי במיוחד למשרדי עורכי דין, ביטוח, מרפאות ונדל"ן, שבהם כמה תהליכים רצים במקביל והמחיר של ערבוב מידע הוא גם תפעולי וגם רגולטורי.

**פודקאסט עתיד ה-AI לעסקים הוא לא רק תוכן הסברה, אלא איתות אסטרטגי של מיקרוסופט לגבי האופן שבו ארגונים צריכים להיערך לגל הבא של בינה מלאכותית.** הטריילר החדש של Microsoft Research, בהובלת Doug Burger, מדגיש שקצב ההתקדמות של AI ממשיך להאיץ ושמה שיקבע את התוצאה הם הבחירות הניהוליות שנעשה עכשיו. עבור עסקים בישראל, המשמעות אינה לרדוף אחרי כל כלי חדש, אלא לחבר תהליכים: WhatsApp Business API, Zoho CRM, N8N וסוכני AI שמקצרים זמן תגובה, מסווגים פניות ומתעדים מידע. מי שיבנה פיילוט מדיד ב-14 יום סביב תהליך אחד — לידים, שירות או תיאום — יוכל להפוך מסר מחקרי כללי למנגנון עסקי עובד.

**Project Silica מאפשר אחסון נתונים בזכוכית בורוסיליקט ל-10,000 שנה.** מיקרוסופט פרצה דרך עם כתיבה בפולס לייזר יחיד וקריאה במצלמה אחת. לעסקים ישראלים, זה פתרון ארכיון לנתוני CRM תחת חוק הגנת הפרטיות, חיסכון בעלויות ארוכות טווח.

בעולם שבו איסוף נתוני הדגמה יקרים ומסובכים, חוקרי מיקרוסופט מציגים גישה חדשנית ללמידת חיקוי: דגמי דינמיקה הפוכה חזויים (PIDM). במקום לחקות פעולות ישירות, PIDM חוזים מצבים עתידיים סבירים ומשמשים אותם כדי לבחור פעולות מתאימות. קראו עכשיו על היתרונות! (112 מילים)

בעידן שבו כל שישי אדם בעולם כבר משתמש בכלי AI גנרטיבי, מיליארדים נותרים מאחור בגלל כשלי זיהוי דיבור בשפותיהם. מיקרוסופט מחקר מציגה את Paza – צינורית אנוש-מרכזית חדשנית שמשפרת טכנולוגיות דיבור לשפות בעלות משאבים נמוכים. קראו את המאמר המלא עכשיו!