Theorem.chat በMuddy Holdings LLC (እኛ, እኛ) የተሰራ ነው. አገልግሎትን በመጠቀም እነዚህን ውሎች መቀበል አለብዎት.

1. አገልግሎት ምን ያደርጋል

ጥያቄ እና መስፈርት ያቀርባሉ. እኛ እርስዎ የሚመርጡ AI ሞዴሎች ፓነል ውስጥ ይጫወታሉ, ተጨማሪ በተቀባይነት መስፈርቶች ላይ የሚወሰን የፍርድ ቤት ሞዴል, እና ውጤቱን Lean 4 በ Mathlib ላይ ፎርማሊዝ ለማድረግ እንሞክራለን. ውጤቱ ትርጉም ነው, የፍርድ ቤት ስብስብ, ውሳኔ, እና ፎርማሊዝ የተሞከረበት ቦታ, የ ሌን ውጤት.

2. ምርቱ ምን እንደሆነና አይደለም

ውጤቱ በሶስተኛ ወገን AI ሞዴሎች የተፈጠረ ነው እና ምክር አይደለም. ይህ የሕግ፣ የሕክምና፣ የገንዘብ፣ የኢንጂነሪንግ ወይም የሙያ ምክር አይደለም፣ እናም በዚህ አገልግሎት በመጠቀም የሙያ ግንኙነት አይፈጠርም ፡፡

የፍርድ ቤት ውሳኔ መስፈርት የተሟላ ነው ስለ ማስረጃ በሪከርድ ውስጥ በዚያ ጨዋታ ላይ መግለጫ ነው. ይህ ትክክለኛነት ዋስትና አይደለም. AI ሞዴሎች ስህተቶች, ምንጮች መጥፎ ማንበብ, እና ማስረጃዎች መፍጠር ይችላሉ ምንም እንኳን መመሪያዎች አይደለም. በራስህ ራስህ ማረጋገጥ አለብህይህ የፕሮግራሙን መሰረታዊ

የቀረበው የሊን ፎርማሊዜሽን ማለት የሊን ኮርኔል የቀረበውን የቃላት ግልጽነት ማስረጃ በመቀበል፣ በወቅቱ በነበረው የMathlib ስሪት ላይ ፎርማሊዝድ አድርጎ ነው ማለት ነው፡፡ ይህ ግልጽነት የጠየቅከውን ነገር ትክክለኛ ትርጉም ነው ማለት አይደለም፣ ግልጽነት ያለውን ቃል መምረጥም ግልጽ ውጤት የሚያሳስባችሁን ነገር አያመለክትም ማለት ነው፡፡ ግልጽ የሆነውን ቃል አንብብ፣ ውሳኔውን ብቻ አይደለም።

ይዘት

የእርስዎን የቀረበው የጠየቃችሁን እና የእርስዎን የተፈጠረ ውጤት ባለቤትነት ይያዙ. አገልግሎትን ለማስተዳደር የሚያስፈልገውን ፈቃድ ብቻ ይሰጣሉ: የእርስዎን የቀረበው ለማስተዳደር, ወደ ምርጫዎቹ ሞዴል አቅራቢዎች ለማስተላለፍ, እና ውጤታማውን ተመሳሳይ እንዲመለስ እንዲጠብቁ.

ተመሳሳይ ፊደሎችን እንደገና አስቀምጥ

ስለሌሎች ሰዎች የግል መረጃ፣ ለመጋራት መብት የሌለብዎትን የግል መረጃ ወይም ሕገወጥ የሆነ ይዘት አታቀርቡ።

4. ተቀማጭና ተቀማጭ

