GPT-5.6 Sol Ultra מוכיח השערה מתמטית בת 50 שנה — בינה מלאכותית פותרת תעלומה מתמטית

מבוא: כשהבינה המלאכותית עולה על המתמטיקאים

ב-10 ביולי 2026, העולם המתמטי הזדעזע. OpenAI פרסמה מסמך שמשנה את ההבנה שלנו לגבי יכולות הבינה המלאכותית. המודל המתקדם ביותר שלה — GPT-5.6 Sol Ultra — יצר באופן אוטונומי הוכחה להשערת הכיסוי הכפול המחזורי (Cycle Double Cover Conjecture), בעיה פתוחה בתורת הגרפים שהתנגדה לפתרון מאז שנות ה-70.

זו אינה הישג רגיל של AI — זה הרגע שבו בינה מלאכותית פתרה לראשונה בעיה מתמטית המופיעה ברשימת הבעיות המתמטיות הבלתי פתורות של ויקיפדיה.

מהי השערת הכיסוי הכפול המחזורי?

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

הבעיה נותרה לא פתורה במשך למעלה מ-50 שנה. היא נוסחה באופן בלתי תלוי על ידי טיטאנים מתמטיים כמו ויליאם טאט, איתי ורודה, סקארש וסיימור. תוצאות חלקיות היו קיימות, אך ההוכחה המלאה התחמקה מכולם — עד GPT-5.6 Sol Ultra.

GPT-5.6 Sol Ultra: המודל שמאחורי פריצת הדרך

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

ניתוח ההוכחה: 3 עמודים ששינו 50 שנה

ההוכחה משתרעת על פני 3 עמודים בלבד — קומפקטית באופן מדהים עבור בעיה שחיכתה לפתרון חצי מאה. היא משתמשת בגישה אלגברית הבנויה על מספר רדוקציות אלגנטיות. החידוש המרכזי הוא כיצד GPT-5.6 הופך סימון קצוות לסימון על ידי תת-קבוצות בנות שני איברים של Γ = F₃².

מסקנה: רגע מכריע עבור AI מדעי

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