קרן סימונס הודיעה על מאמץ חדש בהיקף 15 מיליון דולר, שנועד לעזור למתמטיקאים להתמודד עם תקופה שבה בינה מלאכותית משנה את הדרך שבה נעשית מתמטיקה. לפי הודעת הקרן, המאמץ נעשה בשותפות עם Anthropic ו-OpenAI, והקרן תנהל ותקצה את הכספים.
המאמץ כולל תמיכה בסדנאות ובמיזמים שיעזרו לחוקרים להעריך תוצאות מתמטיות שנעשו בעזרת AI, ללמוד להשתמש בכלים חדשים ולגבש תקנים משותפים לשימוש ב-AI. הקרן תפרסם קריאה פתוחה להגשת הצעות, כך שההחלטות על חלוקת התמיכה ייעשו בידי הקהילה ולא בידי חברה אחת.
לדברי נשיא הקרן, דיוויד ספרגל, "כשבינה מלאכותית משנה במהירות את נוף המחקר, אנחנו רוצים לעזור לקהילה המתמטית להתאחד ולמצוא את הדרך הנכונה קדימה". לדבריו, יש להתייחס למתמטיקה כאוסף של הבנה משותפת שמונעת מסקרנות אנושית, ולא רק כאוסף של הוכחות ומשפטים.
מעבר למתמטיקה, Anthropic ו-OpenAI יעמידו כלי AI ומשאבי מחשוב גם לחוקרים שהקרן תומכת בהם במדע הבסיסי. הקרן מציינת את תרומתה הוותיקה לתחום, ובהם מימון פיתוח מערכת ההוכחות Lean, שמשנה את אופן העבודה של מתמטיקאים ואפשרה הוכחות בעזרת AI.
מה שעדיין לא ידוע: איך יתחלק הסכום בין המסלולים, מה היקף המשאבים שכל חברה תעמיד, ומי החוקרים הראשונים שייהנו מהתמיכה. הפרטים האלה מופיעים רק בהודעת הקרן, ולא נבדק דיווח עצמאי נוסף.
מקורות: הודעת קרן סימונס