השערת יעקוביאן נפלה: איך חוקר ו-Claude הפריכו חידה בת 87 שנה

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

בואו נפרק את זה לאט, כי מתחת ל"AI פתר בעיה במתמטיקה" מסתתר סיפור הרבה יותר מדויק ומעניין.

מה בכלל אומרת השערת יעקוביאן

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

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

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

הדוגמה-הנגדית: איפה ה"תנהגות יפה" נשברת

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

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

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

אנחנו לא סומכים על ה-AI. אנחנו בודקים.

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

אז עשינו בדיוק את זה. לקחנו את הפולינום, הרצנו אותו ב-SymPy (ספריית מתמטיקה סימבולית בפייתון), וביקשנו לחשב את הדטרמיננטה ואת שלוש הנקודות. הנה הקוד, ואתם מוזמנים להריץ אותו בעצמכם:

import sympy as sp

z1, z2, z3 = sp.symbols('z1 z2 z3')
u = 1 + z1*z2
F1 = u**3*z3 + z2**2*u*(4 + 3*z1*z2)
F2 = z2 + 3*z1*u**2*z3 + 3*z1*z2**2*(4 + 3*z1*z2)
F3 = 2*z1 - 3*z1**2*z2 - z1**3*z3
F = sp.Matrix([F1, F2, F3])

# 1) Jacobian determinant must be a nonzero constant (the conjecture's premise)
J = F.jacobian([z1, z2, z3])
print('det =', sp.simplify(J.det()))          # -> -2

# 2) ...yet three distinct points collide (so F is NOT invertible)
pts = [(0, 0, sp.Rational(-1, 4)),
       (1, sp.Rational(-3, 2), sp.Rational(13, 2)),
       (-1, sp.Rational(3, 2), sp.Rational(13, 2))]
for p in pts:
    val = tuple(sp.simplify(c.subs({z1: p[0], z2: p[1], z3: p[2]})) for c in F)
    print(f'F{p} = {val}')

הפלט מדבר בעד עצמו: הדטרמיננטה יוצאת בדיוק מינוס 2, ושלוש הנקודות השונות - (0, 0, מינוס רבע), (1, מינוס וחצי, שש וחצי) ו-(מינוס 1, וחצי, שש וחצי) - כולן נוחתות על אותה נקודה בדיוק. זה מה שהופך את ההפרכה לחסינה: היא לא דורשת אמון, רק מחשבון.

אז מה ה-AI באמת עשה כאן

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

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

הסתייגות חשובה: עדיין לא נגמר

חשוב לא להריץ קדימה, וכאן אנחנו נצמדים לעובדות. נכון לעכשיו התוצאה מסומנת כ"ממתינה לביקורת עמיתים", וטרם עברה פורמליזציה מלאה ב-Lean (שפת בדיקת-הוכחות שבה מחשב מאמת כל צעד לוגי). שתי הבדיקות המרכזיות - שהדטרמיננטה היא מינוס 2, ושלוש הנקודות מתנגשות - אושרו עצמאית על ידי חוקרים רבים בכלים כמו SymPy ו-Wolfram Alpha, וטרי טאו עצמו "עיכל" את זה בבלוג. הפוסט המקורי של אלפוגה ב-X צבר יותר מ-20 מיליון צפיות. אבל "אושר חישובית" ו"עבר ביקורת עמיתים מלאה" הם שני דברים שונים, ושווה לחכות לשני.

שורה תחתונה

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

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