הוכחה שהופקה על ידי בינה מלאכותית והוכרזה בתחילת החודש כחלק מקבוצה של 377 תוצאות מתמטיות הנגזרות מ-AI מנצחת את המומחים האנושיים שביצעו את השבועיים האחרונים בהפרדה. ב-19 באוקטובר, מגזין Quanta דיווח כי תיאורטיקני המספרים פירקו כעת את ההוכחה שנוצרה על ידי AI להשערת הכמו-רימן - גרסה חלשה יותר של השערת רימן, ללא ספק השאלה הפתוחה הגדולה ביותר במתמטיקה - ופסק הדין שלהם נחרץ בצורה יוצאת דופן.

ג'ארד דוקר ליכטמן מאוניברסיטת סטנפורד כינה אותו "ההישג המשמעותי ביותר של AI למתמטיקה עד כה, בהפרש לא קטן". מקסים רדזיוויל מאוניברסיטת ניו יורק, שעבודתו שלו עומדת בבסיס חלקים מההוכחה, תיאר את ההשלכות כ"מדהימות". For more context on this story, see our ongoing artificial intelligence updates.

מה טוענת השערת הקוואזי-רימן

השערת רימן פתוחה כבר יותר מ-160 שנה. זה נוגע לפונקציית הזטה של ​​רימן ולמיקומי האפסים הלא טריוויאליים שלה, והיא קשורה באופן אינטימי לאופן שבו המספרים הראשוניים מתחלקים בין המספרים השלמים. מכיוון שראשוניים הם אבני הבניין של החשבון, הוכחה תעצב מחדש אזורים ענקיים של תורת המספרים.

ההשערה היא אחת משבע בעיות פרס המילניום שנקראו על ידי המכון למתמטיקה קליי, וזו הייתה הבעיה היחידה שהועברה מהרשימה המפורסמת של דיוויד הילברט של 23 בעיות שהוכרזו מאה שנה קודם לכן.

השלד הטכני, כפי שמפרטת קוונטה, מופה צעד אחר צעד במשך דורות. רימן הראה ב-1859 שהאפסים הלא טריוויאליים של פונקציית הזטה קובעים כיצד מספרים ראשוניים מתדללים לאורך קו המספרים, והוכיח שהם יכולים לשבת רק בתוך רצועה אנכית שבה החלק האמיתי של הקלט נמצא בין אפס לאחד. ב-1896, שני מתמטיקאים הראו באופן עצמאי שאין אפסים בקצה הימני של הרצועה - תוצאה חזקה מספיק כדי להוכיח את משפט המספרים הראשוניים. ההשערה עצמה אומרת שכל האפסים הלא טריוויאליים יושבים בדיוק על קו האמצע של הרצועה, כאשר החלק האמיתי שווה לחצי אחד. אפסים טריוויאליים במספרים שלמים אפילו שליליים כבר מובנים במלואם. יותר מ-160 שנים של מאמץ צמצמו ובדקו את הרצועה הזו מבלי להצמיד את האפסים.

השערת הכמו-רימן, או כמעט-RH, היא אמירה חלשה יותר. למרות זאת, ההשלכות שלה מגיעות כמעט רחוק. "במובן מסוים, הרוב המכריע של ההשלכות של RH כבר נובע מעין-RH", אמר Radziwilł ל-Quanta.

מהודעה לאימות

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

על פי הדו"ח של Quanta, ההוכחה הזו שונה: בניגוד להוכחות אחרות של AI עדכניות, זו פורקה על ידי מומחים אנושיים. תיאורטיקנים של מספרים כולל Radziwiłł, אלכסנדר דאן מהמכון הטכנולוגי של ג'ורג'יה ואחרים עבדו על הטיעון מאז ההכרזה, בודקים את צעדיו וממקמים אותו בתוך הידע הקיים.

הצ'קים החזיקו מעמד. "ההוכחה היא סינתזה מפתיעה של רעיונות ידועים", אמר דאן, שיחד עם רדז'יוויל היו חלוצים בטכניקות שהתוצאה מסתמכת עליהן בחלקה.

רעיונות ישנים, קשרים נסתרים

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

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

למה זה חשוב למחקר בינה מלאכותית

התוצאה המאומתת היא אבן דרך עבור בינה מלאכותית למתמטיקה, תחום שהואץ במהירות ככל שמודלים להיגיון השתפרו. ההכרזה של OpenAI ב-6 באוקטובר, אותה סיקרנו כאשר המכון למחקר מתקדם העלה שאלות לגבי קבוצת התוצאות, הייתה הטענה היחידה הגדולה ביותר של מתמטיקה שמקורה בבינה מלאכותית עד כה. ההוכחה המעין-RH היא התוצאה הראשונה מאותה אצווה שקיבלה קריאה מפורטת של מומחה, והיא שרדה.

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

קוונטה מציינת שמתמטיקאים רק מתחילים להבין מה המשמעות של ההוכחה עבור התחום. כפי שניסח זאת Radziwilł, ההשלכות הן "מדהימות" - שם תואר המוצמד רק לעתים רחוקות לתוצאה שלא עומדת בהשערה המלאה.

הפרק גם קובע רף לתביעות עתידיות. כל מעבדת בינה מלאכותית שתכריז על פריצות דרך מתמטיות תימדד כעת מול חצי-RH: תוצאה נטענת שנבדקה, אומתה והתקבלה על ידי המומחים הממוקמים בצורה הטובה ביותר להפריך אותה.

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

מאמר זה מבוסס על דיווח של מגזין Quanta, שפורסם ב-19 באוקטובר 2026.

---

Stay Ahead of AI

Get the latest AI news, analysis, and breakthroughs — all in one place.

Read more AI news →