כתבה
arXiv cs.LG ·
אובייקטים ללא מורפיזמים: מה LLMs למתמטיקה לא מייצגים
Objects Without Morphisms: What LLMs for Mathematics Do Not Represent
מודלי LLMs מתקשים לתרגם הצהרות מתמטיות בין תחומים שונים. המחקר בודק את היכולת של שבעה מודלים לתרגם הצהרות מתמטיות בין תחומים שונים, ומוצא כי הם נוטים להרחיב את תחום הקבוע ב-60.6% מהתרגומים, ולצמצם אותו ב-0.3% בלבד. המחקר מראה כי היכולת של המודלים לתרגם הצהרות מתמטיות היא מוגבלת, וכי הם זקוקים לשיפור נוסף.
תקציר מקורי באנגליתarXiv:2610.03551v1 Announce Type: new Abstract: Large language models (LLMs) have reached expert-level performance on competition mathematics largely through the volume of search placed around them: candidate solutions are sampled in quantity and retained only when an external criterion accepts them. Such a procedure improves the outcome that survives it while leaving untouched what the model represents. We examine that question where no external criterion exists: translating statements between the dialects of neighbouring subfields, where fidelity turns on the level of generality at which content is asserted. The source leaves that level implicit in its vocabulary, so a faithful translation must recover it from the relation between the theories. We introduce an instrument that codes truth
קרא במקור המקורי
arxiv.org
פתח כתבה מקורית