נושא01
מה בעצם קרה שם?
בעשירי באוגוסט Anthropic פרסמו הודעה שגרמה לפינות המתמטיקה באינטרנט לרעוד: גרסת מחקר לא-משוחררת של קלוד שיפרה חסם הקשור להשערת רימן — אחת החידות המתמטיות המפורסמות והוותיקות בעולם, שעדיין פתוחה אחרי יותר מ-160 שנה. אבל אם קראתם רק את הכותרת, כנראה פספסתם את החלק המעניין באמת.
מה שקרה בפועל: איש צוות ב-Anthropic פשוט ביקש מקלוד לנסות ברצינות לתקוף את השערת רימן עצמה. קלוד, כצפוי, לא פתר אותה — אף אחד לא ציפה שיפתור. אבל תוך כדי הניסיון, הוא נתקל בשאלה צדדית מאותו תחום, ובה כן הצליח: שיפור החסם התחתון לכמות האפסים של פונקציית זטא של רימן שידוע שיושבים על ה'קו הקריטי' שההשערה מנבאת. מ-41.6% ל-67.2%. לשם השוואה — ב-37 השנה שקדמו לזה, כל קהילת המתמטיקאים בעולם הצליחה לזוז ב-0.8 נקודות אחוז בלבד.
התוצאה לא נשארה בגדר 'קלוד אמר'. שני מתמטיקאים מצוות Anthropic, לונט אלפוגה ורלף פורמן, עברו על ההוכחה, ושני מומחים חיצוניים ותיקים לתורת המספרים, בריאן קונרי ודן גולדסטון, בדקו אותה בנפרד. קלוד גם הפיק גרסה פורמלית של ההוכחה במערכת Lean, שיודעת לאמת טענות מתמטיות באופן אוטומטי וקפדני — לא רק 'זה נראה נכון', אלא בדיקה שאין בה מקום לפרשנות.
קלוד לא פתר את השערת רימן. הוא עשה משהו שאמור לעניין בעלי עסקים הרבה יותר — הוא ניהל צוות מחקר שלם, לבד, במשך יממה וחצי.
נושא02
איך בדיוק עובד 'צוות' של תת-סוכנים?
זה החלק שכדאי להתעכב עליו. קלוד לא כתב את הפתרון בישיבה אחת מול מסך. הוא הפעיל 60 תת-סוכנים — עותקים של עצמו עם תפקידים שונים — לאורך שתי סשנים שנמתחו על פני יממה וחצי. שניים מהם פיתחו את הרעיונות המרכזיים שבסוף עבדו. שלושה-עשר תרמו רעיונות לעוזרים הבכירים. שלושים-פלוס ניסו וכשלו לגמרי — הם פשוט זרק את מה שהם הפיקו. שלושה-עשר שימשו כ'בקרי איכות' שתפקידם רק לבדוק ולפסול. ושניים כתבו את הטיוטה הראשונה של המאמר.
בדרך, קלוד סרק 54 מאמרים אקדמיים מ-arXiv, שילב עבודה עדכנית של כמה מתמטיקאים עם מאמר בסיס משנת 2000, הריץ 2,400 פקודות shell וכתב מאות סקריפטים בפייתון כדי לבדוק כל רעיון עד הסוף. לפני שהצליח, הוא בדק וזרק בערך 650 רעיונות שלא הובילו לשום מקום — וגם הפעם הראשונה שניסה את כל התהליך נכשלה כליל. רק בניסיון השני, אחרי עידוד קצר מאיש צוות ב-Anthropic, הוא חזר על התהליך והפעם זה עבד.
נושא03
אז למה זה אמור לעניין בעל עסק שאף פעם לא ישב עם השערת רימן?
כי החדשות האמיתיות כאן הן לא 'קלוד יודע מתמטיקה מתקדמת'. אלה חדשות ניהוליות: קלוד קיבל מטרה קשה, לא שאלה — ופשוט התחיל לעבוד. הוא פיצל אותה למאות תתי-משימות, הריץ אותן במקביל, זרק בלי היסוס את מה שלא עבד (30 מתוך 60 'עובדים' פשוט נכשלו — וזה בסדר), ושמר רק את מה שהחזיק מים. אף אחד לא ישב ולחץ Enter בין שלב לשלב.
זה בדיוק אותו שריר שכבר מתחיל לזלוג לגרסאות המסחריות. כשנותנים לקלוד מטרה עסקית אמיתית במקום שאלה — למשל 'תבנה לי תוכנית לידים לרבעון הבא' — הוא לא עונה בפסקה. הוא בודק את הדף הקיים, מריץ כמה כיווני מחקר במקביל (מתחרים, מילות חיפוש, נתוני המרה היסטוריים), זורק את הכיוונים שלא מובילים לשום מקום, ומחזיר תוכנית עבודה בנויה — כולל טיוטת דפי נחיתה וחלוקת תקציב מוצעת. פחות עונה, יותר עושה.
Anthropic עצמה מקפידה להבהיר: אין ציפייה שהשיטות שקלוד השתמש בהן יובילו להוכחת השערת רימן עצמה, וזו עדיין גרסת מחקר לא-משוחררת. אבל היכולת לתאם עשרות תהליכים עצמאיים במקביל, לזהות מה מת ומה חי, ולהתקדם בלי שמישהו יושב מעל הכתף — זו בדיוק היכולת שהופכת בהדרגה לחלק מהכלים שבעלי עסקים כבר מפעילים היום. וזו רק ההתחלה — מי שרוצה להבין איך לתת לקלוד מטרה במקום שאלה, ולא רק לשוחח איתו, זה בדיוק מה שהסדרה 'קלוד למתחילים מאפס' מלמדת שלב אחרי שלב.
