MATH benchmark

**הסקה נוירו-סימבולית מונחית אונטולוגיה** היא דרך לצמצם הזיות של מודלי שפה באמצעות הזרקת הגדרות פורמליות מאונטולוגיה (כמו OpenMath) לתוך הפרומפט דרך RAG. לפי מאמר arXiv:2602.17826v1, בבנצ’מרק MATH ההקשר האונטולוגי משפר תוצאות רק כשאיכות האחזור והדירוג (כולל reranking עם Cross-Encoder) גבוהה; כאשר נשלף מידע לא רלוונטי, הוא פוגע בביצועים. לעסקים בישראל זה שיעור ישיר: ביישומי WhatsApp Business API, Zoho CRM וזרימות N8N, לא מספיק “לצרף מסמכים” – צריך מילון מושגים מאושר, מדידת איכות אחזור ודירוג קפדני. התחילו בפיילוט של 30–50 מושגים יקרים לטעות, מדדו 100 שאלות אמיתיות, ורק אז הרחיבו.

בעידן שבו מודלי שפה גדולים מניעים התקדמות מהירה, עלויות האימות בזמן מבחן הופכות לצוואר בקבוק. מחקר חדש מציע אימות סלקטיבי אדפטיבי שחוסך 44% במשאבים ומשפר דיוק. קראו עכשיו לפרטים מלאים! (112 מילים)