חיפוש בחדשות

לפי דיווח ב-TechCrunch, מודל בינה מלאכותית שטרם שוחרר של חברת Anthropic רשם התקדמות משמעותית בפתרון השערת רימן, אחת הבעיות הלא פתורות הגדולות במתמטיקה מזה 150 שנה. ההתקדמות הושגה לאחר שחבר צוות ללא הכשרה מתמטית הנחה את המודל לנסות להוכיח את ההשערה. המודל פעל במשך יום וחצי, בחן 650 רעיונות שונים בעזרת תיאום של 60 תת-סוכנים, והוציא 31 מיליון בסך הכל. ההישג אומת על ידי מתמטיקאים פנימיים בחברה וגובש בעזרת כלי הקוד הפתוח Lean. המקרה מעורר מחדש דיון בקהילה המדעית לגבי השפעת הבינה המלאכותית על ערכי המחקר המתמטי וייחוס הקרדיט לחוקרים אנושיים.

**אימות פתרונות מתמטיים של LLM הוא מעבר מבדיקת תשובה סופית לבדיקת דרך הפתרון עצמה.** זה הרעיון המרכזי במחקר חדש שפורסם ב-arXiv ומציע צינור עבודה עם Lean 4, שלושה סוכני AI ויכולת לאמת פתרונות גם באמצעות מודלים קטנים של עד 8B פרמטרים. עבור עסקים בישראל, המשמעות רחבה יותר ממתמטיקה: כל תהליך שבו AI מקבל החלטה — מתמחור ועד בדיקת זכאות — צריך להיבדק לפי שלבי ההסקה, לא רק לפי התוצאה. השילוב בין WhatsApp Business API, Zoho CRM, N8N וסוכני AI מאפשר לבנות תהליכים עם בקרה, תיעוד ועצירה אנושית בנקודות רגישות.

**שכבת מודיעין נייטרלית ל-AI ארגוני היא תשתית שמחברת מודלי שפה למערכות ולמסמכים של הארגון עם הרשאות ושליפה מבוססת-הקשר. לפי TechCrunch, Glean בונה את השכבה הזו מתחת לממשק, כדי לאפשר לארגונים לעבוד עם כמה מודלים (ChatGPT, Gemini, Claude) בלי להינעל לספק אחד.** הערך המעשי לעסקים בישראל הוא בעיקר במקומות שבהם המידע מפוזר בין WhatsApp, Google Drive ו-CRM: בלי “permissions-aware retrieval” קל לקבל תשובות לא מדויקות או לחשוף מידע פנימי. אם אתם רוצים להתחיל, הגדירו 5 מקורות אמת (למשל Zoho CRM, Drive, WhatsApp Business API), נקו הרשאות, והריצו פיילוט של 14 יום שבו כל תשובה חייבת לכלול קישור למסמך מקור.

**M2F היא מסגרת סוכנית שממירה ספרי מתמטיקה שלמים ל-Lean תוך 3 שבועות.** היא משיגה 96% הצלחה ומדגימה סקיילינג אוטומטי. לעסקים ישראליים, זה פותח אוטומציה של מודלים עסקיים בלוגיסטיקה ופיננסים, עם חיסכון של 70% בזמן פיתוח.

Glean מתפתחת לעוזר AI לעבודה ששולט בשכבה הבסיסית של כל הארגון ומתחרה בענקיות. גייסה 150 מיליון דולר בשווי 7.2 מיליארד. גלו כיצד זה משפיע על עסקים ישראליים.

שוק ה-AI הארגוני משתנה: Glean הופכת לעוזר AI שמנהל את שכבת הבסיס. CEO החברה מסביר בראיון כיצד ארגונים צריכים לאחד את הכלים שלהם. גייסה 150 מיליון דולר בשווי 7.2 מיליארד.

בעידן שבו איכות הנתונים היא המפתח להצלחת דגמי AI, חברת Handshake רוכשת את Cleanlab כדי לשפר את איכות תיוג הנתונים. קראו את הפרטים המלאים עכשיו.

הוכחת משפטים אוטומטית הופכת נגישה יותר עם 'גדלס פואטרי' – מערכת חדשה המשלבת מודלי שפה ב-Lean4 ופירוק רקורסיבי, עם 90% הצלחה ב-miniF2F. קראו על הגישה הפורצת דרך ועל הזמינות המיידית.