OpenAI חושפת את Astra: המודל הבא שהציג הוכחות ל-10 בעיות מתמטיות פתוחות
OpenAI חשפה לראשונה את OpenAI Astra, שלדבריה הוא המודל הגדול הבא שלה — ועשתה זאת בדרך שלא רואים כל יום: לא מסיבת עיתונאים, לא הכרזה רשמית, אלא דוח מחקרי שפרסמה ב-1 באוגוסט 2026 שמציג הוכחות ל-10 בעיות מתמטיות פתוחות שלא הייתה בהן התקדמות אמיתית לפחות עשר שנים — ורובן הרבה יותר מזה. בשורה השלישית של אותו דוח, כמעט בדרך אגב, נכתב: "The results were achieved by an internal version of Astra, our next major model." כך נחשף OpenAI Astra לעולם.
OpenAI Astra: מה הציג — ולמה זה מרשים
גרסה פנימית של OpenAI Astra הפיקה הוכחות עבור 10 בעיות פתוחות בתחומים שנחשבים בין הקשים במתמטיקה ובמדעי המחשב התיאורטיים: גיאומטריה בממדים גבוהים, תורת הקבוצות, קריפטוגרפיה מבוססת סריגים, מורכבות קוונטית ועוד. כל אחת מהבעיות האלה עמדה ללא התקדמות לפחות עשור, חלקן הרבה יותר. OpenAI פרסמה את ההוכחות בפורמט Lean 4 — כלומר, ניתן לאמת אותן מכנית, לא רק לקרוא ולהאמין. עלות הטוקנים לכל עשרת ההוכחות הוערכה בכ-2,000 דולר לפי תעריפי ה-API הנוכחיים של Sol.
מה שמייחד את OpenAI Astra מהמודלים שכבר קיימים, לפי מה שנחשף עד כה, הוא היכולת לעבוד על מטלות ארוכות לאורך שעות ואף ימים — תוך שמספר סוכני AI משתפים פעולה על חלקים שונים של אותה בעיה. זה שינוי מהותי בסגנון העבודה של מודלי שפה, שרובם מוגבלים היום לאינטראקציות בודדות של שאלה-תשובה. אם Astra יעמוד בהבטחה הזו, מדובר בצעד שעשוי לשנות את האופן שבו עורכי דין, מהנדסים וחוקרים עובדים עם AI — לא רק למצוא תשובה מהירה, אלא לנהל פרויקט שלם.
מה עוד לא ידוע על OpenAI Astra
OpenAI לא פרסמה תאריך שחרור, לא הציגה מחיר, ולא הבהירה אם OpenAI Astra יגיע כ-GPT-6 או כגרסה נוספת בסדרת GPT-5. הציפייה בשוק היא שמדובר ב-GPT-6, אך OpenAI לא אישרה זאת רשמית. מה שכן ידוע: המודל נמצא בבדיקות ועל פי הדיווחים הוא צפוי להיות הראשון שיעבור ביקורת של ממשלת ארה"ב לפני שחרור לציבור — מסגרת שהממשל האמריקאי עובד על גיבושה. לכן, אפילו אם המודל מוכן טכנית, ייתכן שהדרך לשחרורו תהיה ארוכה יותר מהמתוכנן. מי שמשתמש ב-ChatGPT יום-יום ירגיש את Astra רק כשהוא יגיע לזמינות ציבורית — ועדיין אין אומדן לתאריך.
מבחינת ישראל, ישנה רלוונטיות ישירה לעסקים ולמפתחים: אם OpenAI Astra יאפשר עבודה אוטונומית על פרויקטים שלמים לאורך שעות, חברות ישראליות בהייטק ובמחקר ישקלו לשלב אותו בתהליכי עבודה מלאים — לא רק כעוזר לשאלות בודדות. עלות גישה ל-API, תמיכה טובה יותר בעברית ועסקאות מקומיות יהפכו לשאלות פרקטיות. OpenAI עצמה נמצאת בתהליך הקמת נוכחות עסקית בישראל, מה שעשוי להאיץ את הנגישות לכלים כאלה בהמשך.
ניתן לקרוא את המסמך הרשמי של OpenAI עם ההוכחות המלאות באתר OpenAI.
