מהפכת ג'מיני: הבינה שפורצת את גבולות המתמטיקה
בשקט בשקט הכריזה גוגל דיפמיינד על הישג שעשוי לשנות את כללי המשחק לא רק בתחום הבינה המלאכותית, אלא בעולם המתמטיקה בכלל: גרסה חדשה ומתקדמת של מודל ג'מיני, בשילוב מצב "דיפ ת'ינק", הצליחה להגיע לרמת ביצוע של מדליית זהב באולימפיאדת המתמטיקה הבינלאומית לשנת 2025. המערכת פתרה 5 מתוך 6 בעיות מסובכות במיוחד בתחומי אלגברה, קומבינטוריקה, גיאומטריה ותורת המספרים וקיבלה ציון זהה למתמודדים הטובים ביותר בעולם. אבל השוס הגדול באמת – כל זה לא נעשה עם מודל מתמטיקה ייעודי, אלא עם מודל הצ׳ט הכללי.
המעבר ממתמטיקה פורמלית למתמטיקה אינטואיטיבית: מהפך הגישה
בשנה שעברה דיפמיינד כבר הדהימה את העולם כשמערכות AlphaProof ו-AlphaGeometry פתרו ארבע מתוך שש בעיות וזכו לרמת "מדליית כסף". אך ההישג היה כרוך בתרגום בעיות לשפה פורמלית (כמו Lean) והרצה ממושכת של יומיים-שלושה לכל פתרון. השנה, ג'מיני החדשה פעלה ישירות באנגלית טבעית, ממש כפי שמתחרה אנושי היה פותר את הבעיות, והצליחה להפיק הוכחות מתמטיות מלאות תוך מגבלת הזמן – 4.5 שעות, כמו כל משתתף אנושי. מדובר בזינוק מרשים, לא רק טכנולוגית אלא גם קונספטואלית: ממכונה שעובדת רק עם קלט פורמלי, למערכת שמבינה, מסיקה ויוצרת מתמטיקה ברמה עולמית בשפה חופשית.
איך זה עובד? Deep Think והחשיבה המקבילה
גולת הכותרת של ההישג היא מוד "Deep Think" – תצורת עבודה שמאפשרת למודל "לחשוב" במקביל על כמה כיווני פתרון, לשלב ביניהם ולבחור את הגישה האופטימלית, במקום להתקדם בשרשרת מחשבה ליניארית כמו בעבר. לכך הצוות הוסיף טכניקות חיזוק למידה ייחודיות, חשיפה למאגר פתרונות איכותי של בעיות עבר, ואפילו "טיפים כלליים" לפתרון בעיות אולימפיאדה. התוצאה: מערכת שמסוגלת לגשת לכל בעיה כמו מתמטיקאי מנוסה עם גמישות מחשבתית, העזה והבנה אינטואיטיבית.
המירוץ בין גוגל לאופן-איי: עידן חדש באולימפיאדת המתמטיקה
הבשורה של דיפמיינד לא נשארה לבד: באותו שבוע, גם OpenAI חשפה שמודל הניסוי החדש שלה – LLM המותאם לחשיבה מתמטית, השיג הישג דומה ומדהים, עם ביצוע ברמת מדליית זהב באולימפיאדת המתמטיקה. המודל של OpenAI, שעתיד להיות חלק מהדור הבא (GPT-5), פתר חמש מתוך שש הבעיות, וזכה לציון 35 מתוך 42 – בדיוק כמו ג'מיני של גוגל.
תחרות אנושית – ותחרות בין מכונות
הערכת היכולות לא התבצעה בתנאי מעבדה: המודלים קיבלו את הבעיות בדיוק כפי שניתנו למתחרים האנושיים, בשני מקצי בחינה של 4.5 שעות, ללא גישה לאינטרנט או כלים נוספים, ונדרשו להפיק הוכחות טבעיות בשפה האנגלית. שלושה מדליסטים אנושיים לשעבר בדקו כל פתרון בקפדנות, וכל ציון אושר פה-אחד.
החשיבות של ההישג לא נובעת רק מהתוצאה, אלא מהדרך: בניגוד לעבר, בו בוצעה התמחות במשימות צרות ותחומות, הפעם הדגימו החברות גישה של למידה כללית – חיזוק למידה גנרי, הרחבת עוצמת החישוב בזמן אמת, והסתמכות על יצירתיות של ממש, ולא רק על תרגול בעיות דומות מהעבר.
מ-GSM8K ל-IMO: זינוק עצום ברמת החשיבה
כדי להבין את עוצמת הקפיצה, צריך להסתכל אחורה: עד לאחרונה, שיאי הביצוע של AI במתמטיקה נעו סביב מבחנים קצרים (כמו GSM8K עם משימות של שניות בודדות או MATH Benchmark עם דקות בודדות לפתרון). אולימפיאדת המתמטיקה דורשת לא רק דיוק, אלא חשיבה ממושכת, אסטרטגיה והוכחות ארוכות, לעיתים בנות כמה עמודים, וכל זאת תחת לחץ זמן.
פריצת הדרך הנוכחית מלמדת שהמודלים החדשים כבר מסוגלים "להחזיק ראש" עם הטובים שבאנושות למשך שעות, לחשוב יצירתי, ולא להיבהל מהגמישות והעמימות של הבעיות. מדובר בצעד קריטי לקראת יצירת מערכות בינה שמסוגלות לפתור לא רק בעיות סגורות – אלא לפתח תובנות חדשות ולבצע מחקר עצמאי.
האם זה באמת סוף עידן ההישגים האנושיים?
למרות ההישג הדרמטי, באופן-אייאיי הדגישו: המודל המתמטי אינו מיועד עדיין לשימוש מסחרי נרחב, ולא ישוחרר לציבור בחודשים הקרובים. למעשה, עיקר המאמץ בשנה הקרובה יוקדש להעמקת ההבנה והבדיקה של המודל – כולל הערכה האם יש בו כשלים חבויים, והאם ניתן להרחיב את ההצלחה גם לתחומי מחקר מתקדמים יותר. "ההתפתחות הזו מבהירה עד כמה הבינה מלאכותית התקדמה במהירות בשנים האחרונות," אומר אלכס ויי, ממובילי המיזם. "אבל הדרך עוד ארוכה, והאנשים מאחורי ההצלחה – המתמטיקאים, הבודקים, החוקרים הם אלה שממשיכים לדחוף את התחום קדימה."
מה זה אומר על עתיד הבינה – ועל עתיד המתמטיקה?
העובדה שהבינה המלאכותית פתרה בעיות אולימפיאדה מהשורה הראשונה ועשתה זאת בצורה שנבדקה ואושרה על ידי בודקי IMO רשמיים – היא סמן מובהק לאבולוציה המהירה של התחום. ב-DeepMind מציינים שהמערכת עדיין רחוקה מלהחליף מתמטיקאים אנושיים, אבל הדרך לסוכן AI גנרי, המסוגל לעזור לכל מדען ומהנדס, כבר אינה מדע בדיוני עתידני – זה קורה כאן ועכשיו ורק יילך וישתפר. השילוב הצפוי בין שליטה בשפה טבעית להוכחות פורמליות, ייצור כלים רבי עוצמה ויש מי שכבר רואה בכך תחילת עידן חדש בחקר המתמטיקה, המדע וההנדסה.
מי מפחד מהבינה? מבט לעתיד עם חיוך אירוני
אפשר להניח שכמה מפתרונות ג'מיני השנה כבר ייכנסו לפנתיאון של פתרונות מתמטיים גדולים, אך גלי ההשפעה של ההישג הזה יחרגו בהרבה מתחום התחרויות. האם נראה בקרוב AI שמגלה משפטים חדשים, מוכיח השערות פתוחות, או אולי אפילו מתמודד עם בעיות שבעבר נחשבו לבלתי אפשריות? דבר אחד בטוח: לתלמידים ששונאים מתמטיקה יש תירוץ חדש ודי מוצלח לכך שמיותר ללמוד את המקצוע הזה…
