OpenAI פרסמה אוסף גדול של מחקרים מתמטיים המיוצרים על ידי מודל פנימי של AI, כולל עבודה על בעיות שאתגרו מתמטיקאים מקצועיים במשך שנים.
החברה הודיעה על שחרורו ב-6 באוקטובר, ואמרה כי התוצאות מכסות מגוון רחב של מתמטיקה ופורסמו בגלוי לבדיקה על ידי חוקרים.
האוסף הציבורי מכיל 722 כתבי יד מאורגנים ל-372 משפחות הקשורות לתוצאות, על פי קהילת המפתח של OpenAI. העבודה עלתה מתוך הערכה שכללה כ-4,000 בעיות מתמטיות.
ה- Verge מדווח כי האוסף משתרע על מאות תוצאות מתמטיות שנוצרו על ידי מודל גבול לא משוחרר. אבל פרסום לא אומר שכל תביעה צריכה להתייחס מיד כאל עובדה מתמטית מבוססת. החוקרים יצטרכו לבחון את ההוכחות ולקבוע את החשיבות והחידוש של תוצאות אינדיבידואליות.
תכונה משמעותית במיוחד היא ש-OpenAI מספקת פורמליזציה של הוכחות רבות באמצעות Lean, שפת תכנות המאפשרת הוכחה מתמטית להיבדק על ידי מחשב. החברה אומרת כי פורמליזציה נוספת תתווסף לאורך זמן.
OpenAI חשף גם מדד בולט של המחשוב המעורב. בממוצע, כל תוצאה דורשת מחשוב שווה בערך שלוש שעות של צ'אטGPT לחשוב באמצעות המודל הפנימי.
השחרור עוקב אחר טענות דרמטיות יותר לגבי היכולת של בינה מלאכותית לתרום למתמטיקה. בחודש ספטמבר, OpenAI אמר כי אותו מאמץ מחקר רחב יותר פתר יותר מ -100 בעיות פתוחות, מה שגרם לחברה לעבוד עם קבוצה עצמאית של מתמטיקאים בולטים על האופן שבו יש לבחון תגליות כאלה ולהתקשר.
קבוצה זו כוללת מתמטיקאים ממוסדות כולל סטנפורד, הרווארד, אוקספורד, קיימברידג', ברקלי והמכון למחקר מתקדם. תפקידו אינו רק לתמוך בעבודתה של OpenAI, אלא לייעץ באופן עצמאי על משמעות, תקני מחקר וגילוי אחראי.
השאלה הגדולה היא האם בינה מלאכותית יכולה לענות על שאלות מתמטיות קשות.
אם מתמטיקאים עצמאיים בסופו של דבר לאמת חלקים משמעותיים של עבודה זו, הגבול החדש עשוי להיות אם AI יכול לגלות באופן שגרתי מתמטיקה שבני אדם לא ידעו.