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

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

האוקיינוס ומי השתייה

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

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

השטחת נוף הקושי

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

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

המשאב הנדיר

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

סטנדרטים במקום איסור

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