סטארט-אפ ישראלי מאתגר ענקיות AI בפתרון בעיות מתמטיות
תורגם ותומצת מתוך NEWSru Israel על ידי baba
הסטארט-אפ הישראלי doubleAI, בהובלת אמנון ששואה, מציג גישה חדשנית לפתרון בעיות מתמטיות מורכבות באמצעות בינה מלאכותית מומחית. בניגוד לענקיות AI המשקיעות משאבים עצומים בגישה רחבה, doubleAI מתמקדת בחיפוש עמוק וממוקד, תוך השקעה מינימלית של 2,000 דולר. המערכת "Double Agent" הצליחה לפתור בעיה מתמטית בת 40 שנה, והחברה מוערכת ביותר ממיליארד דולר.
הידיעה ב-5 שורות · תקציר של baba
- הסטארט-אפ הישראלי doubleAI פיתח מערכת "Double Agent" לפתרון בעיות מתמטיות מורכבות.
- החברה, שהוקמה על ידי אמנון ששואה, מתמקדת ב"בינה מלאכותית מומחית" ולא בבינה מלאכותית כללית.
- המערכת הצליחה לפתור בעיה מתמטית בת 40 שנה בעלות של 2,000 דולר בלבד.
- הגישה של doubleAI יעילה יותר משיטות "כוח גס" של ענקיות AI כמו OpenAI.
- שווי החברה מוערך ביותר ממיליארד דולר.
חברת doubleAI הישראלית, שהוקמה על ידי אמנון ששואה, מציעה גישה חדשנית לפיתוח בינה מלאכותית בתחום המתמטיקה. החברה הצליחה להתקדם בפתרון בעיה מתמטית שהייתה תלויה כמעט 40 שנה, תוך השקעה של 2,000 דולר בלבד.
בעוד ענקיות כמו OpenAI משקיעות מיליוני דולרים וכוח מחשוב עצום בפתרון בעיות רבות במקביל, doubleAI נוקטת בדרך שונה. הסטארט-אפ, שנוסד על ידי פרופסור אמנון ששואה, מנכ"ל Mobileye, מתמקד ב"בינה מלאכותית מומחית" (AEI) ולא בבינה מלאכותית כללית (AGI).
הגישה ההמונית של ענקיות ה-AI, כפי שהודגמה במרוץ להוכחות מתמטיות, חשפה קשיים. מודלי שפה כלליים נוטים לייצר טקסטים ארוכים ומסורבלים להבנה אנושית, וכן קיימת בעיה של חוסר התאמה סמנטית בין קוד ההוכחה בשפת Lean למבנה הטקסט המיועד לבני אדם. הדבר מקשה על אימות התגליות של ה-AI.
המערכת "Double Agent" של doubleAI הדגימה יעילות בכך ששיפרה את מקדם הכיסוי לגרפים רגולריים מ-4/3 ל-8/5, הישג שלא נרשם מאז 1988. המערכת יצרה מבנה אלגברי חדש, אימתה אותו באמצעות Lean, הפיקה הוכחה פורמלית, וכל זאת בעלות של 2,000 דולר.
הצלחתה של doubleAI נובעת מהתמקדות בחיפוש במרחב צר של רעיונות, במקום בגישה רחבה. המערכת אינה מבזבזת משאבים על ידע עודף, אלא מתעמקת בתחום מתמטי ספציפי. בדומה ל-AlphaZero, היא מייצרת השערות, בודקת אותן באופן מיידי ולומדת מתוצאותיה. האדם מגדיר את כיוון החיפוש והתנאים, וה-AI מבצע את החישובים העמוקים. שווי החברה מוערך ביותר ממיליארד דולר, והיא מוכיחה כי חיפוש עמוק וממוקד בשילוב אימות קפדני יכול להיות יעיל יותר משיטת "כוח גס".
לא אותו אירוע: ידיעות אחרות שחולקות עם הידיעה הזו אנשים, מקומות או נושא. רקע, תגובות והמשכים.
