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

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