MathyAIwithMike-עברית

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