השפה הזו תורגמה אוטומטית ולא נבדקה על ידי אדם.

NIVΞCTOR
חדשותתמיכה

הספירה עוד לא התחילה

בינה מלאכותית · מאמר

שחרור בהיקף ענק של מתמטיקה על ידי OpenAI יוצר פחדים במקצוע בקרב מתמטיקאים אקדמיים

פורסם:

An office building at 1515 Third Street in the Mission Bay neighborhood of San Francisco, California. At the time this photo was taken, this building was home to the headquarters of OpenAI. Photographed by user Coolcaesar on June 15, 2025.
תמונה: Coolcaesar · CC BY 4.0 · Wikimedia Commons

בקצרה

ב-6 באוקטובר 2026, פרסמה OpenAI 722 כתבי יד שנוצרו על ידי בינה מלאכותית המאורגנים ל-372 משפחות בעיות, כולל טענה שנויה במחלוקת על שאלת פרס המילניום של Navier-Stokes. מדליסט פילדס Hugo Duminil-Copin אמר שהוא בכה לאחר שמצא 16 מן שאלות המחקר שלו בקרב הכתבים, והוא כינה זאת 'פירוק' של תחומו, בעוד שקבוצת מתמטיקאים קראה לעמיתים להפסיק לעבוד עם OpenAI.

גרסה זו היא תרגום מכונה של המקור (English). לקריאת המקור

בערב 6 באוקטובר 2026, פתחה OpenAI מאגר ציבורי המכיל 722 כתבי יד מתמטיים, מקובצים ל-372 משפחות בעיות, שנוצרו על ידי מודל פנימי שלא פורסם, לפי Unite.AI. החברה אמרה שהצגה לסיסטם בערך 4000 בעיות פתוחות בסך הכל ופרסמה רק את התת-קבוצה שהחליטה שראויה להיות מפורסמת, המכסה אלגברה, תורת המספרים, טופולוגיה, מדעי המחשב התיאורטיים והגיון מתמטי.

מה פרסמה OpenAI

Unite.AI דיווחה כי ההכשרה של המודל הפנימי החלה ב-28 באוגוסט 2026, כאשר הרצת הערכה הושקה ב-1 בספטמבר. המודל כנראה הפיק הוכחה Lean-formalized העוסקת בשאלת הייחודיות של Navier-Stokes - אחת משבע בעיות פרס המילניום של מכון הקליי למתמטיקה - בסביבות 5 בספטמבר, כאשר OpenAI הכריזה על התוצאה בפומבי ב-8 בספטמבר. החברה אמרה שלא תבקש את פרס המיליון דולר הקשור בעניין. Fortune דיווחה כי OpenAI גם טענה להתקדמות חלקית בשלוש בעיות פרס מילניום אחרות בקבוצה של 6 באוקטובר ללא פתרון מלא שלהן.

לא כל כתב יד הגיע עם אימות שבדק על ידי מכונה. Unite.AI ציינה שרבים, אך לא הכל, מאמרים כללו פורמליזציות בעוזר הוכחה Lean, המוודא כל שלב לוגי באופן אוטומטי; תוצאות לא פורמליות נושאות סיכון גבוה יותר של שגיאות נסתרות. Fortune דיווחה כי OpenAI כבר משכה לפחות שלוש מהפתרונות המפורסמים עד 8 באוקטובר לאחר שגילו שגיאות.

מדליסט פילדס אומר שהוא בכה

הפרסום השפיע על כמה חוקרים באופן אישי. המקור הצרפתי SenePlus דיווח כי Hugo Duminil-Copin, שזכה במדליית פילדס ב-2022 על עבודה על מעברי פאזה בפיזיקה סטטיסטית, גילה שלא פחות מ-16 משאלות המחקר הפתוחות שלו היו בין הבעיות שטענה OpenAI שעסקה בהן, וטען שהחברה למעשה סיימה את הקו הזה של מחקר. הוא אמר שהוא בכה במהלך הלילה של יום שלישי, 6 באוקטובר עד 7 באוקטובר, עד כדי כך שהוא הקיץ את בתו.

זה פירוק של הפעילות שלנו.

— Hugo Duminil-Copin, מדליסט פילדס 2022, בציטוט מ-SenePlus

