קרן סימונס הכריזה על סדרה חדשה של יוזמות שיסייעו לקהילת המתמטיקה לנווט את העלייה המהירה של בינה מלאכותית בתחום, בגיבוי של 15 מיליון דולר במימון משולב ומשאבים מהקרן, Anthropic ו-OpenAI.
הקרן תנהל ותעניק את המימון, לרבות באמצעות קול קורא פתוח להצעות, כדי לתמוך בסדנאות ויוזמות המסייעות לחוקרים להעריך את התוצאות האחרונות שנעזרו בבינה מלאכותית, ללמוד ולהשתמש בכלים חדשים, לחלוק נקודות מבט ולעצב סטנדרטים קולקטיביים לאופן השימוש בינה מלאכותית במחקר מתמטי. For more context on this story, see our ongoing artificial intelligence updates.
כלים ומחשבים מעבר למתמטיקה
מעבר למימון, Anthropic ו-OpenAI יספקו כלי בינה מלאכותית ומשאבי מחשוב לחוקרים הנתמכים על ידי קרן סימונס. על פי הודעת הקרן, תמיכה זו משתרעת מעבר למתמטיקה וכוללת מדע בסיסי בצורה רחבה יותר - ערוץ ישיר בצורה יוצאת דופן בין מעבדות בינה מלאכותית וחוקרים אקדמיים עובדים.
ההסדר בולט במבנה שלו: במקום שהמעבדות קובעות את סדר היום, הקרן שולטת על אופן חלוקת הכסף, והחומר לעיתונות מדגיש שהפרסים והמשאבים יהיו מונעים בקהילה.
מדוע מתמטיקה היא הקו הקדמי
מתמטיקה הפכה לאחד משטחי הבדיקה המשמעותיים ביותר עבור AI במדע. קרן סימונס הייתה תומכת מוקדמת של למידת מכונה למדע, כולל מימון הפיתוח של העוזר להוכחת רזה, שעיצב מחדש את האופן שבו מתמטיקאים ממסזים את העבודה ואפשרו הוכחות בסיוע בינה מלאכותית. ככל שמערכות בינה מלאכותית תורמות יותר ויותר לגילוי מתמטי, הקהילה מתמודדת עם בעיה מעשית: כיצד לאמת, להעריך ולסמוך על תוצאות שהופקו בסיוע מכונה משמעותי.
בעיית האימות היא מרכזית במה שהיוזמה החדשה מממנת. סדנאות ויוזמות שמטרתן "הערכת תוצאות אחרונות שנעזרו בבינה מלאכותית" מכירים בכך שתהליך ביקורת עמיתים המסורתי לא תוכנן להוכחות שנכתבו עם מערכות בינה מלאכותית, או במקרים מסוימים שהופקו באופן מהותי על ידי מערכות בינה מלאכותית.
מסגור הקרן: קהילה ראשונה
נשיא קרן סימונס דיוויד שפרגל הגדיר את המאמץ כרגע לקבלת החלטות קולקטיבית. "כיוון שהבינה המלאכותית מעצבת מחדש במהירות את נוף המחקר, אנחנו רוצים לעזור לקהילה המתמטית להתאגד ולבחור את הדרך הטובה ביותר קדימה", אמר שפרגל בהודעה. "עכשיו זה הזמן להסתכל על המתמטיקה כמכלול - לא כאוסף של הוכחות ומשפטים, אלא כהבנה קולקטיבית המונעת על ידי סקרנות אנושית."
שפרגל היה מפורש לגבי מי צריך לקבוע את תנאי האימוץ. "הקהילה צריכה להניע את הדיונים על האופן שבו הכלים האלה מוערכים, מאמצים ומשתמשים בהם, לא אף חברה או מוסד בודד", אמר. "מטרת התוכנית היא לתמוך בקהילת המתמטיקה".
ההצהרה נקראת ניגוד מכוון לדינמיקה המוכרת בכל רחבי אימוץ הבינה המלאכותית: מוסדות בודדים מנהלים משא ומתן על עסקאות נפרדות עם ספקי מודל, עם נורמות שנקבעות על ידי איזו מעבדה או אוניברסיטה מהלכים קודם. על ידי ניתוב המימון באמצעות קריאה פתוחה ושימת דגש על סטנדרטים קולקטיביים, הקרן מנסה להקים נקודת תיאום לדיסציפלינה שתפוקתה - הוכחות - ניתנת לאימות בצורה יוצאת דופן, ולכן היא חשופה באופן יוצא דופן לקיצורי דרך בסיוע בינה מלאכותית.
מודל לתחומים אחרים
היוזמה עשויה לשמש תבנית מעבר למתמטיקה. תחומי מדע בסיסיים מתמודדים עם אותה שאלה בסיסית - כיצד לספוג כלי בינה מלאכותית מבלי לוותר על תקנים לספקי הכלים הללו - והמבנה של קרן סימונס, שבו פילנתרופיה ניטרלית מנהלת משאבים שנתרמו על ידי חברות בינה מלאכותית מתחרות, הוא אחד הניסיונות הראשונים לתת תשובה.
ההיסטוריה של הקרן העניקה לה אמינות למלא את התפקיד הזה: מעבר למימון המוקדם של ה-Lean proof Assistant, היא כינסה סדנאות, הרצאות ושיתופי פעולה שחקרו את תפקידה של AI במתמטיקה. ההתחייבות החדשה של 15 מיליון דולר מגבשת את כינוס הכוח לתוכנית ממומנת בדיוק ברגע שהתוצאות הנעזרות בבינה מלאכותית מגיעות מהר יותר ממה שהנורמות של הקהילה יכולות לקלוט אותן.
---
Stay Ahead of AIGet the latest AI news, analysis, and breakthroughs — all in one place.
Read more AI news →
