גרסת מחקר שלא פורסמה של קלוד של אנתרופי שיפרה תוצאה מתמטית ארוכת שנים הקשורה להשערת רימן, והעלתה את הגבול התחתון הידוע לשבריר האפסים התואמים מ-41.6% ל-67.2%. פריצת הדרך, שפורסמה על ידי Anthropic ב-10 באוגוסט 2026, נוצרה לא כפרויקט מחקר ממוקד אלא כתוצר הלוואי הבלתי צפוי של אתגר מזדמן: קח דקירה אמיתית באחת הבעיות הבלתי פתורות המפורסמות ביותר בכל המתמטיקה. לפיתוחים האחרונים בגילוי מונע בינה מלאכותית, עקוב אחר AI Buzz Wire לסיקור מתמשך.
השערת רימן, שהוצעה לראשונה על ידי ברנהרד רימן ב-1859, נוגעת לחלוקת המספרים הראשוניים והיא נושאת פרס של מיליון דולר מהמכון למתמטיקה קליי. זה נשאר לא מוכח. בעוד שקלוד לא פתר את ההשערה עצמה, עבודת המודל על תת-בעיית קשורה מייצגת התקדמות אמיתית בתורת המספרים - כזו שמתמטיקאים אנושיים אימתו.
איך האתגר התחיל
המאמץ החל כאשר ג'ארד סאמנר, איש צוות אנתרופי שאינו מתמטיקאי, הניע את קלוד "לנקוט דקירה אמיתית" בהשערת רימן, והותיר את כל ההחלטות המתמטיות בידי המודל. הניסיון הראשוני של קלוד כלל יצירה ובדיקה של כ-650 רעיונות, שאף אחד מהם לא הניב תוצאות. לאחר שסאמנר עודד את הדוגמנית לנסות שוב, קלוד בילה בערך יום וחצי בתיאום של כ-60 סוכני משנה שחקרו את הבעיה לעומק.
במהלך הניסיון השני הזה, קלוד גילה דרך לעבור את הגבול התחתון המתקדם והמתקדם. המודל מצא ששילוב של תוצאות מהמתמטיקאים Baluyot, Goldston, Suriajaya ו-Turnage-Butterbaugh עם עבודה מוקדמת יותר של בומביירי סיפק נתיב לדחוף את הפרופורציה הידועה של אפסים העונים על ההשערה מ-41.6% ל-67.2%.
מערכת בודקת עצמית ומטילה ספק עצמי
מה שהופך את התוצאה לבולטת במיוחד הוא כמה בקפדנות קלוד אימת את הממצא שלו לפני שהציג אותו. המודל שלח סוכני משנה כדי לסקור את ההוכחות, לחפש דוגמאות נגדיות, להוריד 54 מאמרים מה-arXiv כדי לוודא שהתוצאה לא פורסמה כבר, ולהוכיח מחדש באופן עצמאי את הממצא מאפס. המאמץ כולו צרך 31 מיליון אסימוני פלט בשני מפגשים ב-Cloud Code.
אולי הכי מדהים, קלוד היה בתחילה סקפטי לגבי התוצאה שלו. המודל למד מנתוני אימון על הקושי הקיצוני של בעיות פתוחות במתמטיקה ועל המגבלות הידועות של מערכות בינה מלאכותית. לפי הדיווחים נדרשו הנחיות מעודדות לפני שקלוד קיבל שהממצא שלו תקף. כפי שאנתרופיק ציינה בהודעתה: "אולי קלוד, כמו רבים מאיתנו, מזלזל בקצב התקדמות הבינה המלאכותית".
אימות אנושי ואימות פורמלי
הממצא לא נשען על דברו של קלוד בלבד. שני מתמטיקאים באנתרופיקה - לוונט אלפוגה וראלף פורמן - למדו את עבודתו של קלוד והפיקו הערה טכנית לא רשמית למומחים. אלפוגה עלה בעבר לכותרות על השימוש בקלוד כדי להפריך את ההשערה היעקוביאנית בת ה-87, פריצת דרך מתמטית נפרדת שדווחה מוקדם יותר באוגוסט.
קלוד גם הפיק הוכחה רשמית שנבדקה במכונה לתוצאה שלה באמצעות Lean, עוזר הוכחה שמאמת טיעונים מתמטיים עם תוכנה. הפורמליזציה, שנוצרה עם חבר הצוות האנתרופי אריק איזלי, עוברת את כלי האימות הסטנדרטי שנקרא השוואת.
מומחים חיצוניים בריאן קונרי ודן גולדסטון, שניהם סמכות מוכרת בחקר פונקציית הזטה של רימן, בחנו את המאמר בהתראה קצרה ואימתו את הגישה.
משמעות התוצאה
פונקציית הזטה של רימן מתארת את התפלגות המספרים הראשוניים: כל אפס של הפונקציה תורם ברציפות פרטים עדינים יותר לרצף הראשוניים. השערת רימן חוזה שכל האפסים הקובעים את הראשוניים נמצאים לאורך קו אנכי יחיד במישור המורכב. הוכחה זו הפכה לאחת ההשערות המשמעותיות ביותר במתמטיקה, כאשר מאות תוצאות תלויות בה כהנחה.
אף על פי שאיש לא הוכיח או הפריך את ההשערה המלאה, מתמטיקאים התקדמו בהדרגה על ידי כימת היחס המינימלי של אפסים שכן נמצאים על הקו. במשך עשרות שנים של מחקר, הקבוע הידוע הזה נדחק ל-41.6%. השיפור של קלוד ל-67.2% הוא הזינוק היחיד הגדול ביותר במדד הזה מזה שנים.
אנתרופיק הזהיר כי אין סיכוי שהטכניקות שבהן השתמש קלוד יובילו להוכחה מלאה של השערת רימן. עם זאת, התוצאה מוכיחה שמודלים של AI יכולים להרחיב את טווח ההגעה של רעיונותיהם של מתמטיקאים לכיוונים חדשים ולפעמים מפתיעים.
דפוס של גילויים מתמטיים של בינה מלאכותית
ההתקדמות של Riemann zeta עוקבת אחר רשימה הולכת וגדלה של פריצות דרך מתמטיות בסיוע בינה מלאכותית. מוקדם יותר בשנת 2026, מודל OpenAI בשם Astra פתר עשר בעיות מתמטיות שלא נפתרו זמן רב עם הוכחות שנבדקו במכונה. קלוד פייבל 5 של אנתרופיק עצמו הפריך את ההשערה היעקוביאנית שבועות קודם לכן. תוצאות אלו מצביעות על כך שמודלים של בינה מלאכותית מתקדמים עוברים מעבר לזיהוי תבניות ויצירת טקסט לתוך הטריטוריה של מחקר מתמטי אמיתי.
ממצא הזטה של רימן של קלוד נבדל מבחינה אחת: הוא לא היה תוצר של תוכנית מחקר מכוונת. זה הופיע כאשר לא מתמטיקאי שאל מודל בינה מלאכותית שאלה לא הגיונית, והמודל ענה במשהו שאף אדם לא מצא קודם לכן.
הישאר לפני AI
לחדשות החדשות האחרונות של AI, פריצות דרך מחקריות וניתוח תעשייתי, בקר ב-AI Buzz Wire.
קרא עוד חדשות AI
