טרנס טאו מזהיר: אופטימיזציה עיוורת של פתרון בעיות הורסת את המתמטיקה

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

המגדלור אינו היעד

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

אופטימיזציה עיוורת כפגיעה מתמשכת

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

פתרון חד-פעמי מול ידע מתחדש

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

מעמדו של טאו נותן משקל לטיעון

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