טרנס טאו, המתמטיקאי של UCLA הנחשב לדמות החיה המשפיעה ביותר בתחום, פרסם מאמר שטען כי הבינה המלאכותית דוחפת את המתמטיקה לתקופה של סערה הדומה למשבר היסודי שעיצב מחדש את הדיסציפלינה לפני מאה שנה. המאמר, "מתמטיקה בעידן הבינה המלאכותית", הופיע ב-arXiv ב-17 באוגוסט והוא מבוסס על הרצאה פומבית של טאו שהועבר בקונגרס הבינלאומי של מתמטיקאים ב-2026.
החיבור הפך במהירות לאחד הטקסטים המדעיים הנדונים ביותר של השבוע בקרב חוקרים ומהנדסים, ומשך אליו קהלים גדולים בפורומים כמו האקר ניוז. עבור תחום שבילה את שלוש השנים האחרונות בוויכוח האם AI באמת יכול לעשות מתמטיקה ברמת מחקר, הטיעון של טאו משנה את השאלה לחלוטין.
משבר של ערכים, לא של אמת
המסגור ההיסטורי של טאו הוא מכוון. בערך בין 1900 ל-1930, המתמטיקה התערערה בגלל הפרדוקס של ראסל ב-1901 וממשפטי חוסר השלמות של גדל ב-1931 - תגליות שאילצו את המתמטיקאים לנטוש הנחות לא רשמיות ולבנות את היסודות המפורשים והקפדניים שהנושא נשען עליהם עד היום. הסערה הזו, הוא טוען, בסופו של דבר חיזקה את המתמטיקה.
ההקבלה שהוא מביא היא מדויקת: מה שעומד למבחן הלחץ כעת אינו המסגרת של המתמטיקה לאמת, אלא "המסגרת המרומזת ברובה של ערכים ומתמטיים" - מה הקהילה מחשיבה כתרומה, מה היא מתגמלת, מה היא רואה כמובן, ומי, או מה, היא מחשיבה כמי שעשה את העבודה. בדיוק כפי שהמשבר האחרון אילץ את המרומז להפוך למפורש, טאו טוען שהמשבר הזה יאלץ מתמטיקאים להגדיר מטרות שמעולם לא נאלצו לרשום.
דילוג על הדיון על היכולת
הבחירה המבנית הבולטת ביותר של החיבור היא שהוא מסרב להתווכח אם בינה מלאכותית יכולה לעשות מתמטיקה. במקום זאת, טאו מתנה את ההשערה שכלי בינה מלאכותית המסוגלים לבצע משימות מתמטיות ברמת מחקר יגיעו, ומתייחס לכל דבר במורד הזרם של ההנחה הזו כבעיה האמיתית. הוא מכנה זאת "שאלת התגובה הקהילתית": כיצד צריכה הקהילה המתמטית להגיב, לא האם היכולות אמיתיות.
זה מהלך אורתוגונלי בכוונה. ויכוחים על יכולת המודל, לדבריו של טאו, הם גם בלתי פתירים באופן מופשט וגם לא לעניין. השאלות הדחופות - לשם מה מיועדת מתמטיקה ומה בעצם מעריכים העוסקים בה - ידרשו תשובות גם אם התקדמות הבינה המלאכותית תיעצר מחר.
מחסור בהוכחות, שפע הוכחות וחוק גודהארט
מרכזי במאמר הוא תיאור מקרה על פתרון בעיות, המרכיב של תרגול מתמטי המאוים בצורה הכי ישירה על ידי אוטומציה. טאו בוחן מה קורה כשהתחום עובר מכלכלה של מחסור בהוכחות - שבה הוכחות מקוריות מאומתות הן נדירות ויקרות ערך - לזו של שפע הוכחות, שבה טיעונים שנוצרו על ידי מכונה זולים ושפעים.
רשימת מילות המפתח שלו מסמנת את הקרקע שהוא מכסה: פורמליזציה, עוזרי הוכחה, ביקורת עמיתים, חוק גודהארט. הפריט האחרון - העיקרון שמדד מפסיק להיות מידה טובה ברגע שהוא הופך למטרה - חוזר על עצמו לאורך כל הדרך. ספירת פרסומים, תוצאות התחרות ומוצא המשפט שימשו כולם כסמכות לתרומה מתמטית. בעולם שבו בינה מלאכותית יכולה לנפח את הפרוקסים האלה בקנה מידה, הקהילה תצטרך לתגמל את מה שהיא באמת מעריכה ולא את מה שהיא הצליחה לספור באופן היסטורי.
החיבור מסתיים בהמלצות ובסקר של זרימות עבודה מתפתחות - כולל סביבות הוכחה רשמיות מהסוג שטאו עצמו דגל בניסויים עם מתמטיקה בסיוע בינה מלאכותית, מאומתת רשמית - לצד הכרה גלויה שהתשובה של הקהילה תתפתח עם הטכנולוגיה.
מדוע מאמר במתמטיקה חשוב מחוץ למתמטיקה
טאו הוא דמות יוצאת דופן: מדליסט פילדס שבילה שנים בעבודה ישירה עם עוזרי הוכחה וכלי בינה מלאכותית במקום להעיר עליהם מרחוק. העיסוק המעשי הזה נותן לחיבור משקל מעבר למתמטיקה הטהורה, מכיוון שכמעט כל דיסציפלינה מחקרית מתמודדת עם אותו היפוך שהוא מתאר. סקירת עמיתים, מחברים, קרדיט והגדרת תרומה נמצאים תחת אותו לחץ בפיזיקה, ביולוגיה ומדעי המחשב - תחומים שחסרים להם ההתחלה של המתמטיקה בת מאה שנים בהפיכת יסודותיהם למפורשים.
קבלת הפנים עד כה מעידה שהוויכוח נחת. שרשורי הדיון התמקדו במסגור של מחסור לשפע של טאו כעדשה שימושית לאקדמיה בכללותה, תוך שימת לב מיוחדת לנקודה שלו כי משבר הערכים, בניגוד למשבר היסודות, אינו יכול להיפתר על ידי קבוצה קטנה של לוגיקים. הקהילה כולה תצטרך לעבוד על זה - כתבי עת, ועדות עובדים, גופי מענקים, והמתמטיקאים שהקריירה שלהם בנויה על הנורמות הגלומות שנמצאות כעת בלחץ.
המסקנה של טאו היא בסופו של דבר בונה ולא מבוהלת. המשבר הבסיסי יצר מסגרת מהימנה ששרד מאה של בדיקות. בחינה יסודית וכנה של מה שהמתמטיקה באמת מעריכה, לטענתו, עלולה להשאיר את הדיסציפלינה חזקה וגמישה יותר מבעבר - בתנאי שהקהילה תעשה את העבודה להבהיר את הכללים הבלתי כתובים שלה לפני שהנסיבות יבחרו בה.
---
הישאר לפני AIקבל את החדשות, הניתוחים ופריצות הדרך האחרונות של AI - הכל במקום אחד.
קרא עוד חדשות AI →
