מכון קליי למתמטיקה הכריז בשנת 2000 על שבע "בעיות המילניום" – חידות מתמטיות קשות במיוחד, עם פרס של מיליון דולר לפתרון של כל אחת. נכון ל-3 בנובמבר 2026 רק השערת פואנקרה הוכרה רשמית כפתורה. מכון קליי הודיע בספטמבר כי בעיית נאוויה-סטוקס "כנראה הוכרעה", אבל תהליך הבדיקה וההכרה הרשמית עדיין נמשך.
עודכן: 3 בנובמבר 2026. הסטטוסים נבדקו ברשימה הרשמית ובהודעת מכון קליי.
מהן שבע בעיות המילניום?
הטבלה מסכמת את החלוקה הנוכחית של מכון קליי. הדימויים נועדו להמחשה בלבד; הניסוחים המתמטיים המדויקים מורכבים יותר.
| הבעיה | דימוי או שאלה להתחלה | הסיווג באתר קליי |
|---|---|---|
| פואנקרה | גומייה שמתכווצת סביב תפוח לעומת גומייה המקיפה חור בסופגנייה | Solved – נפתרה |
| נאוויה-סטוקס | זרימת מים בצינור: האם התיאור המתמטי נשאר חלק? | Active – בעקבות הודעה על פתרון לכאורה |
| רימן | סימון הראשוניים על סרגל וחיפוש הסדר שמאחורי הרווחים | Unsolved – פתוחה |
| P מול NP | קל לבדוק פתרון לפאזל; האם תמיד אפשר גם למצוא אותו ביעילות? | Unsolved – פתוחה |
| הודג' | כמו מעבר מציור של צורה למתכון במשוואות, בדימוי חלקי מאוד | Unsolved – פתוחה |
| יאנג-מילס ופער המסה | כמו מדרגה ראשונה שאינה בגובה אפס: פער בין מצב היסוד לעירור הראשון | Unsolved – פתוחה |
| בירץ' וסווינרטון-דייר | חיפוש נקודות על עקום שאפשר לרשום את קואורדינטותיהן כשברים | Unsolved – פתוחה |
5 דברים שצריך לדעת
- שבע בעיות המילניום הוכרזו בשנת 2000, עם פרס של מיליון דולר לכל פתרון.
- עד היום רק השערת פואנקרה הוכרה רשמית כפתורה.
- גריגורי פרלמן פתר את השערת פואנקרה – ולאחר מכן ויתר על מיליון הדולר.
- חמש בעיות מסווגות כפתוחות; נאוויה-סטוקס מופיעה בנפרד כ-Active, ותהליך ההכרה טרם הושלם.
- מכון קליי אינו מקבל "פתרון" ישירות: כדי להיות מועמד לפרס, ההוכחה צריכה להתפרסם, לעבור לפחות שנתיים ולהתקבל באופן כללי בקהילה המתמטית.
למה בכלל נבחרו שבע בעיות?
במאי 2000 הכריז מכון קליי למתמטיקה על שבע שאלות שנועדו לייצג כמה מהגבולות הקשים ביותר של הידע המתמטי. הוקמה קרן פרסים של שבעה מיליון דולר – מיליון דולר לכל בעיה.
הכסף הוא רק חלק קטן מהעניין. פתרון של אחת הבעיות יכול ליצור כלים ורעיונות חדשים שמשפיעים על תחומים אחרים במתמטיקה, בפיזיקה, במדעי המחשב ולעיתים גם בעולם המעשי.
1. השערת פואנקרה – היחידה שנפתרה רשמית
הבעיה, שנוסחה ב-1904 על ידי המתמטיקאי הצרפתי אנרי פואנקרה, עוסקת בשאלה כיצד אפשר לזהות את המבנה של מרחבים תלת-ממדיים.
הדימוי המקובל מתחיל בגומייה: אם מותחים אותה סביב תפוח, אפשר לכווץ אותה בהדרגה לנקודה בלי לקרוע אותה. סביב סופגנייה, לעומת זאת, אפשר למקם אותה כך שלא ניתן יהיה לכווץ אותה בלי לעבור דרך החור.
פואנקרה שאל, בפישוט גדול, האם תכונה דומה מאפשרת לזהות את המקבילה התלת-ממדית של כדור. המתמטיקאי הרוסי גריגורי פרלמן פרסם בשנים 2002-2003 סדרת עבודות שהשלימו את ההוכחה. אחרי שנים של בדיקה, מכון קליי העניק לו ב-2010 את פרס המילניום הראשון – והוא החליט לא לקבל את מיליון הדולר.
2. נאוויה-סטוקס – הבעיה שעשויה להפוך לשנייה שנפתרה
משוואות נאוויה-סטוקס מתארות את תנועתם של נוזלים וגזים – ממים בצינור ועד אוויר סביב כנף מטוס.
המשוואות עצמן מוכרות כבר כמעט 200 שנה, ומהנדסים משתמשים בהן מדי יום. בעיית המילניום עוסקת בקיום ובחלקות של פתרונות בתלת-ממד, בתנאים שהניסוח הרשמי מגדיר: האם פתרון שמתחיל בצורה חלקה תמיד יישאר חלק, או שהוא עלול להגיע בתוך זמן סופי לנקודה שבה המהירות או נגזרותיה מתפוצצות.
בספטמבר 2026 הודיע מכון קליי כי הבעיה כנראה הוכרעה, אך תהליך הבדיקה וההכרה הרשמית עדיין נמשך.
בבָּעוֹלָם כבר עסקנו בכך בהרחבה בכתבה "בעיות המילניום: האם AI פתרה את נאוויה-סטוקס?".
3. השערת רימן – החידה של המספרים הראשוניים
השערת רימן היא אולי המפורסמת ביותר ברשימה. היא נוסחה כבר ב-1859 ועוסקת בהתפלגות המספרים הראשוניים – מספרים שלמים הגדולים מ-1 שמתחלקים ללא שארית רק בעצמם וב-1.
רימן גילה קשר בין ההתפלגות שלהם לבין פונקציה מתמטית שנקראת פונקציית הזטא. ההשערה שלו קובעת שכל האפסים הלא טריוויאליים של הפונקציה נמצאים על קו מסוים במישור המרוכב – עם חלק ממשי 1/2. כמויות עצומות של אפסים נבדקו ממוחשבות ונמצאו מתאימים להשערה, אך עדיין חסרה הוכחה כללית.
4. P מול NP – האם מה שקל לבדוק גם קל לפתור?
זו כנראה בעיית המילניום בעלת הקשר הישיר ביותר לעולם המחשבים. דמיינו פאזל מסובך מאוד: אם מישהו נותן לכם פתרון, אולי תוכלו לבדוק תוך שניות שהוא נכון. אבל למצוא את הפתרון מאפס עלול לקחת זמן עצום.
P מול NP שואלת, בפשטות: אם ניתן לבדוק פתרון במהירות – האם תמיד קיימת גם דרך למצוא אותו במהירות? אם יתברר ש-P=NP, המשמעות עלולה להיות דרמטית עבור אופטימיזציה, תכנון, מדעי המחשב וגם חלק ממערכות ההצפנה. רוב החוקרים מעריכים ש-P שונה מ-NP, אבל אין לכך הוכחה.
5. השערת הודג' – לחבר בין צורה למשוואה
השערת הודג' נמצאת באזור שבו נפגשים גיאומטריה, טופולוגיה ואלגברה. מתמטיקאים יודעים לתאר צורות מורכבות מאוד באמצעות כלים טופולוגיים, והשאלה היא עד כמה מבנים שנמצאים בתוך הצורות האלה ניתנים לתיאור גם באמצעות משוואות אלגבריות.
במקרים מסוימים התשובה ידועה, אבל בממדים גבוהים הבעיה נותרה פתוחה.
6. יאנג-מילס ופער המסה – הבעיה שבין מתמטיקה לפיזיקה
תורת יאנג-מילס נמצאת בלב הפיזיקה המודרנית ומשמשת לתיאור כוחות בין חלקיקים. המודלים הפיזיקליים והסימולציות עובדים היטב ומראים תופעה הנקראת פער מסה.
הפיזיקאים משתמשים בתופעה הזאת בהצלחה, אבל עדיין חסרה בנייה מתמטית מחמירה של תורת יאנג-מילס הקוונטית בארבעה ממדים והוכחה לקיומו של פער המסה.
7. השערת בירץ' וסווינרטון-דייר – כמה פתרונות יש למשוואה?
הבעיה האחרונה עוסקת בעקומים אליפטיים – משוואות ממעלה שלישית שמופיעות במקומות רבים במתמטיקה וגם בקריפטוגרפיה. המטרה היא להבין כמה פתרונות רציונליים יש למשוואה כזאת.
השערת בירץ' וסווינרטון-דייר קושרת את דרגת קבוצת הנקודות הרציונליות להתנהגות של פונקציה אנליטית הקשורה לעקום. בין היתר, היא אמורה להבחין בין מקרים שבהם מספר הנקודות האלה סופי לבין מקרים שבהם הוא אינסופי. גם כאן הוכחו מקרים חשובים, אבל ההשערה המלאה עדיין פתוחה.
אז כמה בעיות באמת נשארו?
אחת מסווגת כפתורה, אחת כ-Active וחמש כפתוחות. בהודעה מ-11 בספטמבר 2026 תיאר מכון קליי פתרון לכאורה לנאוויה-סטוקס, לצד תהליך בדיקה והכרה שעדיין נמשך. הופעה ב-Active אינה הודעה על הענקת הפרס.
למה אי אפשר פשוט להגיש הוכחה ולקבל מיליון דולר?
פתרון לבעיית מילניום אינו מאושר מיד. לפי כללי מכון קליי, ההוכחה צריכה להתפרסם בכתב עת מתאים, לחלוף לפחות שנתיים מפרסומה, והיא צריכה לזכות בקבלה כללית בקהילה המתמטית.
ההיסטוריה של פואנקרה ממחישה עד כמה התהליך יכול להיות ארוך: פרלמן פרסם את עבודותיו ב־2002 וב־2003, ורק ב־2010 הכריז מכון קליי על זכייתו בפרס.
ומה משנה כניסת הבינה המלאכותית לתמונה?
כלי AI כבר מסייעים בחיפוש דפוסים, ניסוי רעיונות ובדיקת חישובים, אבל נכון לעכשיו אין בהודעת קליי על נאוויה-סטוקס אישור לכך שבינה מלאכותית פתרה את הבעיה.
השאלה המעניינת היא האם בעתיד פריצת דרך תגיע ממתמטיקאי יחיד, מצוות חוקרים – או משילוב בין בני אדם לכלי AI. בכל מקרה, הדרישה נשארת אותה דרישה: הוכחה מלאה שעומדת בבדיקה מתמטית רגילה.
שאלות נפוצות
כמה שווה פתרון של בעיית מילניום?
מכון קליי ייעד מיליון דולר לכל אחת משבע הבעיות.
כמה בעיות מילניום נפתרו?
ברשימת Solved של קליי מופיעה רק השערת פואנקרה. נאוויה-סטוקס מסווגת כ-Active וחמש האחרות כ-Unsolved.
מי פתר את בעיית פואנקרה?
המתמטיקאי הרוסי גריגורי פרלמן, שפרסם את עבודתו בשנים 2002-2003 ובהמשך ויתר על כספי הפרס.
מה בעיית המילניום המפורסמת ביותר?
השערת רימן ו-P מול NP הן כנראה השתיים המוכרות ביותר מחוץ לעולם המתמטיקה, בעיקר בגלל הקשר שלהן למספרים ראשוניים ולמדעי המחשב.
אחרי מה לעקוב
העדכון הבא שחשוב לבדוק הוא הודעה רשמית על תוצאות הבדיקה בנאוויה-סטוקס ועל ההכרה והפרס. במקביל, חמש הבעיות בקטגוריית Unsolved ממשיכות להציב אתגר. כותרת על פריצת דרך אינה תחליף להוכחה שנבדקה ולהחלטת המכון.
