מחקרOpenAI
מודלים של OpenAI הציגו שלוש תגליות מדעיות
כותרת המקור: Working with academic communities to build scientific understanding
- תאריך
- חברה
- OpenAI
- סוג
- מחקר
- מקור
- OpenAIלקריאה במקור (נפתח בחלון חדש)
בשפה פשוטה
- מה זה
- חברת OpenAI הכריזה על שלוש תגליות מדעיות חדשות בתחומי המתמטיקה, מדעי המחשב והפיזיקה, שהופקו על ידי המודלים שלה. החברה משתפת פעולה עם מומחים מהאקדמיה כדי לעזור לקהילה המדעית לבדוק ולהסביר את התוצאות הללו.
- איך זה עובד
- החברה מנסה שלוש גישות שונות לשיתוף המידע, שכוללות פרסום ישיר של החומרים או הקמת קבוצות עבודה עצמאיות של חוקרים. שיתופי הפעולה מבוססים על עקרונות של שקיפות, אי-דרישת קרדיט אקדמי מצד OpenAI ועצמאות מלאה של המדענים.
- איפה זה זמין
- קובצי ההסבר וההוכחות הלוגיות של תגליות המתמטיקה ומדעי המחשב זמינים בתיקיית GitHub הציבורית של OpenAI. קבוצת הפיזיקה בחרה בשלב זה שלא לפרסם את קובצי ה-AI, והם עובדים על כתיבת הממצאים בעצמם.
- דוגמה
- אחת התגליות מפריכה תיאוריה ותיקה במדעי המחשב בשם השערת הזמן האקספוננציאלי, דבר שעשוי לעזור לחוקרים לפתח אלגוריתמים מהירים יותר בעתיד.
למפתחים
- מה זה
- חברת OpenAI פרסמה תגליות שנוצרו על ידי מודלי ה-AI שלה באנליזה הרמונית, סיבוכיות חישובית ותורת השדות הקוונטית, אשר אומתו באמצעות כלי ההוכחה Lean. החברה בוחנת שיטות עבודה שונות עם הקהילה האקדמית לצורך אימות והסבר של ממצאים אלו.
- איך זה עובד
- עבור ממצאי המתמטיקה ומדעי המחשב, OpenAI שחררה את ההוכחות בשפה טבעית ואת הפורמליזציה של Lean ל-GitHub. במקרה של הפיזיקה, קבוצת מומחים חיצונית מנתחת את הממצאים ומנהלת את תהליך הפרסום באופן עצמאי.
- איפה זה זמין
- ההוכחות הכתובות וקובצי ה-Lean של תגליות המתמטיקה ומדעי המחשב זמינים במאגר ה-GitHub הציבורי של OpenAI. בנוסף, החברה תומכת במחקר עצמאי באמצעות מימון כנסים ותרומה לקרן Simons Foundation.
- דוגמה
- המודל הפיק הוכחה להשערת ההחלקה המקומית בכל הממדים, ובכך פתר את השערת Kakeya ואת השערת ההגבלה של Stein.
הפרסום המקורי
הכותרת וההסבר בעמוד הזה מבוססים על הפרסום של OpenAI. את כל הפרטים אפשר לקרוא במקור.
Working with academic communities to build scientific understanding
לקריאה במקור (נפתח בחלון חדש)