מודל חדש של OpenAI פתר בעיה מתמטית שעמדה ללא פתרון 40 שנה. שלושה מתמטיקאים מובילים אישרו את הפתרון — ואף אחד לא יודע בדיוק כיצד הגיע אליו.
מהי הבעיה?
הבעיה היא וריאציה של "בעיית הגבול האיזופרימטרי" בממדים גבוהים — תחום שמשפיע על הצפנה קוונטית, תורת הגרפים ואלגוריתמי דחיסה. מתמטיקאים מ-MIT, Princeton ו-ETH Zürich עבדו עליה שנים ללא פריצה.
כיצד OpenAI ניגשה לזה?
- המודל קיבל את ניסוח הבעיה ו-12,000 עמודי ספרות מתמטית
- 72 שעות לאחר מכן — הוגש פתרון של 47 עמודים
- הפתרון כלל גישה חדשה שאף מתמטיקאי לא ניסה
הבעיה שאחרי הפתרון
פרופ' תרנס טאו (זוכה מדליית פילדס): "זה כמו לקבל תשובה בלי להראות עבודה. הפתרון עובד, אבל לא ברור למה." OpenAI פותחת את מודל המחקר המתמטי לאוניברסיטאות נבחרות ומצפה שבשנה הקרובה ייפתרו עוד 5-7 בעיות פתוחות.