OpenAI פרסמה השבוע אוסף יוצא דופן של מחקרים מתמטיים שנוצרו באמצעות מודל בינה מלאכותית מתקדם שעדיין אינו זמין לציבור. הפרסום מ־6 באוקטובר כולל 722 כתבי יד, המחולקים ל־372 קבוצות של תוצאות קשורות. החברה מדווחת על פתרונות ועל התקדמות בשאלות פתוחות באלגברה, בגיאומטריה ובתחומים נוספים. עם זאת, פרסום תוצאה אינו שקול לאישור מדעי שלה: היקף החידושים שנכונים ומשמעותיים ייקבע לאחר בחינה עצמאית בידי מתמטיקאים.
8 באוקטובר 2026
5 דברים שצריך לדעת עכשיו
- מאות ממצאים: OpenAI פרסמה 722 כתבי יד ב־372 קבוצות תוצאות, בתחומים מגוונים של מתמטיקה ומדעי המחשב התאורטיים.
- מודל שאינו זמין לציבור: התוצאות הופקו במודל AI פנימי מתקדם, ולא באמצעות הצ'אטבוט הרגיל.
- גם בעיות מפורסמות: בין ההישגים המדווחים התקדמות בגרסה מוחלשת של השערת רימן; ההשערה המקורית לא הוכחה בפרסום הזה.
- אימות חיוני: חלק מההוכחות פורסמו גם בפורמט של Lean, המאפשר בדיקה פורמלית במחשב. אחרות עדיין ממתינות לביקורת מתמטית.
- מחלוקת בקהילה: חוקרים מתפעלים מהיקף התוצאות, אבל גם דורשים שקיפות, בדיקות עצמאיות וגישה הוגנת לכלי המחקר.
מה בדיוק פרסמה OpenAI?
במסגרת הניסוי הוצגו למודל אלפי בעיות מחקר, ובהן שאלות שנשארו פתוחות במשך שנים. החברה פרסמה מאגר תוצאות ב־GitHub, עם כתבי יד, פרטים על שיטות העבודה, דוגמאות של מהלך החשיבה ונתונים על עלות החישוב. לפי OpenAI, לכל תוצאה נדרשה בממוצע עוצמת חישוב השקולה לכשלוש שעות חשיבה ב־ChatGPT Pro; זה אינו אומר שכל הבעיה נפתרה בתוך שלוש שעות רגילות של עבודת חוקר.
האוסף משתרע על פני אלגברה, תורת המספרים, גיאומטריה, לוגיקה, קומבינטוריקה ומדעי המחשב התאורטיים. מספר כתבי היד גדול ממספר קבוצות התוצאות משום שלאותו ממצא עשויים להתלוות הוכחות, גרסאות או מסמכים משלימים.
מה הקשר להשערת רימן?
השערת רימן, אחת הבעיות הידועות במתמטיקה, עוסקת במיקום האפסים של פונקציה מתמטית שיש לה קשר עמוק להתפלגות המספרים הראשוניים. אם תיפתר, יהיו לכך השלכות רחבות על תורת המספרים.
לפי דיווח ב־Washington Post, המודל הציג התקדמות על גרסה מוחלשת של השערת רימן, תוצאה שחוקרים מסוימים ראו כמשמעותית במיוחד. חשוב להדגיש: אין בכך הוכחה להשערת רימן עצמה, ואין בפרסום החדש פתרון מאומת לאחת מבעיות המילניום שנותרו פתוחות. להרחבה ראו גם את המדריך שלנו לבעיות המילניום.
איך יודעים אם הוכחה של AI באמת נכונה?
במתמטיקה, טענה משכנעת אינה מספיקה: יש להוכיח שכל שלב בטיעון תקף. מערכות כמו Lean מאפשרות לנסח הוכחה בשפה פורמלית שמחשב יכול לבדוק. זהו כלי חשוב לצמצום טעויות לוגיות, אך הוא אינו מחליף את הצורך לוודא שהמשפט שהוכח אכן תואם לבעיה המקורית ושיש לו חשיבות מדעית.
OpenAI פרסמה פורמליזציות של רבות מההוכחות והודיעה שתוסיף נוספות. עם זאת, הפרסום הראשוני אינו זהה להשלמת ביקורת עמיתים של כל התוצאות, ובייחוד של אלה שאינן כוללות בדיקה פורמלית.
למה חלק מהמתמטיקאים מתנגדים לדרך הפרסום?
ההכרזה מעוררת דיון נרחב במעמדן של חברות מסחריות במחקר בסיסי. ועדת ייעוץ עצמאית למתמטיקה ובינה מלאכותית, שפועלת לצד המכון למחקר מתקדם בפרינסטון, הדגישה את החשיבות של הבנה אנושית, בדיקה עצמאית וערוצי פרסום מדעיים מקובלים. היא גם הסתייגה מהשימוש בבעיות מחקר קשות כמבחן למודלים מסחריים שאינם פתוחים לקהילה.
מנגד, חוקרים אחרים סבורים שהכלים יכולים להרחיב במהירות את גבולות המחקר ולשחרר מתמטיקאים לעסוק בשאלות חדשות. Caltech והמכון האמריקני למתמטיקה הודיעו השבוע על יוזמה לבניית פלטפורמת AI בשיתוף חוקרים, שתשרת את קהילת המתמטיקה עצמה.
האם זה ישפיע גם מחוץ למתמטיקה?
בטווח הארוך, שיטות הוכחה ובדיקה ממוחשבות עשויות לסייע בתחומים שמתבססים על מודלים מתמטיים: פיזיקה, הנדסה, אלגוריתמים ואופטימיזציה. אולם ההשלכות המעשיות של התוצאות החדשות עדיין אינן ברורות. ההישג המרכזי בשלב הזה הוא בעצם היכולת להפיק במהירות טענות והוכחות חדשות, שמומחים יכולים לבדוק ולהמשיך לפתח.
אחרי מה לעקוב
בחודשים הקרובים ייבחנו התוצאות בידי מתמטיקאים עצמאיים. השאלות המרכזיות הן כמה מההוכחות יאומתו במלואן, אילו מהן ייחשבו לפריצות דרך חשובות, והאם חברות AI יאפשרו לקהילה גישה רחבה יותר לכלים עצמם. זה עשוי להיות שינוי משמעותי במחקר המתמטי — אבל היקפו האמיתי יתברר רק לאחר הבדיקה המדעית.
מקורות: OpenAI, 6 באוקטובר; The Washington Post; Caltech.
