સેવા શરતો
1. સેવા શું કરે છે
તમે દાવો અને માપદંડ રજૂ કરો છો. અમે તેને તમે પસંદ કરેલા AI મોડેલોની પેનલની પાછળ ચલાવીએ છીએ, અને સાથે સાથે એક રેફરી મોડેલ કે જે સ્વીકારના માપદંડ પર નિયમો બનાવે છે, અને અમે Lean 4 વિરુદ્ધ Mathlib માં પરિણામને ઔપચારિક બનાવવાનો પ્રયાસ કરીએ છીએ. આઉટપુટ ટ્રાન્સક્રિપ્ટ છે, નિયમોનો સમૂહ, એક વોરંટ, અને જ્યાં ઔપચારિકતાનો પ્રયાસ કરવામાં આવ્યો હતો, લીન પરિણામ.
૨. આઉટપુટ શું છે અને શું નથી
આઉટપુટ ત્રીજા પક્ષના એઆઈ મોડેલ દ્વારા ઉત્પન્ન થાય છે અને સલાહ નથી. આ કોઈપણ પ્રકારની કાયદાકીય, તબીબી, નાણાકીય, એન્જિનિયરિંગ અથવા વૈજ્ઞાનિક સલાહ નથી અને આ સેવાનો ઉપયોગ કરીને કોઈ વૈજ્ઞાનિક સંબંધો નથી.
રીફરે ધોરણને મળ્યું છે તે match માં રેકોર્ડ પરના સાક્ષીઓ વિશેની જાહેરાત છે. તે યોગ્યતાની ખાતરી નથી. AI મોડેલો ભૂલો કરે છે, સ્ત્રોતોને ખોટી રીતે વાંચે છે, અને સૂચનાઓ છતાં નહિં કરવા માટે ઉલ્લેખ બનાવી શકે છે. તમે સ્વતંત્રપણે કંઈક ચકાસી લેવું જ જોઇએ કે જેના પર તમે આધાર રાખવા માંગો છો, ખાસ કરીને તેને પ્રકાશિત કરવા, તેને સબમિટ કરવા, અથવા તેના પર કાર્ય કરવા પહેલાં. આ દબાણ- ચકાસણી કામ માટે સાધન છે, યોગ્ય માનવીય સમીક્ષા માટે બદલી નથી.
સફળ Lean formalization નો અર્થ એ થાય કે Lean kernel એ એવા નિવેદનનો પુરાવો સ્વીકાર્યો કે જે formalized થયેલ છે, તે સમયે ઉપયોગમાં લેવાતી Mathlib ની આવૃત્તિ સામે. તેનો અર્થ એ નથી કે નિવેદન એ તમે પૂછેલ વસ્તુનું વિશ્વસનીય ભાષાંતર છે, અને નિવેદન પસંદ કરવું કે જે તમે જેનો અર્થ કર્યો છે તે કહેતું નથી તે નિવેદન પરિણામ ભૂલ કરે છે. નિવેદન વાંચો, માત્ર વચન નહિં.
૩. તમારી વિગતો
તમે તમે રજૂ કરેલ દાવાઓ અને તમારા માટે ઉત્પન્ન થયેલ આઉટપુટના માલિકી હકને રાખો છો. તમે અમને ફક્ત સેવાને ચલાવવા માટે જરૂરી લાઇસન્સ આપો છો: તમારા રજૂઆતને પ્રક્રિયા કરવા માટે, તમે પસંદ કરેલ મોડેલ પૂરૂં પાડનારાઓને તેને મોકલવા માટે, અને પરિણામ match ને સંગ્રહ કરવા માટે જેથી તમે તેને પાછા મેળવી શકો.
Matches મૂળભૂત રીતે ખાનગી છે. જો તમે match જાહેરને ચિહ્નિત કરો તો તે કડી સાથે કોઇપણને દૃશ્યમાન બને છે અને આપણી જાહેર ગેલરીમાં દેખાઈ શકે છે. match ને કંઇપણ ગુપ્ત સમાવતા પ્રકાશિત ન કરો.
બીજાઓ વિશે વ્યક્તિગત માહિતી, ગુપ્ત સામગ્રી કે જે તમે વહેંચવા માટે અધિકાર ધરાવતા નથી, અથવા અયોગ્ય સમાવિષ્ટો રજૂ ન કરો.
ક્રેડિટ અને બિલિંગ
ક્રેડિટ પહેલાથી ચૂકવેલ છે અને matches ચાલે છે તે રીતે વપરાય છે. દરેક match પાસે તમે સુયોજિત કરેલ ખર્ચ મર્યાદા છે; તેને પહોંચી જવાથી ખર્ચ કરવાનું ચાલુ રાખવાને બદલે match અટકાવે છે. બાકીના રૂપાંતરિત કરી શકાય નહિં અને, જ્યાં કાયદા દ્વારા જરૂરી હોય ત્યાં સિવાય, એકવાર વપરાયા પછી પાછા આપવાની શક્યતા નથી. ન વપરાયેલ ક્રેડિટ વિનંતી પર પાછા આપી શકાય છે.
જો તમે તમારી પોતાની inference કી જોડો, તો તમે તમારા પૂરૂં પાડનારને સીધો જ ચૂકવણી કરો અને અમે બિલ પર-ટોકન ચાર્જ નથી. નિશ્ચિત મુક્ત પરવાનગીને પસાર કરો ઇન્ફ્રાસ્ટ્રક્ચર ફી પેનલ, સાધનો અને સંગ્રહ ચલાવવા માટે લાગુ પડે છે.
અમે નોંધણી સાથે કિંમતો બદલી શકીએ છીએ. ફેરફારો પહેલાથી ખરીદેલા ક્રેડિટ પર ક્યારેય લાગુ પડતા નથી.
૫. સ્વીકાર્ય વપરાશ
બીજાઓને નુકસાન પહોંચાડતી સામગ્રી ઉત્પન્ન કરવા માટે સેવાનો ઉપયોગ ન કરો, અમારી પ્રશ્નો અથવા સિસ્ટમ સૂચનોને કાઢવાનો પ્રયત્ન કરવા માટે, ખર્ચ અથવા દર મર્યાદાઓને અવગણવા માટે, અથવા લખાયેલ સમજૂતી વગર પ્રવેશને પુનઃવેચવા માટે. કોડ-ચલાવવા સાધન દાવાઓની ચકાસણી માટે છે; કોઈપણ સિસ્ટમ પર હુમલો કરવા માટે તેનો ઉપયોગ ન કરો.
ઉપલબ્ધતા
અમે ત્રીજી-પક્ષ મોડેલ પૂરવઠાઓ પર આધારિત છીએ. પૂરવઠાઓ નીચે જાય છે, મોડેલો બદલે છે, અને તેમને અવગણે છે. કોઈપણ કારણ માટે અટકાવેલ match અટકાવેલ છે અને પુન:પ્રાપ્ત કરી શકાય છે; અમે કામ માટે ચાર્જ નથી કરતા કે જે થયું નહિં. અમે અવિરત ઉપલબ્ધતાની ખાતરી નથી, અને તમે પહેલા વાપરેલ મોડેલ ઉપલબ્ધ નહિં થઈ શકે.
જવાબદારી
કાયદા દ્વારા પરવાનગી આપેલ પૂર્ણ ક્ષેત્ર સુધી, સેવા કોઈપણ પ્રકારની વોરંટી વગર પૂરી પાડવામાં આવે છે. કોઈપણ દાવા માટે અમારી સંપૂર્ણ જવાબદારી એ રકમ સુધી મર્યાદિત છે જે તમે દાવો ઉભો થાય તે પહેલાં ત્રણ મહિનામાં અમને ચૂકવી છે. અમે અપ્રત્યક્ષ અથવા પરિણામી નુકસાન માટે જવાબદાર નથી, જેમાં મોડેલ આઉટપુટ પર આધાર રાખીને ઉભી થતી કોઈપણ નુકસાન સામેલ છે.
સમાપ્તિ
તમે તમારા ખાતાને કોઈપણ સમયે બંધ કરી શકો છો; અમે વપરાયેલ ક્રેડિટ પાછી આપીશું. અમે ખાતાઓને અટકાવી શકીએ છીએ કે જે આ શરતોનો ભંગ કરે છે અથવા સેવાને જોખમમાં મૂકે છે.
૯. ફેરફારો, ભાષા અને સંપર્ક
અમે આ શરતો સુધારી શકીએ છીએ; સામગ્રી બદલાવો સાઇટ પર જાહેર કરવામાં આવશે.
આ પાનાંનાં ભાષાંતરો સુવિધા માટે પૂરા પાડેલ છે અને મશીન-ઉત્પાદિત છે. જ્યાં ભાષાંતર અને અંગ્રેજી આવૃત્તિ અલગ હોય, અંગ્રેજી આવૃત્તિ અધિકાર ધરાવે છે.
પ્રશ્નો: અમારો સંપર્ક કરો.