MathyAIwithMike-עברית

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