OpenAI פרסמה ב־6 באוקטובר 2026 אוסף גדול של תוצאות מתמטיות חדשות שהפיק מודל פנימי שעדיין לא שוחרר לציבור. לפי החברה, האוסף כולל 722 כתבי יד מתמטיים שמאורגנים ב־372 "משפחות" של תוצאות, וחלק גדול מההוכחות מגיע גם בגרסה פורמלית בשפת Lean, שבה מחשב יכול לבדוק כל צעד בהוכחה. החומרים פורסמו במאגר ציבורי ב־GitHub, יחד עם פרטים על הדרך שבה התוצאות הושגו.
מה בדיוק פורסם
כל "משפחה" מקבצת מאמרים קשורים: תוצאה מרכזית, טיעונים נלווים, מסקנות או הוכחות חלופיות, וכל אחת מסווגת לפי תחום מתמטי. לצד כתבי היד יש קבצי מקור והוראות ציטוט לכל מאמר, ספריית Lean עם קטלוג של ההוכחות שכבר עברו פורמליזציה, ועשרה סיכומים מקוצרים של שרשרת החשיבה של המודל. הסיכומים עוסקים בנושאים כמו מעריך אי־הרציונליות של π, השערות מאהלר, השערת הסופיות הישירה של קפלנסקי במאפיין 2, איזומורפיזם של פקטורי חבורות חופשיות, נוסחת מזאר־פריזי לזכוכיות ספין מדוללות ומערכת ולאסוב־מקסוול היחסותית בתלת־ממד.
OpenAI מדגישה שהאוסף נמצא בשלבי אימות שונים. לא לכל התוצאות יש הוכחה פורמלית ב־Lean, והחברה כותבת בעצמה שחלק מהתוצאות שלא עברו פורמליזציה עלולות להכיל בעיות, ושהיא תתקן אותן מהר ככל האפשר. תיקונים ועדכונים יירשמו כגרסאות חדשות, והגרסאות הקודמות יישארו זמינות.
איך המודל הגיע לתוצאות
לפי OpenAI, הבדיקות על בעיות מחקר פתוחות התרחבו אחרי שהמודלים שלה הגיעו לרוויה במבחני המתמטיקה הקיימים. במהלך ההערכה המודל קיבל כ־4,000 בעיות, והתוצאות שנבחרו לאוסף הן אלה שעברו רף מסוים של חשיבות. רוב התוצאות הושגו באותו תהליך קבוע, ובממוצע כל תוצאה צרכה כמות חישוב ששווה לכשלוש שעות של חשיבה ב־ChatGPT Pro. החברה מציינת שתי חריגות מהתהליך הזה: עבודה על אזור נקי מאפסים של פונקציית זטא של רימן, והוכחה של השערת הודג' עבור יריעות אבליות מסוג CM. את הכתיבה של תוצאת פונקציית זטא ערכו בני אדם כדי שיהיה קל יותר לקרוא אותה.
חשוב לזכור: אלה טענות של OpenAI. קהילת המתמטיקאים עוד לא בדקה את רוב התוצאות, והבדיקה של מאות מאמרים תיקח זמן. ההוכחות ב־Lean מקלות על האימות, אבל רק חלק מהאוסף פורמלי.
שקיפות ועבודה עם הקהילה
OpenAI אומרת שהתייעצה עם קבוצת הייעוץ העצמאית למתמטיקה ובינה מלאכותית של המכון למחקר מתקדם (IAS) בפרינסטון כדי לגבש כללים לפרסום תוצאות כאלה, ושהיא בודקת גם אפשרויות לאחסן את החומרים במאגרים שמנוהלים בידי הקהילה. החברה הודיעה שתממן סדנאות, כנסים ותוכניות מיוחדות שיעסקו בהבנת תוצאות מרכזיות שהפיקה בינה מלאכותית, ושהיא עובדת על שחרור אחראי של המודל שהפיק אותן. מועד לשחרור המודל לא פורסם.
למה זה חשוב
זה לא הניסיון הראשון של חברת AI גדולה להראות שמודל יכול לתרום למחקר מתמטי אמיתי. רק לפני כמה ימים כתבנו על מתמטיקאים שעבדו עם Muse Spark של Meta ופרסמו שישה מאמרים. ההבדל כאן הוא בהיקף: מאות כתבי יד, נתונים על כמות החישוב ועל מספר הבעיות שנוסו, והוכחות שאפשר לבדוק במחשב. לחוקרים ולסטודנטים למתמטיקה, גם בישראל, זה חומר פתוח לבדיקה ולביקורת. למשתמשים, זה רמז למה שעשוי להגיע בדור הבא של המודלים, אחרי GPT-6.1 Sol. עוד עדכונים במדור חדשות AI.
מקורות
- OpenAI, הבלוג הרשמי: Sharing AI progress in mathematics, 6 באוקטובר 2026, openai.com
- OpenAI, מאגר openai/math ב־GitHub, קובץ ה־README, 6 באוקטובר 2026
