מחקר
5 דקות
מ־arXiv cs.AI
M2F: פורמליזציה אוטומטית של ספרי מתמטיקה בקנה מידה גדול
**M2F היא מסגרת סוכנית שממירה ספרי מתמטיקה שלמים ל-Lean תוך 3 שבועות.** היא משיגה 96% הצלחה ומדגימה סקיילינג אוטומטי. לעסקים ישראליים, זה פותח אוטומציה של מודלים עסקיים בלוגיסטיקה ופיננסים, עם חיסכון של 70% בזמן פיתוח.
קרא עוד