כשה-AI עושה מתמטיקה: טענה ותיקה של מתמטיקאים על ערך המחקר עומדת למבחן

דיון שהתפשט לאחרונה ברשת מעלה שאלה לא נוחה לקהילה המתמטית: אם במשך עשרות שנים הוצדק המימון הציבורי למחקר מתמטי בכך שהוא מועיל לחברה כולה, מה קורה לטיעון הזה כשמערכות AI מתחילות לעשות חלק מהעבודה בעצמן? לטענת מי שהעלו את הדיון, הנרטיב משתנה: פחות "המתמטיקה חשובה לכולם" ויותר "המתמטיקאים חשובים". זוהי טענה פרשנית ולא ממצא מבוסס, אבל המסמכים ההיסטוריים שהיא נשענת עליהם מראים עד כמה הטיעון התועלתני היה מרכזי באסטרטגיה של התחום.

דוח דייוויד: מתמטיקה כתשתית לאומית

נקודת הציון הבולטת היא דוח של המועצה הלאומית למחקר בארה"ב משנת 1984, Renewing U.S. Mathematics: Critical Resource for the Future, שזכה לכינוי "דוח דייוויד" על שם יו"ר הוועדה, אדוארד דייוויד, לשעבר יועץ המדע של הנשיא. כבר בכותרת המתמטיקה מוצגת כ"משאב קריטי לעתיד". לפי סקירה של האקדמיות הלאומיות האמריקאיות, הדוח הצביע על שחיקה במימון הפדרלי שנמשכה יותר מעשור ועל חוסר איזון מול הפיזיקה וההנדסה, תחומים שתלויים בכלים מתמטיים וסטטיסטיים. לפי נתוני 1980 שצוטטו בו, כ-3,300 כימאים וכ-3,300 פיזיקאים קיבלו מימון מחקר פדרלי, לעומת 2,300 חוקרים במדעים המתמטיים בלבד.

הדוח קרא להכפיל את המימון הפדרלי. בפועל המימון עלה ב-34% ולא ב-100%, והעלייה הצטמצמה בהמשך שנות השמונים. דוח המשך, "דייוויד II", שהוזמן ב-1989, מצא שהתמיכה בסטודנטים לתארים מתקדמים ובפוסט-דוקטורנטים עלתה בין 1984 ל-1989 ב-61% וב-42% בהתאמה. עם זאת, הוא קבע שיסודות מפעל המחקר עדיין "רעועים כמו ב-1984".

הצהרת ריו: "מפתחות לפיתוח"

הטיעון לא נשאר אמריקאי. ב-6 במאי 1992, בטקס לציון 40 שנה למכון למתמטיקה טהורה ושימושית (IMPA) בריו דה ז'נרו, הכריז נשיא האיגוד המתמטי הבינלאומי (IMU), פרופ' ז'אק-לואי ליונס, על שנת 2000 כ"שנת המתמטיקה העולמית". ההצהרה הציבה שלוש מטרות. השנייה נקראה "המתמטיקה, מפתחות לפיתוח", ונכתב בה שהמתמטיקה הטהורה והשימושית היא "אחד המפתחות העיקריים להבנת העולם ולהתפתחותו". המטרה השלישית עסקה ב"תדמית המתמטיקה" ובנוכחות שיטתית שלה ב"חברת המידע".

למה זה חשוב עכשיו

המשמעות של הדיון, ככל הנראה, נוגעת פחות למתמטיקה עצמה ויותר לכלכלה הפוליטית של המדע. במשך שנים התבסס המימון הציבורי על ההנחה שהשקעה במתמטיקאים היא הדרך להשיג את התועלת של המתמטיקה. אם כלי AI יוכלו לספק חלק מהתועלת הזו, הקשר בין שני חלקי המשוואה ייחלש, והקהילה תצטרך לנסח מחדש למה כדאי לממן אותה.

עם זאת, חשוב לסייג. הטענה שהקהילה המתמטית "משנה נרטיב" מבוססת על פרשנות של משתמשים ברשת, ולא על מחקר שיטתי של עמדות מתמטיקאים. ייתכן גם שאין כאן סתירה של ממש: גם הדוחות הישנים עסקו בהרחבה בהכשרת חוקרים צעירים, במשרות פוסט-דוקטורט ובצנרת של כוח אדם, כלומר באנשים ולא רק בתוצרים. ההבדל, אם יש כזה, הוא בסדר העדיפויות: אם פעם המתמטיקאים הוצגו כאמצעי לתועלת חברתית, השאלה היא אם עכשיו הם יוצגו כמטרה בפני עצמה.