תנאי שירות
1. מה עושה השירות
You submit a claim and a standard. We run it past a panel of AI models you select, plus a referee model that rules on acceptance criteria, and we attempt to formalise the result in Lean 4 against Mathlib. The output is a transcript, a set of rulings, a verdict, and where formalisation was attempted, the Lean result.
2. מהי התפוקה ולא
פלט נוצר על ידי מודלים בינה מלאכותית צד שלישי והוא לא עצה. זה לא חוקי, רפואי, פיננסי, הנדסה או ייעוץ מקצועי מכל סוג שהוא, ושום מערכת יחסים מקצועית נוצרת באמצעות שירות זה.
השופט פוסק שפגישת קריטריון היא הצהרה על הראיות הרשומות במשחק הזה, זו לא ערובה לנכונות. אתה חייב לאמת באופן עצמאי כל דבר שאתה מתכוון לסמוך עליו.זה כלי לבדיקת לחץ, לא תחליף לביקורת אנושית מתאימה.
פורמליזציה לינית מוצלחת משמעה שהגרעין הנטוי קיבל הוכחה להצהרה שהועלתה רשמית, בניגוד לגרסה של Mathlib באותה תקופה. אין פירוש הדבר שההצהרה היא תרגום נאמן של מה שביקשת, ובחירת הצהרה רשמית שלא אומרת את מה שהתכוונת אליה היא הדרך הנפוצה ביותר בה תטעה תוצאה רשמית. קרא את ההצהרה הרשמית, לא רק את פסק הדין.
3 התוכן שלך
אתה ממשיך להחזיק בבעלות על הטענות שאתה מגיש ועל התפוקה שהופקה לך. אתה מעניק לנו רק את הרישיון הדרוש כדי להפעיל את השירות: לעבד את הכניעה שלך, להעביר אותה לספקי המודל שבחרת, ולאחסן את ההתאמה וכתוצאה מכך אתה יכול לחזור אליו.
גפרורים הם פרטיים כברירת מחדל. אם אתה מסמן משחק ציבורי הוא הופך גלוי לכל אחד עם הקישור ואולי להופיע בגלריה הציבורית שלנו. אל תפרסם התאמה המכילה משהו סודי.
אל תגיש מידע אישי על אחרים, חומר סודי שאינך זכאי לחלוק או תוכן שאינו חוקי.
4 Cardios and billing
כל משחק הוא בעל מגבלה שאתה קובע, להגיע אליו עוצר את המשחק במקום להמשיך לבזבז. איזון אינו בר העברה, למעט היכן שנדרש על פי חוק, הוא בלתי ניתן להחזרה פעם נצרך. אשראי לא משומש ניתן להחזר על פי בקשה.
אם אתה מחבר את מפתח ההסכמה שלך, אתה משלם ישירות לספק שלך ואנחנו לא מחייבים תשלום לכל-קן.
אנו עשויים לשנות מחירים בהתראה מוקדמת שינויים אף פעם לא חלים על אשראי שנרכש כבר.
5 שימוש מקובל
אל תשתמש בשירות כדי ליצור תוכן שפוגע באחרים, לנסות לחלץ את ההוראות שלנו או המערכת, לעקוף את מגבלות ההוצאות או קצב, או למכור מחדש גישה ללא הסכם כתוב. כלי הפענוח הוא כדי לאמת טענות; אל תשתמש בו כדי לתקוף כל מערכת.
6 יכולת עמידה
אנו תלויים בספקי מודלים של צד שלישי. הספקים יורדים, משנים מודלים, ומפרסמים אותם. משחק שנקטע מכל סיבה שהוא, מושהה וניתן לחישוב; אנחנו לא גובים על עבודה שלא התרחשה. אנחנו לא מבטיחים גישה ללא הפרעה, ודגמן שהשתמשתם בו לפני כן עלול להיות לא זמין.
7 אחריות
האחריות הכוללת שלנו לכל תביעה מוגבלת לכמות ששילמת לנו בשלושת החודשים שלפני שהתביעה עלתה, איננו אחראים לאובדן עקיף או משמעותי, כולל אובדן כלשהו הנובע מהתלות בפלט המודל.
8 סיום
אתה יכול לסגור את החשבון שלך בכל עת; אנו נחזיר אשראי שלא בשימוש. אנו עלולים להשעות חשבונות שפורצים תנאים אלה או כי לשים את השירות בסיכון.
9 שינויים, שפה ומגע
אנו יכולים לעדכן את התנאים הללו; שינויים חומריים יוכרזו באתר.
תרגום של עמוד זה ניתן לנוחיות וניתוק מכונות.
שאלות: צור קשר.