מודל ה-AI Jev נבנה להחלטות, לא לפרוזה
Jev של TypeSafe AI מושך תשומת לב כי הוא מתייחס לאינטליגנציית תוכנה כאל בעיית הסתברות: לבחור את ההסתעפות הנכונה, להצמיד ביטחון, ולהימנע מתשלום ל-LLM כדי שיכתוב טקסט כשהקוד צריך החלטה.
בלוג
רעיונות, עדכונים ו כל מה שקשור ל-AI.
חדשות AI, מדריכים מעשיים עם קוד, ומה שאנחנו בונים ב-NeuraLIA Labs.
האחרון
כל הפוסטים
Astra for Law של OpenAI היא מערכת AI משפטית, לא מודל חדש
ההשקה המשפטית של OpenAI עוסקת פחות במודל יסוד חדש ויותר במערכת שסביבו: אחזור תחומי, כלים מהימנים, הרשאות, בנצ׳מרקים ומסלולי בדיקה.
הנדסת הקשר לסוכני AI ארוכי־טווח
סוכנים שרצים לאורך זמן לא נכשלים רק כי החלון קטן. הם נכשלים כשקבצים, פלטי כלים והיסטוריה מיושנת דוחקים החוצה את המשימה שהסוכן היה אמור להשלים.
מגבלות מהירות ל-AI: אמודיי מזהיר מפני שיפור עצמי רקורסיבי
דאריו אמודיי רוצה מעריכים חיצוניים, תקני בטיחות משותפים והסכמים בינלאומיים כדי לקבוע קצב ל-frontier AI. החלק הקשה הוא להגדיר מה נחשב ״מהיר מדי״ בזמן שלפי דיווחים Anthropic מתכוננת להנפקה בגודל שיא.
שיפור עצמי רקורסיבי: למה חוקרי AI מודאגים
החשש החד יותר סביב שיפור עצמי רקורסיבי אינו פלט מוזר של צ׳אטבוטים. הוא נוגע לסוכנים שמתאמים ביניהם, ממטבים מדדים ועוזרים לבנות את המודלים הבאים — חשש שמשתקף בדיווחים של WIRED, MIT Technology Review, CNBC ו-The Guardian.
טענת ההוכחה של OpenAI לנאוויה–סטוקס, מוסברת
OpenAI אומרת שסוכני AI מצאו סינגולריות בנאוויה–סטוקס ופורמליזו את ההוכחה ב-Lean. הסיפור הקשה יותר הוא מה קורה עכשיו: ביקורת, קרדיט והכוח של נחילי סוכנים פרטיים במתמטיקה.