שתי בעיות מתמטיות ידועות לשמצה נפתרו על ידי מודל שפה גדול: הבעיה ה-554 של צומורה נפתרה, ואופטימליות הרוב הופרכה

Categorized as ללא קטגוריה
Save and Share:

GPT-5 Pro פתר לאחרונה שתי בעיות מתמטיות נפרדות וקשות במיוחד, והפגין בכך רמה חדשה ועוצמתית של חשיבה מופשטת. לא מדובר רק בטריקים חכמים; פתרון אחד מאתגר אמת מידה ברמה של האולימפיאדה הבינלאומית למתמטיקה (IMO), בעוד שהשני מפריך הנחה ותיקה בתורת האינפורמציה.

ראוי לציין כי המתחרים המובילים שלו, כמו Gemini 2.5 Pro של גוגל במצב "Deep Think" ו-Claude 4.5+ של אנת'רופיק, עדיין לא נבחנו בפומבי על בעיות ספציפיות אלו.

הנה הסבר פשוט על מה שקרה.

1. חידת האלגברה: הבעיה ה-554 של יו צומורה

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

מה עשה GPT-5 Pro? הוא היה למודל הבינה המלאכותית הראשון שפתר את הבעיה. לדברי מתמטיקאים בלתי תלויים שבדקו את המודל, GPT-5 Pro הפיק הוכחה מלאה תוך 15 דקות בלבד, ללא כל גישה לאינטרנט.

מדוע זה חשוב: זהו מדד ישיר להתקדמות. רק לפני חודשיים, מאמר מחקר שכותרתו "אף מודל שפה גדול לא פתר את הבעיה ה-554 של יו צומורה" טען שהמודלים הנוכחיים חסרים את היכולת לבצע משימות כאלה. הצלחתו של GPT-5 Pro מדגימה את קצב ההתקדמות המהיר להפליא בכישורי החשיבה של בינה מלאכותית.

2. פריצת הדרך בתורת האינפורמציה: הפרכת אופטימליות הרוב

מהי הבעיה? בעיה זו, המכונה "אופטימליות הרוב ב-NICD עם מחיקות" (NICD-with-erasures majority optimality), מגיעה מתחום תורת האינפורמציה. דמיינו ששני אנשים מקבלים גרסאות משובשות של אותו אות. כל אחד מהם מנסה לנחש פונקציה על סמך הנתונים החלקיים שבידיו, במטרה למקסם את הסיכויים ששניהם ינחשו את אותו הדבר. במשך זמן רב, מומחים האמינו שהאסטרטגיה הטובה ביותר היא "פונקציית הרוב" (בעצם, הצבעה דמוקרטית בין נקודות הנתונים).

מה עשה GPT-5 Pro? הוא הוכיח שאמונה ותיקה זו שגויה. במקום לפתור ולמצוא את הפונקציה הטובה ביותר, GPT-5 Pro מצא דוגמה נגדית ספציפית — פונקציה אחרת שמשיגה ביצועים טובים יותר, גם אם במעט, באופן חד-משמעי, מאשר כלל הרוב בתנאים מסוימים.

הנה הדוגמה הנגדית שהוא מצא עבור מערך ספציפי (p=0.4, n=5): f(x) = sign(x_1 - 3x_2 + x_3 - x_4 + 3x_5)

פונקציה זו השיגה ציון של 0.43024, ועקפה את הציון של פונקציית הרוב הטובה ביותר, 0.42904.

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

Leave a comment

האימייל לא יוצג באתר. שדות החובה מסומנים *