בעיות המילניום של מכון קליי
בעיות המילניום של מכון קליי הן שבע השערות מתמטיות בולטות, אשר נקבעו בשנת 2000 על ידי מכון קליי למתמטיקה כבעיות פתוחות אשר פתרון כל אחת מהן מזכה בפרס כספי בסך 1,000,000 דולר. הבעיות הוכרזו לכבוד פתיחת האלף השלישי לספירה. מאז הוכרז הפרס נפתרה באופן רשמי רק אחת מן הבעיות – השערת פואנקרה. בספטמבר 2026 הודיעה חברת OpenAI כי מערכת בינה מלאכותית שפיתחה יצרה הוכחה לפתרון בעיית נאוויה–סטוקס (אנג'), ואילו מכון קליי למתמטיקה הודיע כי הבעיה "ככל הנראה הוכרעה". עם זאת, נכון לאוקטובר 2026 טרם הושלם תהליך הבדיקה הרשמי של מכון קליי, ולכן הבעיה טרם הוכרזה כפתורה באופן רשמי.
רשימת הבעיות
[עריכת קוד מקור | עריכה]- השערת רימן על פונקציית זטא של רימן, שנוסחה ב-1859 ואשר הופיעה אף ברשימת 23 הבעיות של הילברט.
- השערת בירץ' וסווינרטון-דייר - השערה מרכזית על האריתמטיקה של עקומים אליפטיים, שנוסחה ב-1963.
- השערת פואנקרה - השערה אשר מתבססת על טופולוגיה- חקר הצורות והקשר ביניהן. היא טוענת כי כל צורה שאין לה חור משתייכת לאותה משפחה ומבחינה מהותית זהה לצורת כדור. ההשערה נוסחה ב-1904. השערה זו היא היחידה שהוכחה עד כה, על ידי גריגורי פרלמן (ר' בהמשך).
- פתרון השערת הודג' על קוהומולוגיה (אנג') של יריעות אלגבריות.
- הבנת הפתרונות של משוואות נאוויה-סטוקס על זרימת נוזלים.
- הכרעה בשאלה האם P=NP.
- בנייה של תורות יאנג-מילס להסבר המסה של חלקיקים אלמנטריים.
פרס על הפרכה
[עריכת קוד מקור | עריכה]בבעיית P מול NP היחס להפרכה ולהוכחה זהה מבחינת הפרס. ביתר הבעיות, הפרכה תזכה את הפותר בפרס, רק אם מכון קליי ימצא שלאור ההפרכה הבעיה נסגרה. אחרת יכול מכון קליי לנסח את הבעיה מחדש עם תנאים חלשים יותר בצורה שההפרכה לא תסתור אותה, ולהעניק (לפי שיקול דעתו) פרס מוקטן עבור ההפרכה. הפרס המוקטן לא יהיה על חשבון הפרס המוצע לבעיה, אלא ממקורות מימון אחרים[1].
הוכחות
[עריכת קוד מקור | עריכה]השערת פואנקרה
[עריכת קוד מקור | עריכה]בנובמבר 2002 פרסם גריגורי פרלמן מתווה להוכחה ל"השערת הגאומטריזציה של תרסטון", שהשערת פואנקרה היא מקרה פרטי שלה. פרלמן לא פרסם את הוכחתו בכתב עת העובר ביקורת עמיתים. אולם, לאחר מספר שנים, הוכחתו פורסמה ביתר פירוט על ידי מתמטיקאים אחרים. הפרסום עבר ביקורת עמיתים ובכך עמד בתנאי הסף לקבלת הפרס. במרץ 2010 הוצע הפרס לפרלמן[2], אך זה דחה את קבלתו[3].
משוואות נאוויה–סטוקס
[עריכת קוד מקור | עריכה]בספטמבר 2026 הודיעה חברת OpenAI כי מערכת בינה מלאכותית פנימית שפיתחה יצרה הוכחה שלטענת החברה פותרת את בעיית הקיום והחלקות של משוואות נאוויה–סטוקס, אחת מבעיות המילניום. ההוכחה מראה כי קיימת זרימה תלת־ממדית המתחילה ממצב חלק, אשר תחת כוח חיצוני חלק מפתחת סינגולריות בזמן סופי, כלומר מהירות הנוזל הופכת לבלתי חסומה. לפי OpenAI, תוצאה זו מקיימת את חלופות C ו־D בניסוח הרשמי של מכון קליי ומהווה בכך הפרכה של הטענה שלפיה הפתרונות נותרים חלקים בכל תנאי ההתחלה המותרים.[4]
ההוכחה הופקה באמצעות מערכת מרובת סוכני בינה מלאכותית, שכללה כ-10,000 סוכנים שפעלו במקביל במשך 88 שעות. לאחר מכן עברה ההוכחה פורמליזציה ואימות באמצעות Lean, תהליך שנמשך כ־17 שעות נוספות בעזרת המודל GPT-6 Astra. לאחר מכן, OpenAI פרסמה הן את ההוכחה המתמטית והן את הגרסה הפורמלית שלה, אך הודיעה כי אינה מתכוונת לתבוע את פרס המיליון.[5]
נכון לספטמבר 2026, התוצאה עדיין חדשה וטרם קיבלה הכרה רשמית ממכון קליי כפתרון לבעיית המילניום. לפי כללי המכון, פתרון מוצע נדרש להתפרסם במסגרת מתאימה, לעמוד בבחינה של הקהילה המתמטית במשך לפחות שנתיים ולזכות בקבלה כללית לפני שמכון קליי ישקול להכיר בו לצורך הפרס.[6]
לקריאה נוספת
[עריכת קוד מקור | עריכה]- Keith J. Devlin, The Millennium Problems: The Seven Greatest Unsolved Mathematical Puzzles of Our Time, Basic Books, 2002.
קישורים חיצוניים
[עריכת קוד מקור | עריכה]
אתר האינטרנט הרשמי של בעיות המילניום של מכון קליי- בעיות המילניום של מכון קליי, באתר אנציקלופדיה בריטניקה (באנגלית)
- תקנון הפרס
הערות שוליים
[עריכת קוד מקור | עריכה]- ↑ תקנון הפרס
- ↑ הודעת הזכייה בפרס, באתר מכון קליי, בפורמט
, 18 במרץ 2010 (באנגלית) (ארכיון) - ↑ Strange Russian Genius Declines Million-Dollar Prize from USA, באתר פראבדה, 19.03.2010 (באנגלית)
- ↑ On the Navier–Stokes Millennium Prize Problem, OpenAI, 2026-09-06 (באנגלית אמריקאית)
- ↑ Davide Castelvecchi, OpenAI claims huge maths breakthrough on a famed ‘Millennium Problem’, Nature, Nature Publishing Group, 2026-09-08 doi: 10.1038/d41586-026-02842-5
- ↑ Rules for the Millennium Prize Problems, Clay Mathematics Institute (באנגלית אמריקאית)
| 23 הבעיות של הילברט | ||
|---|---|---|
| דויד הילברט | ||
| בעיות פתורות (פותרים) | השערת הרצף (גדל, כהן) • הבעיה השנייה של הילברט (גדל, גנצן) • השלישית (דן) • השביעית (גלפונד, שניידר) • העשירית • השלוש-עשרה (ארנולד) • הארבע-עשרה (נגטה) • השבע-עשרה (ארטין) • התשע-עשרה (דה ג'יורג'י, נאש) • העשרים • העשרים ואחת • העשרים ושתיים | |
| בעיות פתורות חלקית (פותרים) | הבעיה הרביעית של הילברט • החמישית (גליסון) • התשיעית (ארטין) • האחת-עשרה (הסה) • החמש-עשרה • השמונה-עשרה | |
| בעיות פתוחות | הבעיה השישית של הילברט • השמינית • השתים עשרה • השש-עשרה • העשרים ושלוש | |
| בעיות המילניום של מכון קליי • בעיות לנדאו | ||
| בעיות המילניום של מכון קליי | ||
|---|---|---|
| הבעיות | השערת ברץ' וסווינרטון-דייר • השערת רימן • השערת פואנקרה (נפתרה) • השערת הודג' • משוואות נאוויה-סטוקס • P=NP • תורות יאנג-מילס | |
| פותרים | גריגורי פרלמן (השערת פואנקרה) | |
| 23 הבעיות של הילברט • בעיות לנדאו | ||
