קבוצה מייעצת למתמטיקה ולבינה מלאכותית

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

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

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

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

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

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

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

החברים הראשונים בקבוצה המייעצת למתמטיקה ולבינה מלאכותית⁠(נפתח בחלון חדש), הפועלת במסגרת המכון ללימודים מתקדמים⁠(נפתח בחלון חדש):

• פרנסואה שארל (ENS-PSL)

• קמילו דה לליס (IAS, GSSI)

• טימותי גאוורס (קולז' דה פראנס, קיימברידג')

• מרטין היירר (EPFL, אימפריאל קולג' לונדון)

• ניקהיל סריווסטווה (ברקלי, מכון סימונס)

• אולריקה טילמן (אוקספורד, INI)

• ראווי וקיל (סטנפורד)

• אדוארד ויטן (IAS)

• מלאני מאצ'ט ווד (הרווארד)