מחקרOpenAI
OpenAI תורמת 5 מיליון דולר לחקר תוצאות ה-AI במתמטיקה
כותרת המקור: Sharing AI progress in mathematics
- תאריך
- חברה
- OpenAI
- סוג
- מחקר
- מקור
- OpenAIלקריאה במקור (נפתח בחלון חדש)
בשפה פשוטה
- מה זה
- חברת OpenAI פרסמה תוצאות מתמטיות חדשות לבעיות פתוחות, אשר הופקו על ידי מודל בינה מלאכותית פנימי שלה. בנוסף, החברה תורמת 5 מיליון דולר ליוזמה של קרן Simons כדי לסייע למתמטיקאים לחקור ולפתח את התוצאות הללו.
- איך זה עובד
- התוצאות פורסמו במאגר GitHub לצד סיכומים של דרך החשיבה של המודל והערכות לגבי כוח המחשוב שנדרש לכך. חלק גדול מההוכחות נכתבו בשפת התכנות Lean, המאפשרת למחשב לבדוק את נכונותן באופן אוטומטי.
- איפה זה זמין
- התוצאות המתמטיות, קוד ה-Lean ופרטי המחקר זמינים במאגר ציבורי ב-GitHub. בנוסף, OpenAI תספק גישה למודלים ולמשאבי מחשוב לחוקרים הנתמכים על ידי קרן Simons.
- דוגמה
- מתמטיקאים יכולים להשתמש בקוד ה-Lean ששותף כדי לתת למחשב לאמת באופן אוטומטי את נכונות ההוכחות שהפיק המודל.
למפתחים
- מה זה
- חברת OpenAI שחררה תוצאות מתמטיות חדשות לבעיות פתוחות שהופקו על ידי מודל frontier פנימי, לצד פורמליזציה של ההוכחות בשפת Lean ופרטי מחקר ב-GitHub. החברה גם הודיעה על תרומה של 5 מיליון דולר לקרן Simons לתמיכה במחקר של תוצאות מתמטיות מבוססות בינה מלאכותית.
- איך זה עובד
- השחרור כולל פורמליזציה של הוכחות רבות בשפת התכנות Lean המאפשרת אימות ממוחשב. בנוסף, פורסמו 10 סיכומים של חשיבת המודל, סטטיסטיקות על בעיות שנבחנו והערכות כוח מחשוב המראות כי התוצאה הממוצעת דרשה משאבים השקולים לשלוש שעות חשיבה של ChatGPT Pro.
- איפה זה זמין
- התוצאות, קוד ה-Lean ופרטי המחקר זמינים במאגר GitHub. גישה למודלים ומשאבי מחשוב תינתן לחוקרים הנתמכים על ידי קרן Simons, והחברה פועלת לשחרור אחראי של המודל שהפיק את התוצאות.
- דוגמה
- מפתחים וחוקרים יכולים לגשת למאגר ה-GitHub כדי לנתח את סיכומי החשיבה של המודל ולהריץ את קוד ה-Lean לצורך אימות ההוכחות.
הפרסום המקורי
הכותרת וההסבר בעמוד הזה מבוססים על הפרסום של OpenAI. את כל הפרטים אפשר לקרוא במקור.
Sharing AI progress in mathematics
לקריאה במקור (נפתח בחלון חדש)