חיבור פילוסופי המצביע על כך שגילוי מתמטי מונע בינה מלאכותית אינו חייב להפחית מערכם של חיים מתמטיים אנושיים משך תשומת לב רחבה לאחר שהופיע בבלוג של טרנס טאו, המתמטיקאי של UCLA הנחשב כאחד המתמטיקאים החיים הטובים ביותר. "מתמטיקה נטולת אגו בעידן הבינה המלאכותית", שפורסם ב-2 בנובמבר, הוא פוסט אורח של מדעני המחשב Karthik C. S., Amit Sahai וג'י שואו - כשטאו מציין שהוא המיר את הטקסט לפרסום באמצעות בינה מלאכותית. החיבור טיפס במהירות ב-Hacker News, שם דנו הקוראים בטענה המרכזית שלו: שמתמטיקה הייתה יפה לפני שמישהו מאיתנו נולד, וערכה אינו תלוי במי שמגלה את התגליות.

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

שתי השקפות של מתמטיקה, נקודת לחץ אחת

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

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

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

המלכודת של הגדרת שווה לפי המכונה

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

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

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

ניסוי מחשבתי רמאנוג'אן לסגור

החיבור נסגר בניסוי מחשבתי שאוב מההיסטוריה המתמטית. על פי דיווחים, רמנוג'אן אמר, "למשוואה אין משמעות עבורי אלא אם היא מבטאת מחשבה על אלוהים" - שורה שהמחברים מצטטים מהביוגרפיה של רוברט קניגל משנת 1991 "האיש שידע אינסוף" (פורסם ב-1991, צוטט בפוסט שלהם מהמהדורה של 1992). אם הוא היה חי היום, צופה בהתקדמות הבינה המלאכותית במתמטיקה, האם הוא היה מוטרד מהמשמעות שלהן עבור מטרתו כמתמטיקאי?

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

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

---

הישאר לפני AI

קבל את החדשות, הניתוחים ופריצות הדרך האחרונות של AI - הכל במקום אחד.

קרא עוד חדשות AI →