AnswersPublished25 sources
OpenAI טוענת שפתרה יותר מ־100 בעיות פתוחות במתמטיקה — אבל אימות חיצוני עדיין חסר
ב־21 בספטמבר 2026 OpenAI אמרה שמודל פנימי, שאימונו החל ב־28 באוגוסט, פתר יותר מ־100 בעיות פתוחות ותיקות במתמטיקה.[5][15] לגבי נאוויה–סטוקס OpenAI פרסמה הוכחה אנליטית ופורמליזציה ב־Lean; אולם אין עדיין פרסום בכתב עת מתאים, ביקורת עמיתים שהושלמה או קבלה כללית בקהילה המתמטית.[13][1] אין תיעוד פומבי שמאפשר לקבוע שהשערת...
פורסם על ידינערך באמצעות GPT-5.6 Terraהתמונות נוצרו באמצעות GPT Image 2
Research answer
Key takeaways
- ב־21 בספטמבר 2026 OpenAI אמרה שמודל פנימי, שאימונו החל ב־28 באוגוסט, פתר יותר מ־100 בעיות פתוחות ותיקות במתמטיקה.[5][15]
- לגבי נאוויה–סטוקס OpenAI פרסמה הוכחה אנליטית ופורמליזציה ב־Lean; אולם אין עדיין פרסום בכתב עת מתאים, ביקורת עמיתים שהושלמה או קבלה כללית בקהילה המתמטית.[13][1]
- אין תיעוד פומבי שמאפשר לקבוע שהשערת הודג' נפתרה: OpenAI הכירה בהתקדמות משמעותית בבעיית מילניום שנייה, אך לא זיהתה אותה ולא פרסמה הוכחה.[14]
AI Prompt
openai.comCreate a landscape editorial hero image for this Studio Global article: What did OpenAI claim on September 21, 2026, about an unnamed internally trained AI model solving more than 100 long-standing open mathemati. Article summary: OpenAI’s September 21 statement was a claim, not a community-accepted mathematical result: it said an unnamed internal model, trained beginning August 28, had resolved more than 100 long-standing open problems across mat. Topic tags: general, news, general web, education, academic. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, watermarks, cha
ההכרזה של OpenAI מ־21 בספטמבר היא טענה מחקרית יוצאת דופן, ולא תוצאה מתמטית שכבר התקבלה בקהילה. החברה אמרה שמודל פנימי, שאימונו החל ב־28 באוגוסט, פתר יותר מ־100 בעיות פתוחות ותיקות, בתחומים רבים של המתמטיקה. ההודעה פורסמה במקביל להקמת קבוצת ייעוץ עצמאית למתמטיקה ובינה מלאכותית, המתארחת במכון למחקר מתקדם (IAS) בפרינסטון. 5
15
ההבחנה החשובה היא בין טענה של חברה לפתרון לבין הוכחה שנבדקה באופן עצמאי והתקבלה בידי מתמטיקאים. החומר הפומבי תומך, לעת עתה, בראשון — לא בשני, ובוודאי לא עבור כל מאה הבעיות הנטענות.
מה בדיוק OpenAI טענה
ב־8 בספטמבר OpenAI הודיעה שכ־10,000 סוכני AI, שפעלו באמצעות מודל פנימי שלא פורסם, מצאו בתוך 88 שעות סינגולריות בזמן סופי עבור משוואות נאוויה–סטוקס מאולצות בתלת־ממד. החברה הציגה זאת כפתרון לבעיית הקיום והחלקות של נאוויה–סטוקס, ואמרה שהמערכת יצרה גם הוכחה אנליטית וגם פורמליזציה בשפת Lean. 1
13
ב־21 בספטמבר הורחבה הטענה: מעבר לנאוויה–סטוקס, לפי OpenAI, אותו מודל פתר יותר מ־100 בעיות פתוחות ותיקות. 5
15
לניסוח הזה יש משמעות: המילה „פתר” היא תיאור של OpenAI. היא אינה מעידה שכל תוצאה כבר פורסמה, נבדקה בידי מומחים בלתי תלויים או התקבלה בקונצנזוס מתמטי.
מה פורסם — ומה לא
במקרה של נאוויה–סטוקס, OpenAI תיארה הוכחה אנליטית ופורמליזציה ב־Lean, עוזר הוכחה פורמלי. בדיקת Lean היא ראיה משמעותית: היא יכולה להראות שמשפט מתמטי, כפי שנוסח במדויק בקוד, נובע מן ההגדרות, האקסיומות וספריות ההוכחה שהוגדרו בו. 13
אבל לגבי טענת „100+”, התיעוד הפומבי דל בהרבה. בהודעת 21 בספטמבר לא נמסרו רשימה מפורטת של הבעיות, ניסוחן המדויק, ההוכחות, מצב הפורמליזציה, מקור הרעיונות או סטטוס הבדיקה החיצונית של כל אחת מהן. לכן אי אפשר לבקר את מספר הכותרת בעיה אחר בעיה. 7
11
הדיווחים הזמינים גם אינם מבססים השלמה של ביקורת עמיתים אנושית בלתי תלויה או קבלה כללית של הוכחת נאוויה–סטוקס. אלה אמות מידה שונות מעצם פרסום קובץ הוכחה או הידור מוצלח של קוד. 1
46
האם השערת הודג' נפתרה?
לא. על סמך המידע הפומבי שסופק, אין בסיס להתייחס להשערת הודג' כאל בעיה שנפתרה.
השערת הודג' היא אחת מבעיות פרס המילניום של מכון קליי למתמטיקה. 37 לפי דיווחים, OpenAI הכירה ב„התקדמות משמעותית” בבעיית מילניום שנייה, שלא זוהתה בשמה. החברה לא אמרה בפומבי שמדובר בהשערת הודג', ולא פרסמה הוכחה לכך.
14
שמועה, דיווח או טענה להתקדמות אינם תחליף להוכחה מפורסמת שהקהילה יכולה לעיין בה. עד שיתפרסמו ניסוח מדויק ועבודה תומכת שייבדקו באופן עצמאי, המסקנה האחראית היא שפתרון של OpenAI להשערת הודג' לא הוכח.
מדוע הוכחת Lean יכולה להיות תקפה ועדיין קשה להערכה
אימות פורמלי והבנה מתמטית אנושית פותרים בעיות קשורות, אך שונות.
פורמליזציה ב־Lean יכולה להעניק ביטחון חזק בכך שלטענה המקודדת אין פער לוגי ביחס למסגרת הפורמלית שלה. עם זאת, תסריטי הוכחה פורמליים מפרקים גם טיעונים שגרתיים להגדרות רבות, למות עזר, תלות בספריות, החלפות טכניות וצעדים מפורשים. לכן הם עשויים להיות קשים מאוד לקריאה כהסבר רעיוני, גם כשהם תקינים.
אין פירוש הדבר ש„אם זה מתקמפל זה חסר ערך”. ההפך: זו יכולה להיות שכבת אימות חשובה מאוד. אבל הידור לבדו אינו עונה על כל השאלות שמתמטיקאים צריכים לשאול:
- האם הניסוח הפורמלי תואם בדיוק את בעיית המילניום המקורית?
- מהו הרעיון המרכזי שמוביל לבנייה או למנגנון הסינגולריות?
- אילו אומדנים או טיעונים מבצעים את העבודה המתמטית העיקרית?
- האם התוצאה חדשה, יציבה ומוצגת כך שחוקרים אחרים יכולים להמשיך ממנה?
- כיצד יש לייחס קרדיט לרעיונות קודמים ולתרומות מקבילות?
בדיקה פורמלית יכולה להיות חלק מרכזי באימות, אך אינה מחליפה הצגה אנושית בהירה, בירור מקור הרעיונות או הסכמה של הקהילה.
הביקורת: קרדיט, קדימות וכללי המחקר
ההכרזה עוררה ביקורת שלא עסקה רק בפרטים הטכניים של ההוכחה. 25 זוכי מדליית פילדס חתמו על מכתב פתוח בשם A Severe Misalignment of AI in Mathematics, שבו התנגדו למרוץ של מעבדות AI להשתמש בבעיות מתמטיות מפורסמות כהדגמות יכולת. לפי הדיווחים, החותמים הזהירו מפגיעה אפשרית בתרבות המחקר ובהכשרת חוקרים. 19
21
מחלוקת נפרדת על קדימות נגעה למתמטיקאים טריסטן בקמאסטר ולוונט אלפוגה. בהצהרה שפרסם בקמאסטר באותה תקופה, הוא כתב שנמסר לו כי מערכת פנימית של OpenAI מחזיקה בהוכחה להתבדרות בזמן סופי בנאוויה–סטוקס מאולצות. לדבריו, הוא ואלפוגה חשו לחץ לפרסם עבודה קשורה לפני שהאימות וההצגה שלהם הושלמו. בקמאסטר ציין שעבודה נפרדת על גרסה היפו־דיסיפטיבית של נאוויה–סטוקס לא פורסמה, משום שאימות ה־Lean שלה טרם הסתיים. 17
עדותו של בקמאסטר היא ראיה חשובה למחלוקת על עיתוי, קרדיט ולחץ לפרסום. היא אינה, כשלעצמה, הוכחה לכך ש־OpenAI העתיקה עבודה של אחרים. OpenAI מסרה שהחלה בעבודתה לאחר ששמעה שמועה על פריצת דרך של שני המתמטיקאים, ושהציעה פרסום מקביל שיכיר בקדימותם. 32
השאלה הפתוחה אינה רק אם מערכת AI מסוגלת לייצר הוכחה, אלא גם אם אפשר לפרסם תגליות בסיוע AI באופן שמאפשר ייחוס הוגן, בדיקה עצמאית וחילופי ידע אקדמיים תקינים.
מה יכולה — ומה אינה יכולה — לעשות קבוצת הייעוץ של IAS
OpenAI הודיעה על קבוצת ייעוץ עצמאית, לא בתשלום, בת תשעה חברים, למתמטיקה ובינה מלאכותית. הקבוצה מתארחת במכון למחקר מתקדם בפרינסטון; לפי דיווחים חברים בה, בין השאר, טימותי גאוורס ומרטין היירר. 4
5
מטרתה המוצהרת היא להעניק למתמטיקאים תפקיד בהערכת עבודה מתמטית שנוצרה בידי AI ובהצגתה לציבור, לרבות ייעוץ בנוגע לביקורת ולנוהלי פרסום. 5
15
אך מדובר בגוף מייעץ, לא רגולטורי. לפי הדיווחים הזמינים, אין לו סמכות לחייב את OpenAI לפרסם הוכחות, לקבוע את לוח הזמנים המחקרי שלה, להטיל וטו על הודעות או להכריע סופית בשאלות של מחברוּת. 7
זו מגבלה מהותית: ייעוץ של מומחים יכול לשפר שקיפות ותקשורת, אך אינו הופך לבדו טענה פנימית של חברה למשפט מתמטי שהקהילה קיבלה.
למה פרס המילניום אינו על הפרק כרגע
כללי מכון קליי ברורים. לפני שהמכון ישקול פתרון מוצע לבעיית פרס המילניום, עליו להתפרסם בערוץ פרסום מתאים, לחלוף לפחות שנתיים מאז הפרסום, והעבודה צריכה לזכות בקבלה כללית בקהילה המתמטית העולמית. 46
פוסט של חברה, קדם־דפוס, מאגר קוד או הערכה של קבוצת ייעוץ אינם עומדים אוטומטית בתנאים האלה. מכון קליי אף הדגיש לאחר הכרזת נאוויה–סטוקס שהכללים שלו מסדירים גם את הערכת ההישג וגם את חלוקת הקרדיט. 42
לכן, גם אם תוצאת נאוויה–סטוקס של OpenAI — או תוצאה עתידית אחרת — תתברר בסופו של דבר כנכונה, הודעות ספטמבר אינן הופכות אותה מיידית לזכאית לפרס. העבודה עדיין חייבת לעבור את מסלול הפרסום והקבלה המקובל.
השורה התחתונה
OpenAI טוענת שמודל AI פנימי פתר יותר מ־100 בעיות מתמטיות פתוחות, לאחר טענתה הקודמת לפתרון נאוויה–סטוקס עם פורמליזציה ב־Lean. לתוצאת נאוויה–סטוקס קיימים תוצרים פומביים; לתיק הרחב של „100+” עדיין אין תיעוד פומבי מפורט, בעיה אחר בעיה. 13
11
נכון לעכשיו, התגובה הראויה היא לא דחייה אוטומטית ולא קבלה אוטומטית. אלו טענות שעשויות להיות בעלות חשיבות גדולה — אך הן דורשות הוכחות שקופות, בדיקה מקצועית, ייחוס זהיר של קרדיט וזמן. הדברים נכונים במיוחד לכל רמיזה לכך שבעיית מילניום נוספת, כגון השערת הודג', כבר נפתרה.
Studio Global AI
Continue your research
This page includes a source-backed answer you can continue inside Studio Global.
People also ask
What is the short answer to "OpenAI טוענת שפתרה יותר מ־100 בעיות פתוחות במתמטיקה — אבל אימות חיצוני עדיין חסר"?
ב־21 בספטמבר 2026 OpenAI אמרה שמודל פנימי, שאימונו החל ב־28 באוגוסט, פתר יותר מ־100 בעיות פתוחות ותיקות במתמטיקה.[5][15]
What are the key points to validate first?
ב־21 בספטמבר 2026 OpenAI אמרה שמודל פנימי, שאימונו החל ב־28 באוגוסט, פתר יותר מ־100 בעיות פתוחות ותיקות במתמטיקה.[5][15] לגבי נאוויה–סטוקס OpenAI פרסמה הוכחה אנליטית ופורמליזציה ב־Lean; אולם אין עדיין פרסום בכתב עת מתאים, ביקורת עמיתים שהושלמה או קבלה כללית בקהילה המתמטית.[13][1]
What should I do next in practice?
אין תיעוד פומבי שמאפשר לקבוע שהשערת הודג' נפתרה: OpenAI הכירה בהתקדמות משמעותית בבעיית מילניום שנייה, אך לא זיהתה אותה ולא פרסמה הוכחה.[14]