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

בעזרת סט של 30 בעיות גאומטריה אולימפיות בין השנים 2000 ל-2022, AlphaGeometry פתרה 25 בעיות, בהשוואה לציון הממוצע של זוכי מדליות זהב של 25.9, ובכך עברה בהרבה את 10 הבעיות של מערכות מתמטיות ממוחשבות שפותחו בשנות ה-70.

צילום מסך 2024 01 18 ב-134500.png
חברי AlphaGeometry, משמאל לימין, כוללים את יוהואיי וו, טרין הואנג טריאו, לה וייט קווק ולואונג טאנג. צילום: וושינגטון פוסט

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

לדברי מייקל ברני, היסטוריון של מתמטיקה מאוניברסיטת אדינבורו, מחקר אלפא-גיאומטריה "הוא אבן דרך ביכולת לחשוב באופן אוטונומי ברמות אנושיות".

טרנס טאו, מתמטיקאי מאוניברסיטת קליפורניה שזכה במדליית זהב אולימפית בגיל 12, כינה את מערכת הבינה המלאכותית "הישג פנטסטי" ואמר שתוצאותיה "מפתיעות".

צילום מסך 2024 01 18 ב-134155.png
מחקר על אלפאגיאומטריה פורסם בכתב העת המדעי Nature.

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

AlphaGeometry היא מערכת המשלבת מודל שפת רשת עצבית (העמוק באינטואיציה מלאכותית, בדומה ל-ChatGPT אך קטן יותר) עם מנוע סמלי (המתמחה בהיגיון מלאכותי, כמו מחשב לוגי), לפני שהוא מכוון עדין להבנת גיאומטריה.

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

התוצאות התבססו על רשת נוירונים שאומנה על 100 מיליון דוגמאות גיאומטריות ללא תשובות אנושיות. כאשר היא החלה לעבוד על בעיה, המנוע הסמלי היה פועל ראשון. אם היא נתקעה, האלגוריתם העצבי היה מציע דרכים לשיפור הטיעון. לולאה זו נמשכה עד שנגמר הזמן (ארבע וחצי שעות) או עד שהבעיה נפתרה.

סטניסלס דהאן, נוירו-מדען קוגניטיבי בקולג' דה פראנס, אמר שהוא התרשם מביצועי AlphaGeometry, אך המערכת "לא קולטת דבר בבעיה שהיא פותרת". במילים אחרות, האלגוריתם מעבד רק את הקידודים הלוגיים והמספריים של תמונות. "אין לו מודעות מרחבית לעיגולים, קווים או משולשים".

ד"ר לואונג טאנג אמר כי אלמנט "חושי" זה יוכל להתווסף השנה, באמצעות פלטפורמת הבינה המלאכותית ג'מיני של גוגל.

(על פי הוושינגטון פוסט)

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