אנחנו מפרסמים מגוון רחב של תוצאות מתמטיות חדשות שהפיק מודל חזית פנימי.
כדי לגבש מתכונת אחידה לשיתוף תוצאות עם קהילת המתמטיקה, אנחנו מתייעצים עם הקבוצה המייעצת העצמאית למתמטיקה ולבינה מלאכותית במכון למחקר מתקדם(נפתח בחלון חדש) על פיתוח שיטות עבודה מומלצות, ומשלבים את עצותיה ואת המלצותיה הפומביות(נפתח בחלון חדש) באופן שבו אנחנו מפרסמים את התוצאות האלה.
בפרסום הנוכחי, אנחנו מפרסמים את התוצאות במאגר ב-GitHub, לצד נהלים לעדכון המאמרים ולאזכורם. אנחנו ממשיכים לבחון חלופות אחרות לפרסום התוצאות בפלטפורמות של הקהילה, שעומדות בהנחיות הוועדה. בפרסומים עתידיים, אנחנו מחויבים להמשיך לשפר את איכות המאמרים באמצעות שיפור ההפניות למקורות, ההסברים המתמטיים ואופן הצגת התוצאות, כדי להקל על הבנתם.
במאגר שלנו ב-GitHub, אנחנו משתפים ניסוחים פורמליים של רבות מההוכחות ב-Lean, שפת תכנות שמאפשרת לבדוק הוכחות מתמטיות באמצעות מחשב. נעדכן את המאגר בניסוחים פורמליים נוספים ככל שיהיו בידינו.
כדי לקדם שקיפות ופתיחות במדע, אנחנו מפרסמים במאגר גם פרטים נוספים על האופן שבו הגענו לתוצאות. אלה כוללים 10 סיכומים של תהליכי ה-reasoning של המודל, אומדנים של משאבי החישוב שהושקעו במונחי שימוש ב-Pro ב-ChatGPT, ונתונים סטטיסטיים על מספר הבעיות שנעשה ניסיון לפתור. בממוצע, כל תוצאה דרשה משאבי חישוב השקולים לכשלוש שעות חשיבה של ChatGPT Pro.
אנחנו רוצים שההתקדמות הזאת תרחיב את גבולות הידע האנושי ותאפשר התקדמות נוספת במתמטיקה. נממן סדרת סדנאות, כנסים ותוכניות מיוחדות שיתמקדו בהבנת תוצאות משמעותיות שהפיקה בינה מלאכותית — נשתף פרטים נוספים על כך בעתיד הקרוב.
אנחנו רוצים להעמיד יכולות מהמתקדמות ביותר ישירות לרשות מדענים, ופועלים לשחרור אחראי של המודל שהפיק את התוצאות האלה. לכן חשוב להמשיך להעריך את היכולות של מודלי החזית הפנימיים שלנו במתמטיקה ובמדעים אחרים, כדי שנוכל להאיץ את פיתוח הכלים לקידום התחומים האלה. נמשיך לפעול בהתאם למשוב מהקהילה ולעדכן את אמות המידה שלנו לפרסומים עתידיים של התקדמות מדעית משמעותית.
