לדלג לתוכן

שיטות מתמטיות בבינה מלאכותית - ארז שיינר

מתוך Math-Wiki
ד"ר ארז שיינר · אוניברסיטת בר-אילן · סמסטר ב' תשפ"ז
שיטות מתמטיות בבינה מלאכותית
מהעולם הממשי אל ייצוג, למידה ואימות: המאמרים המכוננים, המתמטיקה שלהם, וניסוי שרץ בדפדפן.
בבנייה הדפים מתפרסמים בהדרגה, יחידה אחר יחידה, לקראת הקורס. בינתיים פורסמו יחידה 2, הפרספטרון, ויחידה 4, הפצה לאחור.
בקצרה: הקורס שיטות מתמטיות בבינה מלאכותית עובר על המאמרים שבנו את הבינה המלאכותית, מהפרספטרון של רוזנבלט (1958) ועד מודלי שפה שבודקים את עצמם, ובכל אחד מהם מפתח את המתמטיקה עד הסוף. לכל מאמר מרכזי יש ארבעה חלקים: מערך שיעור עם הגדרות, משפטים והוכחות; קוד שמממש את מערך השיעור כלשונו; מסמך ניסוי שמתעד מה הורץ, על איזו חומרה ומה יצא; ודף ניסוי שבו המודל המאומן רץ בדפדפן, על קלט שאתם נותנים לו.

היחידות

מהעולם אל הדאטה

ייצוג ראשוני ואובדן מידע: דגימה ומשפט הדגימה (Shannon, 1949), צבע ו־RGB, לוח שחמט כמצב.

בקרוב

למידה אקראית בהשראת המוח (Rosenblatt, 1958): רשתית, שכבת אסוציאציה אקראית, וכלל תיקון שלומד רק את השכבה האחרונה.

Shazam ופרצופים עצמיים

תדרים, PCA וייצוג חזותי: טביעת אצבע של צליל (Wang, 2003) והפרצופים העצמיים (Turk & Pentland, 1991).

בקרוב
LSI ו־PageRank

טקסט, סמנטיקה ודירוג ברשת: פירוק SVD ומשפט Eckart–Young, PageRank ואיטרציית החזקה, פירוק מטריצות להמלצות.

בקרוב

ייצוג נלמד מתוך תוויות: הפצה לאחור של השגיאה (Rumelhart, Hinton & Williams, 1986), ואחריה רשתות קונבולוציה ו־U-Net.

בלי תוויות

חלוקה למחלקות וגילוי מבנים: k-means (Lloyd, 1982) וחיתוכים מנורמלים (Shi & Malik, 2000).

בקרוב
חשיבה הסתברותית פשוטה

סיווג טקסט לפי מילים: בייס הנאיבי (McCallum & Nigam, 1998).

בקרוב
נראות ומקסימום אנטרופיה

ללמוד משקלים לפיצ'רים מתוך הקשר (Berger ואחרים, 1996).

בקרוב
word2vec

מילים כנקודות במרחב: Skip-gram ו־negative sampling (Mikolov ואחרים, 2013).

בקרוב
שפה, הקשר ו־Transformers

מנגנון הקשב (Vaswani ואחרים, 2017), צעד אחר צעד.

בקרוב
מודלים גנרטיביים

מייצוג ליצירה: VAE (Kingma & Welling, 2013) ומודלי דיפוזיה (Ho, Jain & Abbeel, 2020).

בקרוב
AlphaZero

פעולה, משחק ולמידה עצמית (Silver ואחרים, 2018): MCTS, מדיניות וערך, ומשחק עצמי.

בקרוב
אמינות, אימות ומתמטיקה

ממודל שמנחש למודל שבודקים: אימות צעד אחר צעד (Lightman ואחרים, 2023), DeepSeek-R1 ו־GRPO, ואימות פורמלי.

בקרוב

ראו גם