qed-nano-blogpost
רץ בדפדפןlm-proversרישיון לא דווח2026-02-09
פוסט מחקר אינטראקטיבי שמציג איך מודל קטן של 4B פותר הוכחות ברמה של אולימפיאדה מתמטית. מתאים לחוקרי בינה מלאכותית ולמי שמתעניין בהוכחת משפטים אוטומטית.
- —הורדות בחודש
- 84לייקים
מה זה
מדובר במאמר אינטראקטיבי מבוסס רשת ולא באפליקציית הסקת מסקנות שבה מזינים משפט ומקבלים פתרון. אתם פותחים את העמוד וקוראים סקירה מחקרית שמסבירה איך לאמן מודלים זעירים לבצע הוכחות מתמטיות קשות, תוך שימוש בהמחשות ותרשימים חיים שמוטמעים ישירות בדפדפן.
התוכן נשען על מחקר שמשווה בין כמה גדלים של מודלים, בהם סדרת Llama 3.1 בגדלים של 8B ו־70B, לצד מודלים קטנים במיוחד כמו Llama 3.2 1B ו־SmolLM3-3B. בסיס האימון המתואר שם נשען על FineProofs-SFT, דאטהסט שנועד לכוונן מודלים להוכחות פורמליות ומורכבות. הטמפלט עצמו בנוי עם Astro וקוד שמאפשר לבחון את הניסויים ולקבל אינטואיציה ויזואלית על התוצאות.
מתאים ל
- קריאת תוצאות המחקר
למידה על הדרכים לאמן מודלים קטנים של 4B לפתרון בעיות אולימפיאדה.
- הבנת שיטת FineProofs
סקירת השימוש בדאטהסט FineProofs-SFT להוכחות מתמטיות.
- בחינת תבנית למאמרים
התרשמות ממבנה אינטראקטיבי להצגת מחקרים מדעיים ברשת.
איפה זה נופל
ההגדרה של המרחב כוללת מודלים כבדים כמו Llama 3.1 70B, אבל הם לא רצים חיים ברקע. אם באתם כדי להזין תרגיל ולקבל הוכחה בזמן אמת, זה לא יקרה פה. מדובר במאמר שמציג תוצאות של ניסויים שכבר נערכו. בנוסף, התיעוד ברובו הוא עדיין התבנית המקורית של מאמר המחקר ולא מפרט את כל הקרביים של קוד האימון עצמו.
שאלות
נפוצות
האם הכלי הזה עולה כסף?
לא, הגישה חופשית לחלוטין לכל מי שנכנס דרך הדפדפן. אין צורך לשלם, להירשם או להזין פרטי אשראי כדי לקרוא את המאמר.
האם אני יכול להקליד משפט מתמטי ולקבל הוכחה?
לא, העמוד אינו ממשק ג'נרטיבי חי. הוא מציג פוסט בלוג אינטראקטיבי על מחקר קיים, ולא מריץ מודלים שמייצרים טקסט לפי דרישה.
מה קורה עם הקבצים או הנתונים שאני מעלה?
אין שום אפשרות להעלות קבצים לאפליקציה הזאת. אתם צורכים תוכן קיים בלבד, ולכן שום מידע שלכם לא נשמר ולא נשלח לשום שרת.
האם אפשר להריץ את האפליקציה הזאת על המחשב שלי?
כן, אפשר לשכפל את המאגר ולהריץ אותו מקומית בעזרת Node.js מגרסה 20 ומעלה ופקודות npm פשוטות. האתר מבוסס על שלד Astro ומיועד לפיתוח מקומי קל.
איך משתמשים
אין כאן תיבת טקסט לשליחת פרומפטים או כפתור הרצה. אתם פשוט נכנסים לקישור והעמוד נטען בדפדפן כמו אתר קריאה רגיל, בלי צורך בחשבון Hugging Face או בהתחברות כלשהי. השרת רץ על מעבד בסיסי פשוט, וזה מספיק לגמרי כי הוא רק מגיש דפי אינטרנט סטטיים ואלמנטים אינטראקטיביים בצד הלקוח. הטעינה מהירה, אין תורים ואין הגבלת שימוש יומית.
הרישיון
בעמוד המרחב הרשמי הרישיון מסומן ככזה שלא דווח, אך בטקסט התבנית עצמו מצוין רישיון CC BY 4.0 עבור התוכן והדיאגרמות. מכיוון שאין כאן העלאת קבצים או הרצת קלט אישי, אין חשש לזליגת מידע פרטי שלכם.