לפי SenePlus, טען Duminil-Copin במהלך ועידת וידאו שנערכה על ידי החברה המתמטית הצרפתית ב-8 באוקטובר כי המטרה של החוקר היא לא רק להוכיח משפטים אלא להייצר הבנה לבני אדם אחרים. הוא אמר שהוא חוששים בעיקר לגבי מתמטיקאים בשלבים מוקדמים של הקריירה, שהוא חשש שיושפעו יותר כאשר התרבות הבלתי רשמית של הפצת רעיונות ותוצאות חלקיות בקרב עמיתים מתמוטטת אם מתמטיקאים מתחילים לשמור על עבודתם בגלל לחץ תחרותי.

מתמטיקאים דוחפים בחזרה

הפרסום הניע הצהרה פתוחה מ-Association for Human Mathematics (AHM), קבוצה שמועד הקשר שלה פרסם אותה כערך אורח בבלוג של המתמטיקאי Terence Tao ב-7 באוקטובר. ההצהרה אמרה שמתמטיקאים לא ביקשו את הגוף הזה של עבודה וכי OpenAI התעלמה מהנחיות קודמות של קבוצת ייעוץ בנושא מתמטיקה וינטליגנציה מלאכותית, גוף עצמאי המייעץ כיצד חברות בינה מלאכותית צריכות לבדוק ולפרסם טענות מתמטיות, על פי הצהרת AHM. ההצהרה תיארה את הפרסום של יותר מ-700 קבצים בו-זמנית כממשלת הגודל של משאביה של OpenAI ולא סקירה חברתית זהירה.

Fortune דיווחה שTerence Tao, בכתיבה על Mastodon, אמר שהאירוע מסמן את הסוף של מה שהוא כינה Math 1.0, וטען שבעיות נפתרות בעדיין על ידי משתמשי בינה מלאכותית ללא עניין בתחום הרחב עצמו וכי הדיסציפלינה צריכה לשים ערך רב יותר על הצגה ובניית קהילה ולא רק על פתרון בעיות. מתמטיקאי באוניברסיטת ניו יורק Tristan Buckmaster, שהעלה בעבר דאגות לגבי העבודה של Navier-Stokes, אמר ללוס אנג'לס טיימס, כפי שציטטה Fortune, כי הוא חושד שחלק מהתוצאות המפורסמות הארכו עבודה קודמת של מתמטיקאים אחרים לסיום ללא קרדיט מספיק.

מתמטיקאי באוניברסיטת קולומביה Peter Woit, בכתיבה בבלוג שלו Not Even Wrong, תיאר את הפרסום כמאורגן בצורה גרועה ואמר כי OpenAI התעלמה מהמלצות קבוצת הייעוץ לפני הסבה את אחריותו לסידור התוצאות לקהילת המתמטיקה עצמה. Woit זיהה את המערכת מאחורי המאמרים כמודל שהוא התייחס אליו כ'Astra'. מגיבים בפוסט שלו אמרו שרבות מההוכחות שנוצרו על ידי בינה מלאכותית היו צפופות מבחינה טכנית אך הציעו מעט אינטואיציה מתמטית או הבנה תיאורטית חדשה, אפילו כשהן נכונות.

לא קרב חדש

חיכוך בין OpenAI למתמטיקאים קדם לפרסום באוקטובר. TechCrunch דיווחה כי באוקטובר 2025, סגן נשיא OpenAI Kevin Weil פרסם - ומאוחר יותר מחק - טענה כי GPT-5 מצא פתרונות ל-10 בעיות Erdős שלא היו פתורות והתקדם ב-11 אחרות. Thomas Bloom, המנהל את מסד הנתונים הציבורי של בעיות Erdős, אמר כי המסגרת הייתה מטעה מאוד, והסביר שבעיות המסומנות 'פתוחות' באתר שלו פשוט אומנות שלא היה מודע לפתרון פורסם, לא שלא קיים פתרון; הוא אמר כי GPT-5 אתר הפניות קיימות שהוא פספס. חוקר OpenAI Sebastien Bubeck הודה מאוחר יותר כי המודל היה רק אתר פתרונות קיימים בספרות המפורסמת ולא גילה חדשים, אם כי הוא אמר שיש לזה עדיין ערך.

תומכים אומרים שהתחום יכול להסתגל

לא כל מתמטיקאי התייחס לפרסום ככריזה. Fortune ציטט את מתמטיקאי באוניברסיטת טורונטו Dan Litt כאומר שהוא שוקל את ההתפתחות חיובית בסך הכל למתמטיקה, אך מזהיר כי החברה צריכה להמשיך לממן מתמטיקאים אנושיים כך שהתחום לא יאבד תמיכה מוסדית כתוצאה מכך. Litt גם ציין כי OpenAI לא מעסיקה מתמטיקאים מספיקים כדי לכתוב את כל התוצאות שלהן כמאמרים קונבנציונליים, מה שהוא אמר שעוזר להסביר, ללא תירוץ, את היקף וקצב הפרסום.

