OpenAI קרובה כנראה לפתרון בעיית מיליניום שנייה — הפעם בזהירות
OpenAI מדווחת על התקדמות משמעותית בפתרון בעיית מיליניום שנייה, ככל הנראה השערת הודג', רק שבועות אחרי שהכרזתה על פתרון בעיית נאבייה-סטוקס באמצעות 10,000 סוכני AI עוררה מחאה של יותר מ-1,000 מתמטיקאים וזוכי פרס פילדס. המאמר הקודם עדיין נבדק על ידי מכון קליי, ותוצאת הבדיקה תקבע את מידת האמינות של ההכרזה הבאה.
OpenAI קרובה, ככל הנראה, לפתרון בעיית מיליניום שנייה — הפעם, לדבריה, בזהירות רבה יותר. לפי דיווח של The Information, כפי שמסכם Phemex, החברה מתקדמת לקראת פתרון אחת משבע "בעיות המיליניום" — האתגרים המתמטיים הבלתי פתורים שהגדיר בשנת 2000 מכון קליי למתמטיקה (Clay Mathematics Institute), כשעל פתרון מאומת לכל אחת מהן מוצע פרס של מיליון דולר.
ההודעה החדשה מגיעה רק שבועות ספורים אחרי מהלך שעורר סערה בקהילת המתמטיקאים. לפי Crypto Briefing, OpenAI הודיעה ב-9–10 בספטמבר 2026 כי הצליחה להפיק פתרון לבעיית נאבייה-סטוקס (Navier-Stokes) — אחת משבע בעיות המיליניום — באמצעות כ-10,000 סוכני AI (AI agents) שפעלו יחד והפיקו מאמר מחקר בן 166 עמודים, כולל קוד אימות פורמלי בשפת Lean, כלי שמאפשר לבדוק קפדנות לוגית של הוכחות מתמטיות. כל התהליך, כך נמסר, ארך 88 שעות בלבד. המאמר נמצא כעת בבדיקה של מכון קליי, תהליך שבעבר נמשך שנים — הוכחתו של גריגורי פרלמן להשערת פואנקרה, הבעיה היחידה מבין השבע שנפתרה עד כה, אושרה רשמית רק ב-2010, כארבע שנים לאחר פרסומה.
התגובה מהקהילה המתמטית הייתה חריפה: יותר מ-1,000 מתמטיקאים חתמו על מכתב פתוח שהגדיר את גישתה של OpenAI כ"התנהלות מחקרית פסולה" (research misconduct), ו-25 זוכי מדליית פילדס — הפרס היוקרתי ביותר במתמטיקה — פרסמו הצהרה משותפת על מה שכינו "חוסר התאמה חמור" בין התפתחויות ה-AI לאתיקה המתמטית. בעקבות הביקורת, OpenAI הודיעה על משיכת חסות מהאקתון מתמטי בקלטק (Caltech).
על רקע זה, החברה מאמצת הפעם קצב זהיר יותר: לפי Crypto Briefing, היא הודיעה על "התקדמות משמעותית" בבעיית מיליניום נוספת, בלי לחשוף באיזו בעיה מדובר. הערכות בקהילה מצביעות על השערת הודג' (Hodge Conjecture) — בעיה שהציג ב-1950 המתמטיקאי הסקוטי ויליאם הודג', ועוסקת בשאלה האם מבנים גאומטריים מסוימים במרחבים אלגבריים מורכבים ניתנים לבנייה מיסודות פשוטים יותר הידועים כמעגלים אלגבריים. מדובר בתחום שמצוי בחפיפה שבין גאומטריה אלגברית, טופולוגיה וניתוח מרוכב, ונחשב מופשט במיוחד גם בקנה מידה מתמטי.
המשמעות המעשית תלויה כולה בתוצאה של בדיקת מכון קליי למאמר נאבייה-סטוקס. אם ההוכחה תעמוד במבחן הביקורת המקצועית, מדובר יהיה בציון דרך של ממש בהיכולת של מערכות AI לתרום למחקר מתמטי טהור. אם לא — כך מוערך — כל הודעה עתידית של OpenAI, בין אם על השערת הודג' ובין אם על בעיה אחרת, תיתקל בספקנות גדולה עוד יותר. בשלב זה, מדובר בטענה של החברה שטרם עברה את הביקורת העמיתים המסורתית שבה תלויה כל הכרה רשמית במתמטיקה.