ክሬዲት ቀድሞ የተከፈለ ሲሆን ጨዋታዎች ሲከናወኑ ይጠቀማል። ጨዋታ ሁሉ የእርስዎ የተቀመጠ የገንዘብ መጠን አለው፤ ወደዚያ ደርሶ መተላለፊያውን ከመቀጠል ይልቅ ጨዋታውን ያቆማል። የገንዘብ መጠን ሊቀየር አይችልም እና በሕግ የተጠየቀ ካልሆነ በስተቀር በአንድ ጊዜ መተላለፊያውን አይመለስም። ያልተጠቀመ ክሬዲት በጠየቀ ጊዜ ይመለሳል።

የራስህን የምርመራ ቁልፍ ብትገናኝ፣ አቅራቢህን በቀጥታ ትከፍላለህና በየቶኬኑ ምንም ክፍያ አንከፍልም፡፡ የተገለጸው ነፃ ክፍያ ከተጠናቀቀ በኋላ የፓነል፣ የጥራትና የመዝገብ ቤትን መሥራት የሚሸፍን የመሰረተ ልማት ክፍያ ይተገበራል።

ዋጋዎችን በዕውቅና ማሻሻል እንችላለን. ለውጦች አሁንም የተገዙ ክሬዲቶች ላይ አይተገበሩም.

የተቀበለ

የድርጅቱን አገልግሎት ሌሎችን የሚጎዳ ይዘት ለመፍጠር፣ የምንጠይቃቸውን ወይም የሲስተም መመሪያዎችን ለማውጣት፣ የገንዘብ ወይም የፍጆታ ገደቦችን ለመሸፈን ወይም ያለ ጽሑፍ ስምምነት ለመሸጥ አትጠቀሙ። የኮድ-አፈጻጸም መሣሪያው ለሚጠየቁ ጥያቄዎች ነው፤ ማንኛውንም ሲስተም ለመውጋት አትጠቀሙት።

መኖሩን ያረጋግጡ

በሶስተኛ ወገን ሞዴል አቅራቢዎች ላይ እንመካለን። አቅራቢዎች ይጥላሉ፣ ሞዴሎችን ይለውጣሉ፣ እና ያወጡዋቸዋል። በየትኛውም ምክንያት የተቋረጠው ተመሳሳይ ተቆርጧል እና ይቀጥላል፤ ለተደረገው ሥራ አንከፍልም ፡፡ ያለማቋረጥ መኖሩን አንጠብቅም ፣ እና ከፊት የተጠቀምከው ሞዴል የማይገኝ ሊሆን ይችላል።

ፋይል

በሕግ የተፈቀደው በሙሉ መጠን, አገልግሎት እንደ ነው ያለ ዋስትና የሁሉም ዓይነት ይሰጣል. የምንጠይቅ ሁሉ ኃላፊነት ለ ማንኛውም ጥያቄ በሦስት ወራት ውስጥ እኛን ከጠየቁ በፊት የተከፈለውን መጠን ብቻ ነው. እኛ ለተዘዋዋሪ ወይም ተያያዥ ጉዳት ኃላፊ አይደለንም, በሞዴል ምርት ላይ በመመስረት የሚመጣ ማንኛውም ጉዳት ጨምሮ.

ማቆም

የእርስዎን ሒሳብ በየትኛውም ጊዜ መክፈት ይችላሉ; እኛ ያልተጠቀሙት ክሬዲት ይመለሳል. እኛ እነዚህን ሁኔታዎች የሚጥሱ ወይም አገልግሎትን በጉዳት ላይ የሚጥሉ ሒሳቦችን ማቆም እንችላለን.

ለውጦች፣ ቋንቋ እና ግንኙነት

እነዚህን ሁኔታዎች ማሻሻል እንችላለን፤ መሰረታዊ ለውጦች በጣቢያው ላይ ይታወቃሉ፡፡

የዚህ ገጽ ትርጉሞች ለደህንነት ብቻ ናቸው እናም በኤሌክትሮኒክ መሣሪያዎች የተፈጠሩ ናቸው። ትርጉምና እንግሊዝኛ ትርጉም የሚለያዩበት ቦታ፣ እንግሊዝኛ ትርጉም ይሻላል።

ጥያቄዎች፦ ቀጥል.