טענות המתמטיקה של OpenAI חושפות את צוואר הבקבוק באימות AI
דיווחים על מודלים של OpenAI שפותרו בעיות מתמטיות מרכזיות מצביעים על בעיה עמוקה יותר: יצירת הוכחות נעשית זולה יותר, בעוד אימות, ייחוס ופרסום עדיין נעים בקצב אנושי.
בלוג
רעיונות, עדכונים ו כל מה שקשור ל-AI.
חדשות AI ומדריכים מעשיים, בהסבר ברור.
האחרון
קורס חינמי
AI מאפס
קורס מלא בבינה מלאכותית, מהמתמטיקה ועד LLMs, סוכנים ו-MCP. שלושים פרקים, שכל אחד מהם שווה קריאה בפני עצמו.
30 פרקים~10 שעות קריאה
הפרקים הראשונים
הפרספטרון מאפס: מה נוירון מחשב
נוירון הוא סכום משוקלל וסף. זה כל הרעיון — והמגבלות שלו הן מה שחייב את כל מה שבא אחריו.
מאיפה מגיעה פונקציית loss: likelihood, לא מוסכמה
שגיאה ריבועית אינה מוסכמה. היא טענה על הרעש, ואפשר לראות אותה טועה.
במורד: Gradient Descent, ושני הצעדים שכולם מדלגים עליהם
כולם כותבים את סימן המינוס. כמעט אף אחד לא מסביר למה הוא שם, או כמה גדול הצעד שהוא יכול לשרוד.
סיווג, אנטרופיה צולבת, ואיך לא לעבוד על עצמך
דיוק הוא המספר שהכי קל לדווח עליו — והכי קל ליפול בגללו.
סרטונים
לראות את כל הסרטונים
#173Test-time compute: making an AI better by letting it think longer
#172Reasoning tokens: the AI thinking you never see but still pay for
#171Emergent reasoning: the AI that started double-checking on its own
#170Process reward: grading an AI's working, not just its final answer
#169Verifiable rewards: training AI on answers a program can check
#168Tree of thoughts: how an AI searches through ideas, and what it costs
#167Self-consistency: ask an AI several times, then trust the majority
#166Think step by step: why a famous prompt works, and when it backfires
כל הפוסטים
מודל ה-AI Jev נבנה להחלטות, לא לפרוזה
Jev של TypeSafe AI מושך תשומת לב כי הוא מתייחס לאינטליגנציית תוכנה כאל בעיית הסתברות: לבחור את ההסתעפות הנכונה, להצמיד ביטחון, ולהימנע מתשלום ל-LLM כדי שיכתוב טקסט כשהקוד צריך החלטה.
Astra for Law של OpenAI היא מערכת AI משפטית, לא מודל חדש
ההשקה המשפטית של OpenAI עוסקת פחות במודל יסוד חדש ויותר במערכת שסביבו: אחזור תחומי, כלים מהימנים, הרשאות, בנצ׳מרקים ומסלולי בדיקה.
הנדסת הקשר לסוכני AI ארוכי־טווח
סוכנים שרצים לאורך זמן לא נכשלים רק כי החלון קטן. הם נכשלים כשקבצים, פלטי כלים והיסטוריה מיושנת דוחקים החוצה את המשימה שהסוכן היה אמור להשלים.
מגבלות מהירות ל-AI: אמודיי מזהיר מפני שיפור עצמי רקורסיבי
דאריו אמודיי רוצה מעריכים חיצוניים, תקני בטיחות משותפים והסכמים בינלאומיים כדי לקבוע קצב ל-frontier AI. החלק הקשה הוא להגדיר מה נחשב ״מהיר מדי״ בזמן שלפי דיווחים Anthropic מתכוננת להנפקה בגודל שיא.
שיפור עצמי רקורסיבי: למה חוקרי AI מודאגים
החשש החד יותר סביב שיפור עצמי רקורסיבי אינו פלט מוזר של צ׳אטבוטים. הוא נוגע לסוכנים שמתאמים ביניהם, ממטבים מדדים ועוזרים לבנות את המודלים הבאים — חשש שמשתקף בדיווחים של WIRED, MIT Technology Review, CNBC ו-The Guardian.
טענת ההוכחה של OpenAI לנאוויה–סטוקס, מוסברת
OpenAI אומרת שסוכני AI מצאו סינגולריות בנאוויה–סטוקס ופורמליזו את ההוכחה ב-Lean. הסיפור הקשה יותר הוא מה קורה עכשיו: ביקורת, קרדיט והכוח של נחילי סוכנים פרטיים במתמטיקה.