MathyAIwithMike-עברית

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