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