25 זוכי מדליית פילדס פרסמו הצהרה משותפת שבה הם מצביעים ישירות על "פער מטרות חמור" בין החברות המפתחות AI לבין הקהילה המתמטית. המסמך פורסם ב-11 בספטמבר 2026 ב-Le Monde ובבלוג של טרנס טאו; בין החותמים — פייר דלין, פטר שולצה, מרינה ויאזובסקאיה, מנז'ול בהרגווה, יו דנג ואחרים. ההצהרה נולדה על רקע ההכרזות האחרונות של OpenAI על פתרון בעיית נאוויה — סטוקס בתוך 88 שעות בעזרת אלפי סוכנים ומיליוני הודעות.
עיקר הטענה אינו בכך ש-AI פותר בעיות, אלא באופן שבו הדבר קורה ובאילו ערכים מקודמים בכך. המתמטיקה מעריכה באופן מסורתי לא את עצם הפתרון, אלא את ההבנה של המבנים, את בידוד התרומה החדשה, את הבדיקה הקפדנית, את הציטוט הנכון ואת הזמן להרהור. החברות לעומת זאת מייעלות לפי מהירות ולפי מדדים ציבוריים: ככל שהמודל "סוגר" מהר יותר בעיה מוכרת, כך גבוהה יותר הערכתו בעיני המשקיעים והמשתמשים. האצה כזו, לדעת הזוכים, הורסת את "הקרקע הפורייה" לרעיונות חדשים ומערערת את תהליך הטיפוח של סטודנטים ורעיונות.
מבחינה מתודולוגית נשענת ההצהרה על תצפיות באירועים ממשיים. המתמטיקאים מציינים שמערכות AI לעיתים קרובות מפיקות פתרונות בלי הצגה כתובה מלאה, בלי הבחנה של מה שבאמת חדש ובלי התחשבות בעבודות קודמות. הדבר קשור ישירות למחלוקות האחרונות סביב קדימות במשימות שבהן OpenAI כביכול השתמשה בתוצאות שהושגו בעזרת מודלים של מעבדות אחרות, בלי ייחוס הולם למחברים. בשונה מהתהליך המתמטי המסורתי, שבו ההוכחה עוברת ביקורת עמיתים ודיון בקהילה, הגישה הממוכנת מותירה מעט מרחב להרהור כזה.
בהשוואה לגישות קודמות לשילוב כלים חישוביים במתמטיקה, המצב הנוכחי נבדל בהיקפו ובלחץ המסחרי. בעבר שימשו מחשבים לאימות או לחיפוש דוגמאות נגדיות, אך לא לייצור המוני של "פתרונות" לבעיות ידועות בזמן שיא. מאמצים מקבילים של מעבדות כמו DeepMind או Anthropic מתמקדים גם הם במדדי ביצוע (benchmarks), אולם דווקא OpenAI היא זו שמקדמת בשבועות האחרונים בצורה האגרסיבית ביותר את הנרטיב על "פריצת דרך" ב-Millennium Prize Problems. הדבר יוצר דינמיקה תחרותית שבה המהירות הופכת ליתרון המרכזי, ולא עומק ההבנה.
ההשלכות על התחום ברורות: אם הקהילה תתחיל להסתמך על פתרונות מכונה כדרך העיקרית להתקדמות, המרחב לעבודה איטית אך יסודית יצטמצם. סטודנטים וחוקרים צעירים עלולים לאבד את המוטיבציה ללימוד מעמיק, כיוון ש"תשובות" כבר קיימות בגישה חופשית. נוסף על כך, עולה הסיכון לטשטוש הייחוס והאחריות — מי נושא באחריות לטעות בהוכחת AI, אם היא מורכבת מאלפי קטעים?
ההצהרה אינה שוללת את התועלת שב-AI למתמטיקה, אך היא מדגישה את הצורך בדיון דחוף בכללי האינטראקציה. הזוכים קוראים לקהילה המתמטית, למפתחים ולחברה בכללותה לגבש מנגנונים שישמרו על ערכה של ההבנה המושגית ועל הציטוט הנכון. ללא מנגנונים כאלה, הפער בין המטרות רק ילך ויחריף, וישפיע לא רק על המתמטיקה אלא גם על תחומים אחרים של עבודה אינטלקטואלית.
שאלת המפתח שנותרה פתוחה היא: האם הקהילה המתמטית תצליח לכפות את סטנדרטי האימות והייחוס שלה על מפתחי ה-AI, או שמא הלוגיקה המסחרית תגדיר מחדש באופן סופי מה נחשב ל"קדמה" במדע הבסיסי.
