Claude שובר חסם מתמטי: השערת רימן קופצת מ-41.6% ל-67.2%

Anthropic חשפה שגרסת מחקר שלא שוחררה של Claude השיגה התקדמות אמיתית בבעיה הסמוכה להשערת רימן — אחת הבעיות הפתוחות המפורסמות ביותר במתמטיקה. המודל שיפר חסם תחתון ותיק על שיעור האפסים של פונקציית זטא של רימן שמקיימים את ההשערה, והעלה אותו מ-41.6% ל-67.2%. הוא לא פתר את ההשערה עצמה, אבל השיפור בחסם קשה ונחקר היטב הוא תוצאה קונקרטית וניתנת לבדיקה — לא טענת 'reasoning' מעורפלת.

מבחינה מכניסטית, המודל הפיק מאמר ששני מתמטיקאים של Anthropic למדו, אימתו וסיכמו בהערה לא רשמית. הפוסט של Anthropic ב-X (12,768 לייקים) הקפיד למסגר זאת כהתקדמות ב'בעיה קשורה', לא כפתרון. התוצאה משמעותית כי חסמים מהסוג הזה הם בדיוק המתמטיקה האינקרמנטלית והניתנת לאימות שבה תרומות AI יכולות להיבדק באופן עצמאי על ידי מומחים אנושיים.

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

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