במשך רוב המאה הקודמת, העיסוק במתמטיקה השתנה מעט מאוד. מתמטיקאי מבחין בדפוס, כותב השערה, משקיע חודשים או שנים בבניית הוכחה, ומתמטיקאים אחרים מאמתים אותה. כעת, לפי דיווח מעמיק של בנג'מין סקוז' ב-IEEE Spectrum, הבינה המלאכותית מתחילה לעקוף את התהליך האיטי והדיוני הזה ומאלצת את התחום להתעמת עם מה שזה בעצם אומר להיות מתמטיקאי.
היצירה, שפורסמה ב-25 ביוני 2026, עוקבת אחר כמה מהר התפתחו מודלים של שפות גדולות ממה שהמבקרים ביטלו פעם כתוכים סטוכסטיים למנועי חשיבה מתמטיים אמיתיים ומה המשמעות של השינוי הזה עבור בני האדם שתמיד עשו את העבודה הזו. For more context on this story, see our ongoing breaking AI news.
טביעת הרגל הגדלה במהירות של AI במתמטיקה
החישוב האיץ את המתמטיקה במשך עשרות שנים. נקודת המפנה הגיעה לפני בערך 50 שנה, כאשר נעשה שימוש במחשב כדי להוכיח את משפט ארבעת הצבעים, ששואל האם ניתן לצבוע כל מפה עם לא יותר מארבעה צבעים כך שאף אזור סמוך לא חולק צבע. התשובה הייתה כן, אבל ההוכחה הייתה שנויה במחלוקת מכיוון שהיא הסתמכה על בדיקת 1,936 מקרים שאף אדם לא יכול היה לאמת באופן ריאלי ביד.
אפילו במהלך אותו עידן חישובי, המתמטיקאי האנושי נשאר מרכזי, הציע השערות, הגה אסטרטגיות ואימת תוצאות. בינה מלאכותית מאתגרת כעת את ההסדר הזה ישירות. בקיץ האחרון, מערכות מ-Google DeepMind ו-OpenAI הגיעו לרמה המקבילה לתלמידי התיכון הכי מוכשרים מתמטית בעולם, והשיגו מעמד של מדליית זהב באולימפיאדת המתמטיקה הבינלאומית (IMO), התחרות השנתית שבה על המתחרים לפתור שש בעיות קשות לשמצה.
אבני הדרך המשיכו להאיץ. מוקדם יותר בשנת 2026, מערכת הניסויים של Google DeepMind Aletheia הפיקה באופן אוטונומי תוצאות מחקר הניתנות לפרסום ברמת PhD. למרות שהעבודה עצמה מעורפלת מבחינה מתמטית, מחשבת קבועי מבנה בגיאומטריה אריתמטית, המשמעות נעוצה בהנמקה המורכבת הנדרשת כדי להתמודד עם בעיה שלא נפתרה בעבר. לאחרונה, מערכת בינה מלאכותית חדשה מבית OpenAI הפריכה השערה חשובה בגיאומטריה קומבינטורית, תוצאה שהמתמטיקאים הבכירים היללו כאבן דרך לתחום והייתה ראויה לפרסום בכתב עת מרכזי.
עוזרי הוכחה וצוואר הבקבוק של הפורמליזציה
שינוי שני הגיע מהצמדת מודלים של שפה גדולה עם עוזרי הוכחה. מערכות כגון Isabelle, Lean ו-Rocq הן שפות תכנות מיוחדות שבודקות הוכחות מתמטיות שלב אחר שלב, ומאמתות את נכונותן הלוגית. במשך יותר מעשור, צוואר הבקבוק הוא הפורמליזציה, התהליך המפרך של תרגום משפטים והוכחות ביד לקוד קריא במכונה.
LLMs מתחילים להסיר את צוואר הבקבוק הזה על ידי אוטומציה של התרגום של הוכחות לא רשמיות לקוד רשמי שעוזרי ההוכחה יכולים לאמת. בפברואר, חברת הבינה המלאכותית Math, Inc. השתמשה בסוכן החשיבה שלה, בשם גאוס, כדי להמציא את העבודה שזיכתה את מרינה ויאזובסקה של EPFL במדליית פילדס בשנת 2022. גאוס עזר לראשונה למתמטיקאים אנושיים להשלים את הפורמליזציה של הפתרון של ויאזובסקה לבעיית אריזת הכדורים התלת-ממדיים, לאחר מכן, הבעיה הסבוכה יותר של 4-מימדים של 4 ימים. תוך שבועיים בלבד.
הישגים כאלה מצביעים על כך שבינה מלאכותית כבר מטפלת במשימות שנחשבות מזמן לאנושיות, ושחלק גדול מהעבודה היומיומית של מתמטיקאי עשוי להיות בקרוב משחק הוגן לאוטומציה.
מתמטיקאים מתלבטים אם הם הופכים ל'כוהנים לאורקלים'
דיווח מפורום זוכי פרס היידלברג ה-12 בספטמבר 2025, Skuse מתאר אי נוחות מוחשית בקהל כאשר הדוברים תיארו עתיד שבו מערכות AI על-אנושיות יוצרות השערות, מחפשות מרחבי פתרונות, מוכיחות משפטים, מאמתות הוכחות ומכלילות תוצאות ללא מעורבות אנושית.
Yang-Hui He מהמכון הלונדוני למדעי מתמטיקה הזהיר באופן בלתי נשכח שמתמטיקאים אנושיים יכולים להפוך ל"כוהנים לאורקלים". ג'סיקה רנדל, מתמטיקאית מ-Google Developer Groups, אמרה שהיא חשה באימה קיומית קולקטיבית עולה בקרב חוקרים צעירים. "בהחלט התחלנו להבין של-AI יש את הפוטנציאל להחליף אותנו", אמרה ל-IEEE Spectrum.
לא כולם נבהלים. כמה מתמטיקאים מבוססים פשוט רוצים תשובות לשאלות הפתוחות הגדולות ביותר, כמו שש בעיות פרס המילניום שנותרו, ללא קשר למי או מה מייצר אותן. "הרבה מתמטיקאים הם פרגמטיים ורק רוצים להבין", ציין ג'רמי אביגד מאוניברסיטת קרנגי מלון. "הם היו מוכרים את נשמתם בשביל פתרון לבעיה".
שלושה חזונות מתחרים לעתיד
דוח IEEE Spectrum מזהה שלושה חזונות רחבים לאופן שבו מתמטיקה ובינה מלאכותית עשויים להתקיים במקביל.
הראשון הוא השקפה ממוקדת באדם, שמעניקה עדיפות להבנה האנושית ומתייחסת לבינה מלאכותית ככלי, בדומה למחשבון. מדליסט פילדס ומתמטיקאי פרינסטון אקשי ונקאטש טוען שמתמטיקה היא, בבסיסה, דרך להגיע להסכמה. "לפעמים אני חושב שכשאנחנו משתמשים במספרים, זה לא כל כך שאנחנו מתארים תופעות שהן מספריות מהותי, אלא שכולנו יכולים להסכים בדיוק מה המשמעות של המספרים", אמר.
השני מדגיש את החוויה האנושית הבלתי ניתנת להפחתה של המאבק. מאיה פרייזר מאוניברסיטת אוטווה טוענת שהוכחת בינה מלאכותית של השערה עקשנית מועילה רק אם היא מובנת לאנשים. "את האמירה שניתן להוכיח על ידי AI זה כבר מידע שימושי", היא הודתה. "אבל אז זו עדיין בעיה פתוחה להמציא הוכחה אנושית אלגנטית ויפה".
השלישי, ואולי השאפתני ביותר, מגיע מטרנס טאו מ-UCLA, שהתחרה לראשונה באולימפיאדת המתמטיקה בגיל 10 וכיום הוא אחד המתמטיקאים המעוטרים ביותר בחיים. טאו רואה בבינה מלאכותית את הזרז למה שהוא מכנה "מתמטיקה גדולה," עתיד של שיתופי פעולה מבוזרים בקנה מידה גדול בין בני אדם ומכונות שבהם בעיות מורכבות מחולקות לחתיכות, כאשר בני אדם טוענים לעבודה היצירתית ובינה מלאכותית מטפלת בעבודת הרטינה הטכנית.
דיסציפלינה ששואלת מדוע היא קיימת
מה שהופך את הרגע ליוצא דופן הוא שהוויכוח כבר אינו היפותטי. מערכות בינה מלאכותית כבר זוכות במדליות זהב של IMO, מייצרות מחקר שניתן לפרסום, מפריכות השערות וממסכות הוכחות זוכות במדליית Fields תוך ימים ולא שנים.
עבור סטודנטים כמו טריל ווייט מאוניברסיטת דיקין באוסטרליה, שהשתתפו בפורום היידלברג, ההבנה נחתה קשה. "זה הרסני," נזכר ווייט שחשב. "מה אנשים יצטרכו לתרום למתמטיקה? האם זה יהפוך למשהו שאף אחד לא מבין?"
התשובה טרם נקבעה. אבל כפי שמבהיר הדיווח של Skuse, המתמטיקה, אחת מהדיסציפלינות האינטלקטואליות העתיקות ביותר של האנושות, מתמודדת כעת עם אותה שאלה שמעצבת מחדש כמעט כל תחום ש-AI נוגע בו: כאשר מכונה יכולה לעשות את העבודה, בשביל מה בעצם העבודה?
מקור: Benjamin Skuse, "What It Means to Be a Mathematician When AI Does the Math," IEEE Spectrum, 25 ביוני 2026.---
Stay Ahead of AIGet the latest AI news, analysis, and breakthroughs — all in one place.
Read more AI news →
