איך פועלים פותרי מתמטיקה מבוססי AI, ולמה הטובים שבהם משתמשים בשני מנועים

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

שלב ראשון: איך הבעיה נכנסת למערכת

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

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

שלב שני: חישוב עם CAS

את המתמטיקה עצמה הכי טוב מבצעת מערכת אלגברה ממוחשבת. CAS מפעילה על ביטויים סימבוליים כללים: היא מפרקת לגורמים, מפשטת, גוזרת, מבצעת אינטגרל ופותרת משוואות במדויק. Wolfram Alpha פועל על Mathematica, וכלים רבים אחרים נשענים על מנועים בקוד פתוח כמו SymPy. התכונה החשובה היא ש-CAS לא מנחש: הוא או מיישם כלל תקף או נכשל.

שלב שלישי: הסבר עם LLM

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

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

התכנון ההיברידי והיפוך הדיוק

לכן הפותרים החזקים מחלקים את העבודה: CAS נותן את התשובה הנכונה, וה-LLM מסביר איך הגיעו אליה. אפליקציות ייעודיות כמו Photomath, Mathway ו-Symbolab פותרות תרגילים סטנדרטיים נכון ב-90 עד 98 אחוזים מהמקרים ומנצחות את הצ'אטבוטים במשוואות נקיות, ואילו בתרגילים מילוליים הדירוג מתהפך.

העצה המעשית למי שבונה מוצר מתמטי היא להחזיק חישוב והסבר ברכיבים נפרדים, ולעולם לא לתת למודל לשוני לבצע חשבון ש-CAS היה עושה במדויק. האפשרויות החינמיות (Microsoft Math Solver, GeoGebra ורמות החינם של הצ'אטבוטים) מכסות היטב את תוכנית הלימודים.