ginipick/DeepSeek-Prover-V2-671B
רץ בדפדפןginipickרישיון לא דווח2025-05-01
ממשק פשוט לבדיקת מודל ההוכחות המתמטיות DeepSeek-Prover-V2-671B דרך הדפדפן. מתאים לחוקרים ואנשי מתמטיקה שרוצים לשלוח בעיות ולקבל הוכחות פורמליות בלי להרים שרת עצמאי.
- —הורדות בחודש
- 62לייקים
מה זה
אתם מזינים טענה או ניסוח מתמטי, ומקבלים ניסיון הוכחה שמייצר המודל של דיפסיק. הממשק נשען על המודל deepseek-ai/DeepSeek-Prover-V2-671B, שמיועד במקור לעבודה עם הוכחות מדויקות ומורכבות.
היישום עצמו לא מחזיק את המשקלים של המודל ולא עושה חישובים כבדים. לפי הקוד, הוא מוגדר כמעטפת שמפנה את הבקשות ישירות לספק חיצוני בשם novita API דרך פונקציית הטעינה של גרדיו. אין כאן דוגמאות מובנות בקוד של הממשק, כך שתצטרכו להביא את הבעיות שלכם בעצמכם.
מתאים ל
- בדיקת הוכחות מתמטיות
שליחת טענות בניסוח מדויק לקבלת הצעת הוכחה מהמודל.
- ניסוי מהיר בלי תשתית
בחינת יכולות המודל של דיפסיק ישירות בדפדפן ובלי שרת.
- השוואת פתרונות
הזנת בעיות כדי לבדוק את שלבי ההסקה מול פתרון קיים.
איפה זה נופל
האפליקציה במצב שינה, מה שאומר שהיא לא זמינה מיד בלחיצה אחת ודורשת הדלקה. בנוסף, חובת ההתחברות לחשבון Hugging Face חוסמת שימוש אנונימי ומהיר. כדאי לזכור שזו מעטפת רשת פשוטה שלא מציגה לוגים או בקרות מתקדמות על פרמטרי היצירה, ולכן אי אפשר לדעת מראש אם הספק החיצוני מגביל את כמות הטוקנים או חותך תשובות ארוכות.
שאלות
נפוצות
האם השימוש בחינם?
היישום פתוח בדפדפן, אך הוא דורש התחברות עם חשבון Hugging Face. היות שהקריאות מנותבות לספק חיצוני, ייתכנו הגבלות שימוש או תלות בחשבון שלכם.
למה לוקח ליישום זמן לעלות?
העמוד מוגדר במצב SLEEPING על חומרת מעבד בסיסית. בפתיחה הראשונה תצטרכו להמתין שהשרת יעלה מחדש לפני שתוכלו להזין נתונים.
האם המודל הענק רץ על השרת הזה?
לא. המודל עצמו לא יושב על השרת המקומי של האפליקציה, אלא מופעל מרחוק דרך ספק שירות חיצוני בשם novita.
האם התוכן שלי נשמר?
הבקשות נשלחות החוצה ל־API של novita לצורך עיבוד. היות שלא צוין רישיון או הסכם פרטיות, לא כדאי להזין שם נתונים סודיים.
איך משתמשים
כדי להתחיל לעבוד חייבים ללחוץ על כפתור Sign in בסרגל הצד ולהתחבר עם חשבון Hugging Face, אחרת הגישה ל־API חסומה. היישום יושב כרגע על חומרת cpu-basic ונמצא במצב שינה, כך שהכניסה הראשונה תדרוש המתנה עד שהוא יתעורר. בגלל שהחישוב עצמו רץ אצל ספק צד שלישי ולא על השרת המקומי, זמני התגובה בפועל תלויים בעומס ובמכסות של novita.
הרישיון
לא דווח רישיון בעמוד היישום. המשמעות היא שאין הרשאה ברורה לגבי שימוש מסחרי או זכויות על הפלט, וכדאי להיזהר מהזנת חומרים רגישים שמועברים לספק צד שלישי.