ציר הזמן של סכסוך OpenAI–מתמטיקה
תאריךאירועמקור
19 באוקטובר 2025הפוסט של Kevin Weil על בעיות Erdős מעוררת מחלוקת על ידי Thomas BloomTechCrunch
28 באוגוסט - 1 בספטמבר 2026מודל פנימי הוכשר והוערך על בעיות פתוחותUnite.AI
5 בספטמבר 2026תוצאת Navier-Stokes כנראה הופקה באופן פנימיUnite.AI
8 בספטמבר 2026טענת פרס המילניום של Navier-Stokes הוכרזה בפומביUnite.AI
6 באוקטובר 2026722 כתבי יד / 372 משפחות בעיה הפרסומו בפומביUnite.AI, Woit
7 באוקטובר 2026הצהרת עמותת המתמטיקה לאנושות פורסמהבלוג של Terence Tao
8 באוקטובר 2026שלוש תוצאות משוכות; הערות של Duminil-Copin בישיבת החברה המתמטית הצרפתיתFortune, SenePlus

שאלות

בדיוק מה פרסמה OpenAI ב-6 באוקטובר 2026?
מאגר ציבורי של 722 כתבי יד מתמטיים שנוצרו על ידי בינה מלאכותית, המאורגנים ל-372 משפחות בעיה, שנוצרו על ידי מודל פנימי שלא פורסם ומכסים תחומים מאלגברה להגיון מתמטי, לפי Unite.AI.
האם OpenAI בעצם פתרה את בעיית פרס המילניום של Navier-Stokes?
המודל הפנימי של OpenAI כנראה הפיק תוצאה על שאלת הייחודיות של Navier-Stokes, אחת משבע בעיות פרס המילניום של מכון הקליי למתמטיקה, בסביבות 5 בספטמבר 2026, עם הכרזה פומבית של החברה ב-8 בספטמבר ואמרה שלא תבקש את פרס המיליון דולר; Fortune דיווחה כי החברה גם טענה להתקדמות חלקית בלבד בשלוש בעיות פרס מילניום אחרות בפרסום באוקטובר.
למה אמר Hugo Duminil-Copin שהוא בכה?
לפי SenePlus, מדליסט פילדס גילה ש-16 משאלות המחקר הפתוחות שלו היו בקרב הבעיות שטפל בהן מודל OpenAI, מה שהוא תיאר כסיום למעשה את הקו הזה של מחקר וביניסוציו שלו, 'פירוק של הפעילות שלנו'.
האם כל הוכחות הכתיבה בעלי ידיים שפרסמה OpenAI אומתו כנכונות?
לא. Unite.AI דיווחה כי רבים, אך לא כל, כתבי יד כוללים הוכחות Lean-formalized (שבדוק על ידי מכונה), ו-Fortune דיווחה כי OpenAI כבר משכה לפחות שלוש תוצאות מפורסמות עד 8 באוקטובר 2026 לאחר גילוי שגיאות.
האם קהילת המתמטיקה מאוחדת בהתנגדות לפרסום?
לא. עמותת המתמטיקה לאנושות קראה למתמטיקאים להפסיק לעבוד עם OpenAI, ודמויות כמו Terence Tao ו-Peter Woit מתנגדות לפרסום, אך מתמטיקאי באוניברסיטת טורונטו Dan Litt אמר ל-Fortune שהוא משקיף את ההתפתחות כחיובית בסך הכל למתמטיקה.

איך העולם מספר את זה

מקורות

  1. Unite.AI — OpenAI Releases 722 Math Manuscripts From an Unreleased AI Model
  2. Fortune — OpenAI publishes solutions to more than 370 outstanding math challenges. Math may never be the same
  3. SenePlus — Quand l'IA résout les problèmes, que reste-t-il aux mathématiciens ?
  4. Terence Tao's blog — AHM Statement on OpenAI's October 6 Release of Mathematical Documents
  5. Not Even Wrong (Peter Woit) — Slopocalypse
  6. TechCrunch — OpenAI's embarrassing math

כתבה זו הוכנה בעזרת בינה מלאכותית ועברה בדיקת מקורות אוטומטית לפני הפרסום. אם ראיתם טעות, בקשו תיקון. בקשת תיקון או זכות תגובה · איך אנחנו עובדים

כתבות קשורות