MathyAIwithMike-עברית

בפרק זה אנו צוללים לעומק האתגרים המבניים של מודלי שפה גדולים. אנו דנים ב"כשל הטופולוגי" של הטרנספורמרים וכיצד מעבר לארכיטקטורה רקורנטית עשוי לפתור את בעיית הזיכרון בשיחות ארוכות. בנוסף, אנו בוחנים את המחיר הסביבתי הכבד של ה-AI דרך צריכת המים האדירה של מרכזי הנתונים. לבסוף, נדבר על המהפכה במתמטיקה הפיננסית: שימוש בשפת Lean4 לאימות פורמלי של אלגוריתמים המנהלים טריליוני דולרים, במטרה ליצור תשתית כלכלית יציבה וחסינה יותר. הצטרפו אלינו לשיחה על העתיד שמעבר ל"גדול יותר" – עתיד של דיוק, יעילות ויציבות.