Үйлчилгээний нөхцөлүүд
1. Энэ үйлчилгээний хийх зүйл
Та гомдол, стандартыг илгээнэ. Бид таны сонгосон AI загваруудын багцыг, мөн хүлээн авах шалгуурыг тогтоосон шүүгч загварыг дагаж, Lean 4-ийн эсрэг Mathlib-ийн үр дүнг тодорхойлох гэж оролддог. Үр дүн нь бичлэг, шийдвэрийн багц, дүгнэлт, мөн тодорхойлолт нь Lean үр дүнг тодорхойлдог.
2. Хүлээн авах ба гаргах
Энэ нь 3-р талын AI загваруудаар үүсгэгдсэн бөгөөд зөвлөгөө биш юм. Энэ нь хууль, эмчилгээ, санхүү, инженерчлэл, эсвэл ямар ч төрлийн мэргэжлийн зөвлөгөө биш бөгөөд энэ үйлчилгээг ашигласнаар мэргэжлийн харилцаа үүсдэггүй.
Хэлэлцүүлэг нь match-д бүртгэгдсэн баримтын талаарх мэдэгдэл юм. Энэ нь зөв болохыг баталгаажуулдаггүй. AI загварууд алдаа гаргадаг, эх сурвалжийг буруу уншдаг, мөн зааварчилгаа байхгүй ч гэсэн ишлэлүүдийг зохиож болно. Та итгэх зүйлээ өөрөөсөө хамааралгүйгээр шалгах хэрэгтэйЭнэ нь таныг үүнийг хэвлэж, илгээхдээ эсвэл үйлдэл хийхээс өмнө шалгах боломжийг олгоно. Энэ нь хүний шалгах боломжийг орлох биш, харин даралтыг туршихад зориулагдсан хэрэгсэл юм.
Lean- ийн амжилттай хэлбэржүүлэлт нь Lean- ийн ядраас тухайн үед ашиглаж байсан Mathlib хувилбарын эсрэг хэлбэржүүлсэн мэдэгдлийн баталгааг хүлээн авсан гэсэн үг юм. Энэ нь таны хүссэн зүйлийг үнэн зөв орчуулсан гэсэн үг биш бөгөөд таны хүссэн зүйлийг хэлж чадахгүй хэлбэржүүлсэн мэдэгдлийг сонгох нь хэлбэржүүлсэн үр дүнг алдагдуулах хамгийн түгээмэл арга юм. Гэхдээ зөвхөн шийдвэрийг биш хэлбэржүүлсэн мэдэгдлийг уншина уу.
Таны агуулга
You keep ownership of the claims you submit and of the output produced for you. You grant us only the licence needed to operate the service: to process your submission, transmit it to the model providers you selected, and store the resulting match so you can return to it.
Matches- ууд нь урьдчилан тохируулсан хувийн Matches- ууд юм. Хэрэв та нийтийн match- ийг тэмдэглэвэл холбоосыг ашигласан хэн ч түүнийг харах боломжтой болж нийтийн галерейд гарч ирэх болно. Нууцлалтай match- ийг нийтлэхгүй байх.
Бусад хүмүүсийн хувийн мэдээллийг, хуваалцах эрхгүй нууц материал, хууль бус агуулга илгээж болохгүй.
Кредит ба төлбөр
Кредит нь урьдчилан төлөгдсөн ба matches- ийг ашиглах үед хэрэглэгддэг. Бүх match- үүд таны тогтоосон зарцуулалтын хязгаартай байдаг; үүнийг давахад match- ийг зарцуулалт үргэлжлүүлэхээс зогсооно. Санхүү нь шилжүүлэх боломжгүй бөгөөд хуульд заасан тохиолдолд заавал буцаах шаардлагагүй. Хэрэглээгүй кредитийг хүссэн үедээ буцааж болно.
Хэрэв та өөрийнхөө дүгнэлт түлхүүрийг холбовол, та шууд л үйлчилгээ үзүүлэгчдээ төлж, бид нэг токенд ямар ч төлбөр тооцоо хийхгүй. Тогтсон үнэгүй хэмжээнээс хэтэрсэн тохиолдолд дэд бүтцийн төлбөрийг төлөх шаардлагатай болно. Энэ нь панел, хэрэгслүүд, хадгалах нөөцийг ашиглахтай холбоотой.
Бид үнээ мэдэгдэлгүйгээр өөрчлөх боломжтой. Энэ өөрчлөлт нь өмнө нь худалдан авсан зээлд хамаарахгүй.
Зөвхөн зөвшөөрөгдсөн хэрэглээ
Энэ үйлчилгээг бусдад хохирол учруулж болохуйц агуулга үүсгэх, системийн зааварчилгааг олж авах, зарцуулалт болон төлбөрийн хязгаарлалтуудыг даван туулах, эсвэл бичгээр тохиролцсонгүйгээр ашиглах эрхийг дахин худалдах зорилгоор ашиглаж болохгүй. Код гүйцэтгэх хэрэгсэл нь гомдол шалгах зорилготой; ямар ч системд халдсан хэрэгслийг ашиглаж болохгүй.
Хэрэглэгдэж байгаа
Бид гуравдагч талын загвар ханган нийлүүлэгчээс хамааралтай. Бүх төрлийн загвар ханган нийлүүлэгчид алдаа гаргаж, загвараа өөрчилж, хуучин загваруудаа устгана. Ямар ч шалтгаанаар тасалдаж байсан match- ийг түр зогсоож, дахин эхлүүлдэг; бид хийсэнгүй ажилд мөнгө төлдөггүй. Бид тасралтгүй ажиллах боломжийг баталгаажуулдаггүй, мөн өмнө ашигласан загвар нь ашиглагдахгүй болох боломжтой.
Хариуцлага
Хуулийн дагуу, үйлчилгээг ямар ч баталгаагүйгээр, одоо байгаа байдлаар нь үзүүлж байна. Бидний хариуцлага нь таны төлбөрийн хэмжээгээр хязгаарлагддаг. Бидний хариуцлага нь загварыг ашигласнаас үүдэлтэй шууд болон шууд бус хохирлын төлөө биш юм.
Хос
Та хэзээ ч дансаа хааж болно. Бид ашиглаагүй зээлийг буцаан олгоно. Энэ нөхцөлийг зөрчсөн эсвэл үйлчилгээнд аюул учруулсан дансыг бид түр хугацаагаар хааж болно.
9. Өгүүллэг, хэл, холбоо барих
Бид энэхүү нөхцөлийг шинэчлэх боломжтой; бодит өөрчлөлтүүд сайт дээр зарлана.
Энэ хуудсын орчуулга нь хялбаршуулах зорилгоор хийгдсэн бөгөөд машинаар боловсруулсан. Хэрэв орчуулга болон Англи хэлний хувилбар хоорондоо ялгаатай бол Англи хэлний хувилбар нь илүү чухал.
Асуултууд: Бидэнтэй холбоо барина уу.