תנאי שירות
1. מה עושה השירות
אתה מגיש תביעה וסטנדרט. אנחנו מעבירים אותה על פני לוח של מודלים של AI שאתה בוחר, פלוס מודל שופט ששולט בקריטריונים קבלה, ואנחנו מנסים לפורמלית את התוצאה ב-Lean 4 נגד Mathlib. הפלט הוא תמליל, סט של פסיקות, פסק דין,
2. מהי התפוקה ולא
פלט נוצר על ידי מודלים בינה מלאכותית צד שלישי והוא לא עצה. זה לא חוקי, רפואי, פיננסי, הנדסה או ייעוץ מקצועי מכל סוג שהוא, ושום מערכת יחסים מקצועית נוצרת באמצעות שירות זה.
השופט פסק על מפגש קריטריון הוא הצהרה על הראיות ברישומים של ה-match, זו לא ערובה לנכונות. אתה חייב לאמת באופן עצמאי כל דבר שאתה מתכוון לסמוך עליו.זה כלי לבדיקת לחץ, לא תחליף לביקורת אנושית מתאימה.
פורמליזציה לינית מוצלחת משמעה שהגרעין הנטוי קיבל הוכחה להצהרה שהועלתה רשמית, בניגוד לגרסה של Mathlib באותה תקופה. אין פירוש הדבר שההצהרה היא תרגום נאמן של מה שביקשת, ובחירת הצהרה רשמית שלא אומרת את מה שהתכוונת אליה היא הדרך הנפוצה ביותר בה תטעה תוצאה רשמית. קרא את ההצהרה הרשמית, לא רק את פסק הדין.
3 התוכן שלך
אתה ממשיך להחזיק בבעלות על הטענות שאתה מגיש ועל התפוקה שהופקה לך. אתה מעניק לנו רק את הרישיון הדרוש כדי להפעיל את השירות: לעבד את הכניעה שלך, להעביר אותה לספקי המודל שבחרת, ולאחסן את ה-match מתווכים כדי שתוכל לחזור אליו.
Matches הם פרטיים כברירת מחדל. אם אתה מסמן match ציבור זה הופך גלוי לכל אחד עם הקישור ויכול להופיע בגלריה הציבורית שלנו. אל תפרסם match המכיל משהו סודי.
אל תגיש מידע אישי על אחרים, חומר סודי שאינך זכאי לחלוק או תוכן שאינו חוקי.
4 Cardios and billing
Credit is prepaid and is consumed as matches run. Every match has a spending limit you set; reaching it pauses the match rather than continuing to spend. Balances are not transferable and, except where required by law, are non-refundable once consumed. Unused credit is refundable on request.
אם אתה מחבר את מפתח ההסכמה שלך, אתה משלם ישירות לספק שלך ואנחנו לא מחייבים תשלום לכל-קן.
אנו עשויים לשנות מחירים בהתראה מוקדמת שינויים אף פעם לא חלים על אשראי שנרכש כבר.
5 שימוש מקובל
אל תשתמש בשירות כדי ליצור תוכן שפוגע באחרים, לנסות לחלץ את ההוראות שלנו או המערכת, לעקוף את מגבלות ההוצאות או קצב, או למכור מחדש גישה ללא הסכם כתוב. כלי הפענוח הוא כדי לאמת טענות; אל תשתמש בו כדי לתקוף כל מערכת.
6 יכולת עמידה
אנו תלויים ב הספקים של ה-Part השלישי. הספקים יורדים, משנים מודלים, ומפרסמים אותם. match נקטעים מכל סיבה שהיא, מושעים וניתנים לחיזוי; אנחנו לא גובים כסף על עבודה שלא התרחשה. אנחנו לא מבטיחים זמינות בלתי מעורערת, ודוגמן שהשתמשת בו לפני כן עלול להיות בלתי זמין.
7 אחריות
האחריות הכוללת שלנו לכל תביעה מוגבלת לכמות ששילמת לנו בשלושת החודשים שלפני שהתביעה עלתה, איננו אחראים לאובדן עקיף או משמעותי, כולל אובדן כלשהו הנובע מהתלות בפלט המודל.
8 סיום
אתה יכול לסגור את החשבון שלך בכל עת; אנו נחזיר אשראי שלא בשימוש. אנו עלולים להשעות חשבונות שפורצים תנאים אלה או כי לשים את השירות בסיכון.
9 שינויים, שפה ומגע
אנו יכולים לעדכן את התנאים הללו; שינויים חומריים יוכרזו באתר.
תרגום של עמוד זה ניתן לנוחיות וניתוק מכונות.
שאלות: צור קשר.