לפי דיווח שפורסם ב-TechCrunch על ידי עורך הבינה המלאכותית ראסל ברנדום ב-11 באוגוסט 2026, מודל בינה מלאכותית שטרם שוחרר לציבור של חברת Anthropic הצליח לרשום התקדמות משמעותית בפתרון השערת רימן (Riemann hypothesis) – אחת מהבעיות המרכזיות והוותיקות ביותר במתמטיקה שנותרו ללא פתרון. הישג זה, אשר אומת על ידי מתמטיקאים פנימיים של החברה וגובש באופן פורמלי, צפוי לפתוח מחדש שאלות ארוכות שנים בנוגע ליכולתן של מערכות בינה מלאכותית מודרניות לגלות ולפתח רעיונות מדעיים ומתמטיים חדשים ופורצי דרך בכוחות עצמן.
השערת רימן וההישג המדעי החדש
במשך יותר מ-150 שנה, השערת רימן עומדת כאחת הבעיות הלא פתורות המרכזיות והחשובות ביותר בתחום המתמטיקה. מדובר בתעלומה מתמשכת העוסקת באופן ישיר בהתפלגותם של מספרים ראשוניים. החשיבות המדעית והמחקרית של השערה זו היא כה רבה, עד כי כיום מוצע פרס כספי וסכום bounty של מיליון דולר עבור הצגת הוכחה כללית מתפקדת של ההשערה – פרס אשר נותר עד כה ללא תובעים.
למרות שמודלים מודרניים של בינה מלאכותית עדיין אינם מסוגלים לפתור את השערת רימן במלואה באופן מוחלט, הממצאים המחקריים החדשים מראים כי המודלים הללו מסוגלים להשיג התקדמות רבה הרבה יותר מכפי שניתן היה לצפות באופן ראשוני. ביום שני, חברת Anthropic הודיעה באופן רשמי כי מודל שטרם שוחרר מתוצרתה רשם התקדמות משמעותית ביחס להשערת רימן, כאשר הצליח להגדיל באופן משמעותי את החסם התחתון (lower bound) של הפתרונות שעבורם השערה זו מתבררת כנכונה.
כיצד הושגה פריצת הדרך: פעילותם של 60 תת-סוכנים
היבט מרשים ומפתיע במיוחד בהישג המדעי הנוכחי נוגע לאופן שבו ההתקדמות המחקרית הזו הושגה בפועל על ידי המערכת. לפי הדיווח הרשמי, איש צוות של חברת Anthropic, אשר אינו מחזיק בהכשרה מתמטית משמעותית או רקע אקדמי מתקדם ורחב בתחום המתמטיקה, הנחה (prompted) את המודל "לקחת ניסיון אמיתי" (take a real stab) בניסיון להוכיח את ההשערה המורכבת. לאחר מתן ההנחיה הראשונית והפשוטה הזו, חבר הצוות השאיר את המודל לפעול, לנהל ולתאם את המשימה המורכבת באופן עצמאי לחלוטין לאורך פרק זמן של יום וחצי.
במהלך יום וחצי של פעילות עצמאית, המודל בחן ובדק לא פחות מ-650 רעיונות שונים ושונים במטרה לפתור את הבעיה המתמטית. תהליך העבודה של המודל התבצע באמצעות תיאום וניהול של 60 תת-סוכנים (sub-agents) שונים, כאשר העלות הכוללת של הפרויקט והרצתו עמדה על 31 מיליון בסך הכל.
הערת שוליים במאמר המדעי מפרטת באופן מדויק ומספרי את חלוקת התפקידים המורכבת והמבנה הפנימי של תת-הסוכנים השונים שלקחו חלק במשימה זו:
- מתוך 60 תת-הסוכנים, שני סוכנים היו אחראים באופן ישיר על פיתוח הרעיונות המתמטיים המרכזיים שהובילו לפריצת הדרך המדעית.
- 13 תת-סוכנים נוספים תרמו רעיונות שונים והעבירו אותם לסוכנים המובילים הללו לצורך פיתוח המשך.
- 30 תת-סוכנים ניסו לפתח רעיונות חדשים משלהם, אך לא היו מסוגלים לעשות זאת בפועל במהלך הריצה.
- 13 תת-סוכנים שימשו כמאמתים (validators) שתפקידם היה לבדוק ולבחון בקפידה את מידת הנכונות והדיוק של הטיעונים וההוכחות שהועלו.
- שני תת-הסוכנים האחרונים סייעו בכתיבת הטיוטה הראשונית של המאמר המדעי המתאר את הממצאים.
אימות הממצאים וביסוסם הפורמלי
התוצאות המדעיות וההתקדמות שהשיג המודל של Anthropic לא נותרו בגדר השערה בלבד. הממצאים המחקריים אומתו ואושרו על ידי שני מתמטיקאים פנימיים המועסקים בחברת Anthropic עצמה. לאחר מכן, על מנת להבטיח את הדיוק המדעי והלוגי של המהלך ולספק לו ביסוס מוצק, הממצאים עברו תהליך של פורמליזציה רשמית תוך שימוש ב-Lean – כלי עזר מבוסס קוד פתוח המיועד להוכחת טענות ומשפטים מתמטיים (open-source proof assistant).
הישג זה מצטרף לשורה של פריצות דרך מתמטיות משמעותיות שנרשמו לאחרונה בהובלת מודלי שפה גדולים (LLMs). במהלך השנה הנוכחית, מספר בעיות של המתמטיקאי ארדש (Erdos problems) נפתרו בהצלחה על ידי מודלים של בינה מלאכותית, כאשר שחרורם של מודלים חזקים ומתקדמים יותר מוביל לתוצאות מרשימות ומורכבות עוד יותר.
כך למשל, חברת OpenAI שחררה לאחרונה קבוצה של עשר תוצאות מרכזיות וחשובות שהוכחו בהצלחה על ידי מודל הפיתוח הפנימי שלה המכונה "Astra". במקביל לכך, מאמץ מחקרי נפרד שהובילה חברת Anthropic הצליח להפריך את השערת יעקוביאן (Jacobian conjecture) ארוכת השנים – בעיה מתמטית נוספת שהעסיקה חוקרים רבים במשך תקופה ממושכת ונותרה בלתי פתורה עד כה.
דאגה והתרגשות בקהילה המתמטית הבינלאומית
הצטברותן המהירה של תוצאות מתמטיות ומחקריות המושגות באמצעות מערכות בינה מלאכותית מעוררת עניין רב, אך לצד זאת גם חששות ודאגות עמוקות בקרב הקהילה המדעית והמתמטית. בהצהרה פומבית רשמית שעליה חתמו בחודש יוני קבוצה של מתמטיקאים בולטים ומובילים, הועלו חששות כבדים כי השימוש הגובר בבינה מלאכותית עלול לערער ולפגוע בערכים קריטיים ומהותיים המנחים את התחום מזה דורות.
החשש המרכזי שהוצג בהצהרה הפומבית נוגע ישירות לתקן המקובל לפיו הוכחות מתמטיות אמיתיות צריכות להיות "מיוחסות למחברים ספציפיים הלוקחים קרדיט אישי על הגילויים שלהם ונושאים באחריות המלאה והישירה לנכונותם" המדעית של הטיעונים שהם מציגים.
למרות הדאגות הללו, הקהילה המתמטית עדיין חלוקה ומפוצלת בדעותיה לגבי האופן שבו מתמטיקאים וחוקרים צריכים להתייחס לטכניקות המחקר החדשות הללו ולשלב אותן בעבודתם המדעית. בפוסט שפרסם בבלוג שלו בתגובה להצהרה הרשמית של חודש יוני, זוכה מדליית פילדס (Fields Medal) טימותי גאוורס (Timothy Gowers) הטיל ספק בחששות הללו ותהה האם ההשפעה של הבינה המלאכותית עשויה דווקא לשנות את תחום המתמטיקה בצורה מורכבת וחיובית יותר.
גאוורס כתב בפוסט שלו את הדברים הבאים: "אם נגיע לעולם שבו משפטים מתמטיים אינם מקושרים עוד למתמטיקאים, אולי זה לא יהיה בעייתי יותר מהעובדה שכוכבים אינם קרויים על שמם של אסטרונומים, ושרובם המוחלט של הכוכבים אינם קרויים בשם כלל". דבריו אלו של גאוורס משקפים גישה חלופית הרואה בשינויים הטכנולוגיים הזדמנות לעיצוב מחדש של המחקר המדעי, מעבר להתמקדות בקרדיט אישי ומעבר למסגרות המסורתיות של ייחוס וקרדיטציה בתחום.