השערת היעקוביאן הופרכה: קלוד פייבל 5 מצא דוגמה נגדית בשלוש דקות - ושלוש נקודות שונות מתכנסות לאותה תוצאה

כיצד לֶבֶנְט אַלְפֶּגֶה השתמש בקלוד פייבל 5

בליל 19–20 ביולי 2026, בזמן צפייה בגמר גביע העולם למועדונים של פיפ"א, המתמטיקאי לֶבֶנְט אַלְפֶּגֶה — תיאורטיקן מספרים העובד באנתרופיק לאחר שכיהן כעמית זוטר בחברת העמיתים של הרווארד — נשאל על השערת היעקוביאן על ידי חבר בשם אחיל מתיו . אלפגה ביקש מהמודל קלוד פייבל 5 של אנתרופיק לעבוד על הבעיה. המודל החזיר מפה פולינומיאלית מפורשת בת 216 תווים שעומדת בתנאי של דטרמיננטת יעקוביאן קבועה לא-אפס אך אינה חד-חד-ערכית (אינטיקטיבית), ובכך סותרת את מסקנת ההשערה .

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

הדוגמה הנגדית הספציפית

הדוגמה הנגדית היא מפה פולינומיאלית F: ℂ³ → ℂ³ המוגדרת באופן מפורש :

P(x, y, z) = (1 + xy)³z + y²(1 + xy)(4 + 3xy)
Q(x, y, z) = y + 3x(1 + xy)²z + 3xy²(4 + 3xy)
R(x, y, z) = 2x − 3x²y − x³z

שתי תכונות מפתח מתקיימות :

• דטרמיננטת יעקוביאן: det Jac F = −2 (קבוע לא-אפס), כך ש-F היא מפת קלר.
• אי-חד-חד-ערכיות: שלוש נקודות קלט שונות נשלחות כולן לאותה נקודת פלט (-1/4, 0, 0):
  • (0, 0, -1/4)
  • (1, -3/2, 13/2)
  • (-1, 3/2, 13/2)

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

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

סטטוס המקרה של שני משתנים

השערת היעקוביאן עבור n = 2 (שני משתנים מרוכבים) נותרת בעיה פתוחה נכון ליולי 2026. הדוגמה הנגדית מפריכה את ההשערה רק עבור ממדים n ≥ 3 .

סטטוס נוכחי של אימות וביקורת עמיתים

נכון ל-22 ביולי 2026, ידוע הדבר הבא:

• אמינה מתמטית: הדוגמה הנגדית מפורשת וניתנת לבדיקה מכנית. מתמטיקאים מתייחסים אליה ברצינות . הוכחה פורמלית במערכת Lean 4 הופקה ועוברת בניות אינטגרציה רציפה .
• עדיין אין פרסום בביקורת עמיתים: אין מאמר שפורסם בכתב עת או קדם-פרסום ב-arXiv נכון לדיווחים האחרונים . החומר קיים כפוסט ברשת חברתית וכקובץ PDF נלווה ב-ulam.ai, אך לא עבר ביקורת עמיתים רשמית בכתב עת.
• ויקיפדיה עודכנה: הערך בויקיפדיה על השערת היעקוביאן מציין כעת את הדוגמה הנגדית כמי שמפריכה את ההשערה עבור N > 2 .
• הערכת הקהילה: הקונצנזוס בקרב הפרשנים הוא שהמתמטיקה היא כמעט בוודאות נכונה, אך קבלה רשמית וציטוט ברישום הרשמי עדיין תלויים ועומדים נכון למועד זה . התוצאה מיוחסת לשיתוף פעולה אנושי-AI, ולא לפעולה של קלוד בלבד .

שורה תחתונה: השערת היעקוביאן נראית כשגויה באופן אותנטי בממדים ≥ 3. המקרה של שני משתנים נותר פתוח. הדוגמה הנגדית תקינה מתמטית ואומתה באופן בלתי תלוי, אך טרם השלימה ביקורת עמיתים פורמלית.