Үйлчилгээний нөхцөлүүд
1. Энэ үйлчилгээний хийх зүйл
Та гомдол, стандартыг илгээнэ. Бид таны сонгосон AI загваруудын багцыг, мөн хүлээн авах шалгуурыг тогтоосон шүүгч загварыг дагаж, Lean 4-ийн эсрэг Mathlib-ийн үр дүнг тодорхойлох гэж оролддог. Үр дүн нь бичлэг, шийдвэрийн багц, дүгнэлт, мөн тодорхойлолт нь Lean үр дүнг тодорхойлдог.
2. Хүлээн авах ба гаргах
Энэ нь 3-р талын AI загваруудаар үүсгэгдсэн бөгөөд зөвлөгөө биш юм. Энэ нь хууль, эмчилгээ, санхүү, инженерчлэл, эсвэл ямар ч төрлийн мэргэжлийн зөвлөгөө биш бөгөөд энэ үйлчилгээг ашигласнаар мэргэжлийн харилцаа үүсдэггүй.
Шүүгчдийн гаргасан шийдвэр нь тухайн тоглолтын баримтын талаарх мэдэгдэл юм. Энэ нь зөв болохыг баталгаажуулдаггүй. AI загварууд алдаа гаргадаг, эх сурвалжийг буруу уншдаг, мөн зааварчилгааг үл харгалзан ишлэлүүдийг зохион бүтээж болно. Та итгэх зүйлээ өөрөөсөө хамааралгүйгээр шалгах хэрэгтэйЭнэ нь таныг үүнийг хэвлэж, илгээхдээ эсвэл үйлдэл хийхээс өмнө шалгах боломжийг олгоно. Энэ нь хүний шалгах боломжийг орлох биш, харин даралтыг туршихад зориулагдсан хэрэгсэл юм.
Lean- ийн амжилттай хэлбэржүүлэлт нь Lean- ийн ядраас тухайн үед ашиглаж байсан Mathlib хувилбарын эсрэг хэлбэржүүлсэн мэдэгдлийн баталгааг хүлээн авсан гэсэн үг юм. Энэ нь таны хүссэн зүйлийг үнэн зөв орчуулсан гэсэн үг биш бөгөөд таны хүссэн зүйлийг хэлж чадахгүй хэлбэржүүлсэн мэдэгдлийг сонгох нь хэлбэржүүлсэн үр дүнг алдагдуулах хамгийн түгээмэл арга юм. Гэхдээ зөвхөн шийдвэрийг биш хэлбэржүүлсэн мэдэгдлийг уншина уу.
Таны агуулга
Та өөрийн илгээсэн хүсэлт болон таны гаргасан үр дүнгийн эзэмшигч нь үлдэнэ. Та зөвхөн үйлчилгээг ажиллуулахад шаардлагатай лицензийг бидэнд олгоно: таны илгээсэн хүсэлтийг боловсруулж, сонгосон загвар ханган нийлүүлэгчдэд илгээнэ, үр дүнгийн тохиргоог хадгалж, дахин ашиглах боломжтой болно.
Бүх тохиргоонууд урьдчилан тохируулсан хувийн байдаг. Хэрэв та нийтийн тохиргоог сонговол холбоосыг ашигласан хэн ч түүнийг харах боломжтой бөгөөд нийтийн галерейд харагдах болно. Нууцлаг зүйл агуулсан тохиргоог нийтлэхгүй байх.
Бусад хүмүүсийн хувийн мэдээллийг, хуваалцах эрхгүй нууц материал, хууль бус агуулга илгээж болохгүй.
Кредит ба төлбөр
Кредит нь урьдчилан төлсөн бөгөөд тоглолтын явцад хэрэглэгддэг. Бүх тоглолтонд таны тогтоосон зарцуулалтын хязгаар байдаг. Хэрэв энэ хязгаар хүрвэл тоглоомыг зогсоож, зарцуулалтыг үргэлжлүүлэх болно. Кредитийг шилжүүлэх боломжгүй бөгөөд хуульд заасан тохиолдолд заавал буцаах шаардлагагүй. Хэрэглээгүй кредитийг хүссэн үедээ буцааж болно.
Хэрэв та өөрийнхөө дүгнэлт түлхүүрийг холбовол, та шууд л үйлчилгээ үзүүлэгчдээ төлж, бид нэг токенд ямар ч төлбөр тооцоо хийхгүй. Тогтсон үнэгүй хэмжээнээс хэтэрсэн тохиолдолд дэд бүтцийн төлбөрийг төлөх шаардлагатай болно. Энэ нь панел, хэрэгслүүд, хадгалах нөөцийг ашиглахтай холбоотой.
Бид үнээ мэдэгдэлгүйгээр өөрчлөх боломжтой. Энэ өөрчлөлт нь өмнө нь худалдан авсан зээлд хамаарахгүй.
Зөвхөн зөвшөөрөгдсөн хэрэглээ
Энэ үйлчилгээг бусдад хохирол учруулж болохуйц агуулга үүсгэх, системийн зааварчилгааг олж авах, зарцуулалт болон төлбөрийн хязгаарлалтуудыг даван туулах, эсвэл бичгээр тохиролцсонгүйгээр ашиглах эрхийг дахин худалдах зорилгоор ашиглаж болохгүй. Код гүйцэтгэх хэрэгсэл нь гомдол шалгах зорилготой; ямар ч системд халдсан хэрэгслийг ашиглаж болохгүй.
Хэрэглэгдэж байгаа
Бид гуравдагч талын загвар ханган нийлүүлэгчээс хамааралтай. Бүх төрлийн загвар ханган нийлүүлэгчүүд алдаа гаргаж, загвараа өөрчилж, хуучин загваруудаа устгана. Ямар ч шалтгаанаар таслагдсан тохиргоо нь түр зогсож, дахин үргэлжлүүлнэ; бид хийсэнгүй ажилд төлбөр тооцоо хийдэггүй. Бид тасралтгүй ажиллахыг баталгаажуулдаггүй, мөн өмнө ашигласан загвар нь ашиглагдахгүй болох боломжтой.
Хариуцлага
Хуулийн дагуу, үйлчилгээг ямар ч баталгаагүйгээр, одоо байгаа байдлаар нь үзүүлж байна. Бидний хариуцлага нь таны төлбөрийн хэмжээгээр хязгаарлагддаг. Бидний хариуцлага нь загварыг ашигласнаас үүдэлтэй шууд болон шууд бус хохирлын төлөө биш юм.
Хос
Та хэзээ ч дансаа хааж болно. Бид ашиглаагүй зээлийг буцаан олгоно. Энэ нөхцөлийг зөрчсөн эсвэл үйлчилгээнд аюул учруулсан дансыг бид түр хугацаагаар хааж болно.
9. Өгүүллэг, хэл, холбоо барих
Бид энэхүү нөхцөлийг шинэчлэх боломжтой; бодит өөрчлөлтүүд сайт дээр зарлана.
Энэ хуудсын орчуулга нь хялбаршуулах зорилгоор хийгдсэн бөгөөд машинаар боловсруулсан. Хэрэв орчуулга болон Англи хэлний хувилбар хоорондоо ялгаатай бол Англи хэлний хувилбар нь илүү чухал.
Асуултууд: Бидэнтэй холбоо барина уу.