OpenAI מקימה קבוצת ייעוץ מתמטית: המודל שלה פתר יותר מ-100 בעיות פתוחות

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

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

גשר לקהילה המתמטית

הקבוצה תעריך את חשיבותן של תוצאות מתמטיות חדשות, תייעץ כיצד לתאם את פרסומן ותחווה דעה על הסטנדרטים האקדמיים והמקצועיים של המחקר. היא גם תייעץ כיצד הכלים של OpenAI יכולים לתמוך במחקר ובלימוד מתמטיקה. תשעת החברים המייסדים הם פרנסואה שארל (ENS-PSL), קמילו דה לליס (IAS), טימותי גוורס (קולז' דה פראנס וקיימברידג'), מרטין היירר (EPFL ו-Imperial College London), ניקהיל שריווסטבה (ברקלי), אולריקה טילמן (אוקספורד), ראבי ואקיל (סטנפורד), אדוארד ויטן (IAS) ומלני מאצ'ט ווד (הרווארד). החברים אינם מקבלים תשלום, יכולים לתת עצות שלא התבקשו, לפרסם את דעותיהם ולקבוע בעצמם את הרכב הקבוצה.

יותר מ-100 בעיות פתוחות

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

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

הקצב נשאר בידי OpenAI

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

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