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

ב-2 בנובמבר 2026 פורסם בבלוג של המתמטיקאי טרנס טאו מאמר בשם Egoless Mathematics in the AI Era ("מתמטיקה ללא אגו בעידן ה-AI"). טאו הוא זוכה מדליית פילדס וקול בולט בדיון על בינה מלאכותית ומתמטיקה, אבל הוא לא כתב את המאמר. זהו פוסט אורח של שלושה חוקרים: קארתיק סי. אס. (Karthik C. S.), עמית סהאי (Amit Sahai) וג'יה שואה (Jie Xue). בהערה קצרה בראש הפוסט כתב טאו שהטקסט נכתב במקור בפורמט קובץ אחר והומר לפוסט בעזרת AI.

השאלה שקודמת לשאלה

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

ממציאים או מגלים?

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

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

הסקה אינה הבנה

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

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

למה זה חשוב

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