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