אנשים חכמים יותר מבינה מלאכותית.

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

תערוכת IMO 2025 נערכה בין ה-10 ל-20 ביולי בסאנשיין קוסט, קווינסלנד, אוסטרליה, עם 630 משתתפים. מתוכם, 67 (כ-11%) זכו במדליות זהב. העובדה שגם בינה מלאכותית השיגה הישג דומה היא אבן דרך היסטורית.

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

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

החומה האחרונה של האנושות?

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

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

למרות ששאיפה זו התממשה כאשר הבינה המלאכותית של גוגל ו-OpenAI זכו במדליות זהב, ראוי לציין ש-26 סטודנטים השיגו ציונים גבוהים יותר.

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

נבחרת ארה"ב באולימפיאדת המתמטיקה הבינלאומית 2025. צילום: WSJ.

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

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

בעיה מספר 6 גרמה למודלים של DeepMind ו-OpenAI להיכשל, אך לא רק הבינה המלאכותית התקשתה. מתוך 630 המתמודדים, 569 קיבלו גם הם ציון 0. רק 6 קיבלו ציון מושלם של 7 נקודות. ג'אנג, שהתגאה בפתרון החלקי שלו, זכה ב-4 נקודות, יותר מרוב המתמודדים האחרים.

אולי יעניין אותך גם

האנוי שואפת להפוך למרכז המחקר המוביל בתחום המוליכים למחצה באזור.DNVN - סגן יו"ר הוועדה העממית של האנוי, טרונג וייט דונג, חתם והוציא לאחרונה את תוכנית מס' 212/KH-UBND מיום 2 ביוני 2026, לפיתוח תעשיית המוליכים למחצה בעיר עד 2030, במטרה להפוך את האנוי למרכז מוביל למחקר, פיתוח והכשרה של עובדי מוליכים למחצה בווייטנאם ובאזור.

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

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

"יש דברים שבינה מלאכותית תעשה טוב מאוד. עם זאת, עדיין יהיו דברים שבני אדם יוכלו לעשות טוב יותר", העיר יונג.

המירוץ למדליית הזהב במתמטיקה

בשנת 2021, סטודנט בשם אלכסנדר ווי היה חלק מפרויקט מחקר שביקש ממנו לחזות את היכולות המתמטיות של בינה מלאכותית עד יולי 2025. כאשר שקל תחזיות אחרות, ווי חשב שזה אופטימי מדי.

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

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

בתוך שנה אחת בלבד, מערכות אלו פעלו לחלוטין ב"שפה טבעית" ללא כל התערבות אנושית. גם DeepMind השלימה את הבחינה בתוך מגבלת הזמן של 4.5 שעות שקבע ה-IMO. לשם השוואה, בשנת 2024, למערכת זו לקח מספר ימים לחשב את הפתרון.

אנשים רבים עשויים לחשוב על בינה מלאכותית כמתחרה. עם זאת, אלו שעומדים מאחורי המודלים רואים בהם כלים משלימים.

תוצאות סופיות של אולימפיאדת המתמטיקה הבינלאומית 2025. צילום: WSJ.

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

לפני שלושה שבועות, צוותו של ד"ר מין טאנג פיתח בהצלחה את AlphaGeometry 2. המאפיין הבולט ביותר של גרסה זו הוא יכולתה לפתור בעיות גיאומטריה שעולות על אלו של זוכי מדליות זהב באולימפיאדה המתמטית הבינלאומית (IMO).

"אם תלמידים עם כישורים שזכו במדליית זהב של IMO יוכלו לפתור 40 מתוך 50 בעיות, אז AlphaGeometry 2 יוכל לפתור 42 מתוך 50 בעיות" , שיתף ד"ר טאנג בשמחה.

אולי יעניין אותך גם

מיקרוסופט וחברות אחרות מתחרות כדי להביא את המחשוב הקוונטי לחיים.VTV.vn - מיקרוסופט, Atom Computing ו-EeroQ משפרות בהדרגה את המחשוב הקוונטי, טכנולוגיה הצפויה ליצור דור של מחשבים חזקים יותר מאלה של היום.

בשנה שעברה, דגם זה זכה רק במדליית כסף. השנה, גוגל משתמשת בדגם הרב-תכליתי Gemini Deep Think (גרסה שהוצגה בעבר בכנס המפתחים במאי).

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

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

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

מקור: https://znews.vn/nhung-nguoi-thong-minh-hon-ai-post1572367.html