![]() |
AlphaEvolve של גוגל DeepMind שובר שיאים בתחום המתמטיקה. צילום: בלומברג . |
גוגל דיפ-מיינד פרסמה זה עתה דו"ח מדעי המראה כי AlphaEvolve שברה בו זמנית חמישה שיאי תת-גבול של מספרי רמזי. זוהי אחת הבעיות הקומבינטוריות הקשות ביותר במתמטיקה, כאשר שיאים קודמים עמדו על 6-20 שנים.
מנכ"ל DeepMind, דמיס האסאביס, שיתף מיד את החדשות וכינה אותן "אבן דרך משמעותית עבור בינה מלאכותית במתמטיקה". זוכה פרס טיורינג, יאן לקון, בירך גם הוא את צוות המחקר.
מספר רמזי הוא בעיה שהטרידה אפילו את המתמטיקאים הגדולים ביותר. פול ארדש, מורו של טרנס טאו, אמר פעם שאם חייזרים יאיימו על כדור הארץ והאנושות תצטרך לחשב את מספר רמזי R(5,5) בתוך מגבלת זמן מסוימת או שתעמוד בפני הכחדה, הבחירה הסבירה ביותר עבור האנושות תהיה להיכנע. אמירה זו משקפת את הקושי הקיצוני של הבעיה.
באופן ספציפי, AlphaEvolve שיפרה את הגבולות התחתונים של חמשת מספרי רמזי הקלאסיים, כולל R(3,13) מ-60 ל-61, R(3,18) מ-99 ל-100, R(4,13) מ-138 ל-139, R(4,14) מ-147 ל-148, ו-R(4,15) מ-158 ל-159. למרות שכל מספר גדל רק באחד, עלייה ביחידה אחת קשה יותר מאשר עלייה בסדר הגודל בבעיות רבות אחרות. כל חמש פריצות הדרך הגיעו מאותה מערכת.
ראוי לציין ש-AlphaEvolve לא פותר בעיות בדרך המקובלת. במקום שבני אדם יתכננו אלגוריתמי חיפוש ויתנו למכונות להריץ אותם, AlphaEvolve מסתדרת במרחב האלגוריתמי שלה. היא משתמשת בשפת התכנות ג'מיני בקנה מידה גדול כדי לשפר ללא הרף את הקוד שלה, לבדוק אותו, לדרג את ביצועיו ולשמור על האלגוריתמים היעילים ביותר.
צוות המחקר של DeepMind זיהה את AlphaEvolve כמי שהמציא ארבע קבוצות אלגוריתמיות שונות עבור 28 ערכי R(r,s), החל משיטות אתחול אקראיות ועד מבנים אלגבריים מורכבים המבוססים על גרפי פיילי וגרפים של שאריות ריבועיות.
זו לא הפעם הראשונה ש-AlphaEvolve עושה גלים. בעבר, המערכת שברה שיא של 56 שנים בליבות מטריצה, אופטימיזציה של לוחות הזמנים התפעוליים של מרכז הנתונים של גוגל, וגילתה דפוסי ארכיטקטורה פשוטים יותר של שבבי בינה מלאכותית. כאשר מערכת מגלה אלגוריתמים כדי לייעל את תהליך האימון שלה, הגבול בין הכלי ליוצר הופך לטשטש יותר ויותר.
מקור: https://znews.vn/google-gay-soc-post1635566.html







תגובה (0)