OpenAI הכריזה ביום שני על קבוצת ייעוץ עצמאית חדשה למתמטיקה ואינטליגנציה מלאכותית, המתארחת במכון למחקר מתקדם (IAS) בפרינסטון, ניו ג'רזי - וחשפה כי אותו מודל פנימי מאחורי התוצאה המערערת של Navier-Stokes שלה פתר, לפי הספירה שלו, יותר מ-100 בעיות פתוחות נוספות ברוב תחומי המתמטיקה.
הקבוצה נועדה לתת למתמטיקאים ערוץ רשמי למחקר המכוון במתמטיקה של החברה ברגע שבו קהילת המחקר מתוסכלת בגלוי מהאופן שבו תוצאות אלו מתפרסמות. "קבוצה זו תשמש גשר לקהילה המתמטית ולציבור הרחב יותר, ותעניק למתמטיקאים קול כיצד אנו מתקדמים", אמרה OpenAI בהודעתה, כפי שצוטט על ידי TechCrunch. For more context on this story, see our ongoing AI trends.
תגובה לתגובת הנגד של Navier-Stokes
הקמת הקבוצה המייעצת באה בעקבות פרסום פתאומי של פתרון נטענים לבעיית פרס המילניום של נאוויאר-סטוקס, תוצאה שהדהימה את המתמטיקאים הן בשל שאיפתו והן בשל קצב שחרורו. בפועל, הקבוצה החדשה של OpenAI תשרת בעיקר תפקיד מייעץ: הערכת המשמעות של תוצאות חדשות ותיאום שחרורן, כך שפריצות דרך לכאורה יגיעו עם הקשר ובדיקה של מומחים ולא כהכרזות מפתיעות.
הבדיקה לא הרפה. סיינטיפיק אמריקן פרסם מאמר ביום שני ששואל "האם OpenAI פתר את הבעיה הלא נכונה של Navier-Stokes?" - השתקפות של כמה אי ודאות עדיין אופפת את הטענה אפילו בקרב עיתונאי מדע שעוקבים אחריה מקרוב.
מתמטיקאים בולטים רבים התמודדו עם הקצב התזזיתי של הטענות האחרונות בצורה רחבה יותר. מוקדם יותר החודש, 25 מתמטיקאים זוכי מדליית פילדס חתמו על מכתב פתוח בטענה שמעבדות בינה מלאכותית מאיימות על העבודה האינטלקטואלית של המתמטיקאים כשהם מתחרים זה בזה עם פתרונות לבעיות מפורסמות. החשש הוא לא שהבעיות ייפתרו - אלא שתרבות בת מאות שנים של פרסום זהיר ומאומת עוברת קיטור על ידי מעבדות הדוהרות אחר כותרות.
כוח מייעץ — עם גבולות קשים
מבנה הקבוצה מנסה לאזן בין עצמאות לבין כוונה ברורה של OpenAI לשמור על שליטה על סדר היום המחקרי שלה. החברים לא יקבלו תשלום. הם יכולים להציע עצות לא רצויות, לפרסם את דעותיהם בפומבי ולשלוט בחברות שלהם - הוראות שנותנות לגוף מידה של עצמאות מהחברה שיצרה אותו.
אבל לקבוצה אין כוח להאט שום דבר. כפי שמנסח זאת הפוסט של OpenAI, "הקבוצה לא תהיה אחראית לייעץ לנו כיצד לקצב את ההתקדמות הפנימית שלנו במתמטיקה".
המכון ללימודים מתקדמים הדגיש את אותה נקודה בהכרזה שלו. "למרות שאנו ניתן עצות, אין לנו כוח קבלת החלטות באף חברת AI, והאחריות להחלטות שמתקבלות על ידי כל חברה תהיה על אותה חברה", נכתב בהודעת המכון.
אותה חלוקת עבודה - ייעוץ ללא סמכות - היא הפשרה שאפשרה את השותפות. IAS מקבל מקום ליד השולחן למתמטיקה; OpenAI שומרת על ההגה.
תשעה חברים, חפיפה קטנה עם המבקרים
תשעה מתמטיקאים בולטים נקראו כחברים ראשוניים בקבוצה. יש לציין שרק אחד מהם - Camillo De Lellis של IAS - חתם גם הוא על מכתב מדליות פילדס מוקדם יותר החודש, סימן לכך ש-OpenAI לא סתם גייסה את המבקרים הקולניים ביותר שלה לחדר.
אם זה משנה תלוי במה שהקבוצה עושה עם הפלטפורמה שלה. חבריה יכולים לא להסכים בפומבי עם החברה, והעיצוב מזמין אותם. גוף מייעץ שלעולם אינו משמיע התנגדות יסדיר את שאלת ערכו במהירות.
למה זה חשוב
ההכרזה היא נקודת הבזק האחרונה בוויכוח על האופן שבו מעבדות בינה מלאכותית צריכות להתמודד עם טענות מדעיות שנוצרו על ידי מכונה. מודל שטוען ליישב בעיית פרס המילניום הוא קביעה יוצאת דופן, והתלונה המרכזית של הקהילה המתמטית היא פרוצדורלית: תוצאות בסדר גודל כזה ראויות לאימות ולשחרור מדוד, לא להודעות על מחזור העיתונות.
אימות הוא צוואר הבקבוק האמיתי. הוכחה שלוקח לדגם ימים להפיק יכולה לקחת למומחים אנושיים חודשים לבדוק, ולמתמטיקה אין תשתית לביקורת עמיתים המיועדת לאסימטריה הזו. זו בדיוק הבעיה שהמנדט של הקבוצה - הערכת משמעות ותיאום שחרור - בנוי לטפל, לפחות באופן עקרוני.
המהלך של OpenAI מכיר בביקורת הזו תוך עצירה קצרה מוויתור על שליטה. הקבוצה יכולה להעניק לגיטימציה, לתאם את אופן הצגת התוצאות ולתת לאנשים מבחוץ פלטפורמה ציבורית - אבל החברה שומרת על סמכות מלאה לגבי מה המודלים שלה רודפים וכמה מהר. הטענה של 100 פלוס בעיות פתורות יושבת כעת על גוף שיכול לעצב את האופן שבו היא מוכרזת, לא אם היא מבוצעת.
אם מתמטיקאים יתייחסו לקבוצה המייעצת כאל בדיקה משמעותית או עלה תאנה יהיה תלוי במה שקורה אחר כך: האם הטענה הגדולה הבאה תגיע עם איפרימיטור הקבוצה, וחשוב מכך - עם הוכחות שהקהילה באמת יכולה לאמת.
---
Stay Ahead of AIGet the latest AI news, analysis, and breakthroughs — all in one place.
Read more AI news →
