OpenAI פרסמה קבוצת פתרונות לבעיות מתמטיות ותיקות, ופרסום זה עורר ויכוח נרחב בקהילת המתמטיקאים המקצועית. רוברט הארט, כתב הטכנולוגיה של The Verge בלונדון, מתאר קהילה שעמדה בהלם נוכח הקצב שבו מודלים עברו מכישלון בסיסי להישגים ברמה מקצועית.
חברת OpenAI פרסמה לאחרונה קבוצת פתרונות לבעיות מתמטיות ותיקות שהעסיקו חוקרים במשך שנים, ולפי דיווח של The Verge הפרסום עורר ויכוח נרחב בקהילת המתמטיקאים. רוברט הארט, כתב הטכנולוגיה של The Verge בלונדון, שוחח עם כמה מהמתמטיקאים הבולטים בתחום, ולדבריו הפרסום השאיר את הקהילה המקצועית "בהלם" (shell-shocked, במונחיו).
לפי הארט, מודלים של בינה מלאכותית עברו בתקופה של כשישה עד שנים עשר חודשים האחרונים "תפנית פאזה" ביכולותיהם: ממצב שבו נחשבו גרועים באופן כמעט מוחלט, למצב שבו הם נראים טובים ברמה מקצועית של ממש. הוא משווה זאת למה שקרה בתחום הנדסת התוכנה, שם תהליך דומה נמשך כחמש שנים - בעוד שבמתמטיקה הוא התרחש, לדבריו, בפרק זמן מכווץ בהרבה.
התמונה מורכבת: לצד ההתקדמות במתמטיקה מתקדמת, המודלים עדיין נכשלים במשימות בסיסיות. הארט מציין שגם כיום מודלים מתקשים בתחומים כמו קביעת ימות השבוע או קריאת שעון - נילאי פאטל, מארח הפודקאסט ועורך הראשי של The Verge, הזכיר כתבה קודמת של האתר לפיה ChatGPT עדיין לא יודע לקרוא שעון. שני הכתבים מתייחסים גם לדוגמה המוכרת של מודלים שהתקשו לספור את האותיות בקלמה "strawberry" - בדיקה שלטענת הארט עברו המודלים כיום, אם כי השניים משערים בבדיחות הדעת שמדובר בפתרון "מקודד ידנית" ולא ביכולת ספירה אמיתית.
המשמעות המעשית עדיין לא ברורה, אבל היא מעוררת שאלות שהארט מתאר כקיומיות עבור התחום: אם מודלים מסוגלים לפתור בעיות מתמטיות ברמה כזו, ייתכן שחברות הבינה המלאכותית יוכלו להעביר את אותן יכולות לתחומים אחרים לגמרי. יש גם שאלה מוסדית - מה הטעם במענקי מחקר ובתוכניות אקדמיות שמכשירות דור חדש של מתמטיקאים לזהות בעיות פתוחות, אם מודלים מתקדמים פשוט עונים על השאלות הפתוחות בעצמם.
הארט מעלה גם אפשרות נוספת, מסויגת יותר: ייתכן שחלק מהתשומת הלב סביב ההישגים המתמטיים הללו הוא בעיקרו מהלך שיווקי מצד מעבדות הבינה המלאכותית המובילות, שלא בהכרח מחזיקות בעניין ארוך טווח בגורלו של אחד התחומים האקדמיים העתיקים והבסיסיים ביותר שיש. מדובר בפרשנות שהארט מציג כאפשרות שנדונה בשיחותיו עם מתמטיקאים, ולא כמסקנה סופית.