AI פורצת דרך במתמטיקה טהורה: שני הישגים מ-2026 שמוכיחים שמכונות יכולות לגלות מתמטיקה חדשה

בשנת 2026 חצתה הבינה המלאכותית קו פרשת מים היסטורי במתמטיקה טהורה. לראשונה, מערכות AI הפיקו באופן עצמאי תוצאות מרכזיות בבעיות פתוחות שהתנגדו למתמטיקאים במשך עשרות שנים. בולטים במיוחד שני הישגים: ההפרכה של השערת המרחק היחידה של ארדש (Erdős unit-distance conjecture) על ידי OpenAI בחודש מאי, והדוגמה הסותרת להשערת יעקוביאן (Jacobian conjecture) על ידי Anthropic בחודש יולי. מדובר ביותר מצעדים מצטברים — מדובר בשינוי פרדיגמה המסמן עידן חדש של שיתוף פעולה בין אדם ל-AI במחקר מתמטי.

שני ההישגים

OpenAI מפריכה את השערת המרחק היחידה של ארדש (מאי 2026)

ב-20 במאי 2026 הודיעה OpenAI כי אחד ממודלי החשיבה הכלליים שלה הפיק דוגמה סותרת להשערת המרחק היחידה של ארדש (Erdős unit-distance conjecture), בעיה שנוסחה על ידי המתמטיקאי ההונגרי פאול ארדש בשנת 1946 . ההשערה עסקה במספר המרבי של זוגות נקודות שמרחקן בדיוק יחידה אחת מבין n נקודות במישור. במשך 80 שנה סברו מתמטיקאים שהתצורה הטובה ביותר היא בערך כמו רשת מרובעת .

מודל OpenAI הראה שאמונה זו שגויה. הוא ייצר משפחה אינסופית של מבני נקודות שמשיגים שיפור פולינומי משמעותי לעומת הרשת המרובעת — והוכיח שעבור אינסוף ערכי n, מספר זוגות הנקודות במרחק יחידה גדל מהר יותר מ-n^(1+δ) עבור δ > 0 קבוע כלשהו . ההוכחה נשענה על תורת המספרים האלגברית מתקדמת, כולל תאוריית גולוד-שפרוביץ' ומגדלי מחלקות אינסופיים — כלים שאיש לא קשר קודם לכן לבעיה גאומטרית זו .

התוצאה אומתה על ידי קבוצת מתמטיקאים חיצוניים, ובהם תומאס בלום (Thomas Bloom) — אותו חוקר שחשף בפומבי טענת שווא קודמת של OpenAI . מאמר נלווה בהיגוי אנושי פורסם ב-arXiv . המתמטיקאי מפרינסטון, וויל סווין (Will Sawin), שיפר במהירות את הקבוע והראה שהמעריך יכול להיות לפחות n^1.014 . זוכה מדליית פילדס, טים גוורס (Tim Gowers), היה בין תשעת המתמטיקאים החיצוניים שאימתו את ההוכחה .

Claude Fable 5 של Anthropic מוצא דוגמה סותרת להשערת יעקוביאן (יולי 2026)

ב-19 ביולי 2026 הכריז המתמטיקאי לבנט אלפוג'ה (Levent Alpöge), חוקר בחברת Anthropic, ברשת X כי השתמש במודל Claude Fable 5 של Anthropic כדי למצוא דוגמה סותרת להשערת יעקוביאן (Jacobian conjecture) — בעיה פתוחה בת 87 שנה באלגברה גאומטרית שנוסחה לראשונה על ידי אוט-היינריך קלר (Ott-Heinrich Keller) בשנת 1939 . ההשערה, המדורגת במקום ה-16 ברשימת הבעיות למאה ה-21 של זוכה מדליית פילדס סטיבן סמייל (Stephen Smale) משנת 1998, קבעה שהעתקה פולינומית מ-Cⁿ ל-Cⁿ בעלת דטרמיננטת יעקוביאן קבועה ושונה מאפס חייבת להיות הפיכה גלובלית .

הדוגמה הסותרת היא העתקה פולינומית בת 216 תווים מ-C³ ל-C³ בעלת דטרמיננטת יעקוביאן השווה תמידית ל-2-, אך היא שולחת שלשות קלט שונות לאותו פלט, ובכך מפריכה את ההפיכות הגלובלית . תוך שעות מההודעה של אלפוג'ה, מתמטיקאים ברחבי העולם אימתו באופן עצמאי את התוצאה, ואימות פורמלי בסייעת ההוכחה Lean הושלם תוך פחות מ-24 שעות .

מתמטיקאים בולטים כמו טרנס טאו (Terence Tao) וטימותי גוורס שיבחו את התוצאה . טאו פרסם ניתוח גאומטרי של הדוגמה הסותרת, והאימות אושר ברחבי הקהילה המתמטית . הגרסה הדו-ממדית של ההשערה נותרה פתוחה .

משמעות התוצאות לעתיד המתמטיקה

AI מסוגלת כעת לייצר הוכחות מקוריות באמת

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

מודל השותפות בין אדם ל-AI מוכיח את עצמו

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

הקצב מואץ במהירות

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

סייגים חשובים נותרו

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

התמונה הרחבה

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

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