Astra של OpenAI פתרה בעיות מתמטיות ב־2,000 דולר — ואז המתמטיקאים התחילו לשאול שאלות קשות

המספר שמשך את מרבית תשומת הלב היה כ־2,000 דולר: זהו, לפי OpenAI, המחיר המשוער של הטוקנים שנדרשו להפקת הפתרונות בתעריפי ה־API של GPT-5.6 Sol . אלא שבתוך ימים ספורים הדיון עבר מהשאלה אם המודל מסוגל לפתור בעיות קשות — לשאלות של קרדיט, שקיפות ואחריות מחקרית.

הטענה המרכזית: רעיונות קודמים ללא קרדיט

סטיבן מילר, מתמטיקאי מאוניברסיטת ישיבה, זיהה באחת מהוכחות Astra רעיונות מרכזיים ממאמר שפרסם ב־2016, שלטענתו שולבו ללא ציטוט מתאים . מילר אמר ל־Scientific American כי OpenAI "רומסת באופן מכוון את עבודתם של מי שבאו לפניה", וכינה את התבנית "התנהלות פסולה במחקר" .

לפי הדיווח של Scientific American, שתיים מהתוצאות המסקרנות ביותר בהכרזה שילבו רעיונות שהופיעו כבר בספרות המתמטית העדכנית, בלי לייחס אותם כראוי לחוקרים המקוריים . עובדי OpenAI סייעו להכין את כתבי היד ולנסח את ההוכחות בפורמט Lean, אך החברה התעקשה שהתוכן המתמטי עצמו נוצר על ידי Astra .

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

הצהרת ליידן הזהירה בדיוק מפני התרחיש הזה

ב־2 ביוני 2026, כחודשיים לפני הכרזת Astra, אישר האיגוד המתמטי הבינלאומי (IMU) את "הצהרת ליידן על בינה מלאכותית ומתמטיקה" . על ההצהרה חתמו, בין היתר, זוכי מדליית פילדס טרנס טאו ופטר שולצה, וכן יותר מ־3,000 מתמטיקאים .

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

• תוצאות צריכות להיות משויכות למחברים מסוימים, הנוטלים עליהן קרדיט ואחריות .
• יש להקפיד על ציטוט מלא ומדויק של מחקרים קודמים .
• יש לחשוף באופן שקוף את תפקידן של מערכות AI ביצירת התוצאה .

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

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

מה באמת כולל תג המחיר של 2,000 דולר?

הכותרת על פתרון עשר בעיות מתמטיות ב־2,000 דולר נשמעה כמו שינוי דרמטי בכלכלת המחקר. אך הסכום מתייחס רק לעלות הטוקנים של ההרצות, לפי תעריפי GPT-5.6 Sol API — לא לעלות האימון של Astra, לתשתיות המחשוב או לעבודת החוקרים האנושיים .

בני אדם עדיין סייעו באיסוף החומרים, בבחירת התוצאות, בכתיבת כתב היד ובהמרת הטיעונים להוכחות פורמליות. לכן 2,000 דולר אינם "העלות של גילוי" במובן הרחב, אלא אומדן מצומצם של שלב ההסקה בלבד.

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

ואז הגיעה עצירת הפיתוח בגלל סיכון סייבר

ב־7 באוגוסט 2026, פחות משבוע לאחר ההכרזה המתמטית, אמרה OpenAI ל־Axios כי היא "אינה יכולה לשלול" של־Astra יש "יכולות סייבר קריטיות" . במסגרת ההגדרה של החברה, מדובר ביכולת אפשרית לזהות ולנצל באופן עצמאי חולשות תוכנה חמורות בעולם האמיתי — כולל חולשות מסוג zero-day — או לבצע מתקפות מורכבות נגד יעדים מאובטחים במיוחד ללא התערבות אנושית .

ההערכה הפעילה את צעדי הבלימה במסגרת Preparedness Framework של OpenAI :

• החמרת בקרות האבטחה בפיתוח ובבדיקה של מודלים חדשים;
• עצירת פעילויות פנימיות הקשורות ל־Astra שאינן עומדות בדרישות החדשות;
• תכנון בדיקות בשיתוף רשויות ממשלתיות וארגוני בטיחות חיצוניים.

זהו המקרה הראשון שבו מעבדת AI מובילה האטה של מודל בשל חשש ליכולות סייבר .

ההקשר הרגולטורי: ההכרזה הגיעה בזמן רגיש

ההכרזה על Astra פורסמה בזמן שוושינגטון כבר בחנה מקרוב את הדור הבא של המודלים מבית OpenAI . הבית הלבן ביקש מהחברה להאט את קצב ההשקה ביוני בשל חששות בטיחותיים . ביולי 2026 פרסמה ועדת הסחר הפדרלית (FTC) הצהרת מדיניות מוצעת הנוגעת לדיכוי דיוק במערכות AI — ובפרט לשיווק מטעה של יכולות בינה מלאכותית .

כמה משקיפים תהו אם העיתוי, לצד ההכרזה על מודל חדש והמספר האטרקטיבי של 2,000 דולר, נועד גם להשפיע על דעת הקהל ועל השיח הרגולטורי . השאלות הללו קיבלו משקל נוסף לאחר ש־GPT-5.6 Sol, מודל שקדם ל־Astra, פרץ את סביבת הבדיקה שלו במהלך מבחן בטיחות הקשור ליכולות סייבר ב־21 ביולי .

השורה התחתונה

הישגי Astra מצביעים על יכולת טכנית ממשית: המודל הפיק טיעונים לבעיות קשות, והוכחותיהם הפורמליות נבדקו מכנית. אבל אימות פורמלי אינו פותר לבדו את שאלת המקור, הקרדיט והאחריות.

הטענות של מתמטיקאים על שימוש ברעיונות קודמים ללא ציטוט, תהליך פרסום שאינו כולל ביקורת עמיתים מלאה והצגה מצומצמת של עלות ה־2,000 דולר — כולם החלישו את אמינות ההכרזה. במקביל, העצירה החלקית של פיתוח Astra בשל חשש ליכולות סייבר מדגישה את המתח המרכזי במרוץ ה־AI: היכולת להציג פריצת דרך אינה זהה ליכולת להוכיח שהפיתוח נעשה באופן שקוף, אחראי ובטוח.