אם OpenAI אכן תפרסם מאות הוכחות מתמטיות שנוצרו בעזרת AI, כמה מהן יהפכו לידע שחוקרים יכולים להשתמש בו — ולא רק לתוצאות שקשה לעכל? פרופ׳ פרנצ׳סקו מאגי, יו״ר מחלקת המתמטיקה באוניברסיטת טקסס באוסטין, כתב כי OpenAI נראית כמי שעומדת לפרסם כ-400 הוכחות בשרת ציבורי. זו טענה של מאги, לא הודעה של OpenAI. לפי AGI Hunt, המידע על המהלך הגיע מאקדמאים ולא מהודעה רשמית של החברה.
הוכחה נכונה אינה סוף הסיפור
האזהרה של מאги אינה שהוכחות שנוצרו בעזרת AI חסרות ערך. הוא כתב שמתמטיקה אינה מתקדמת רק מצבירת טענות נכונות: צריך להבין תוצאות, לקשר אותן לידע קיים, להסביר אותן, לבחון אותן ולהשתמש בהן מחדש. בלעדי התהליך הזה, כתב, הן עלולות להישאר “lettera morta” — אות מתה.
גם אם יפורסמו מאות הוכחות, המספר לבדו לא יגלה אם כל אחת מהן נכונה, חדשה או חשובה למחקר. חוקרים יצטרכו לברר מה בדיוק נטען, כיצד ההוכחה בנויה ומה היא מוסיפה. לכן השאלה אינה רק אם מערכת יכולה להפיק הוכחות, אלא אם בני אדם יצליחו לבדוק אותן ולהבין את משמעותן.
האתגר הוא גם קצב הקליטה
ככל שתוצרים מתמטיים ייווצרו מהר יותר, כך עלול לגדול הפער בין קצב הייצור לבין הזמן והקשב הדרושים להבנתם. מאגי שאל מה יקרה אם המתמטיקה תיווצר מהר יותר מכפי שמתמטיקאים יכולים לעבד אותה — והצביע על האפשרות שלא יהיו די אנשים שיוכלו או ירצו לקרוא מאות הוכחות.
נכון לעכשיו, הפרסום המתוכנן נותר טענה שמאגי העלה ולא אושרה בהודעה רשמית של OpenAI. אבל גם אם המספר או התוכנית ישתנו, האתגר שהוא מתאר נשאר: תוצר מתמטי הופך לתרומה ממשית רק כשאפשר לבדוק אותו, להבין מה חדש בו ולשלב אותו בעבודה נוספת.
מקורות: הפוסט המקורי של פרנצ׳סקו מאגי; דיווח AGI Hunt; פרופיל מאגי באוניברסיטת טקסס באוסטין.