Mga Tuntunin ng Serbisyo
1. Ano ang ginagawa ng serbisyo
Iyong isumite ng isang claim at isang pamantayan. Patakbuhin namin ito nakalipas ng isang panel ng AI modelo na piliin mo, plus isang modelo ng referee na mga patakaran sa mga pamantayan ng pagtanggap, at sinusubukan namin upang pormal ang resulta sa Lean 4 laban Mathlib. Ang output ay isang transcript, isang hanay ng mga rulings, isang pasiya, at kung saan pormal ay tinangka, ang Lean resulta.
2. Ano ang output ay at hindi
Ang output ay nabuo ng mga third-party AI modelo at hindi payo. Hindi ito legal, medikal, pinansiyal, inhinyero o propesyonal na payo ng anumang uri, at walang propesyonal na relasyon ang nilikha sa pamamagitan ng paggamit ng serbisyong ito.
Ang referee na naghahari ng isang pamantayan na natutugunan ay isang pahayag tungkol sa mga ebidensya sa record sa na match. Ito ay hindi isang garantiya ng pagiging tama. AI modelo gumawa ng mga pagkakamali, misread pinagkukunan, at maaaring gumawa ng mga pangungusap sa kabila ng mga tagubilin hindi. > Dapat mong independiyenteng suriin ang anumang bagay na nais mong umasa saAng mga ito ay isang kasangkapan para sa pagsusuri ng trabaho, hindi isang panpalit para sa kwalipikadong pagsusuri ng tao.
Ang isang matagumpay na Lean pormal na nangangahulugan na ang Lean kernel tinanggap ng isang patunay ng pahayag na ito ay pormal, laban sa bersyon ng Mathlib sa paggamit sa oras na iyon. Ito ay hindi nangangahulugan na pahayag ay isang tapat na pagsasalin ng kung ano ang iyong tinanong, at ang pagpili ng isang pormal na pahayag na hindi sabihin kung ano ang ibig mong sabihin ay ang pinaka-karaniwang paraan ng isang pormal na resulta misleads. Basahin ang pormal na pahayag, hindi lamang ang pasiya.
3. Ang iyong nilalaman
Ikaw ay mananatili sa pagmamay-ari ng mga claim na iyong isinumite at ng output na ginawa para sa iyo. Ikaw ay nagbibigay sa amin lamang ng lisensya na kinakailangan upang gumana ang serbisyo: upang iproseso ang iyong pagsusumite, ipadala ito sa mga modelo provider na pinili mo, at mag-imbak ng resultang match kaya maaari mong bumalik sa ito.
Ang mga Matches ay pribado sa pamamagitan ng default. Kung mag-mark ka ng isang pampublikong match ito ay nagiging makikita sa sinuman na may link at maaaring lumitaw sa aming pampublikong gallery. Huwag mag-publish ng isang match na naglalaman ng anumang kumpidensyal.
Huwag mag-submit ng personal na data tungkol sa iba, kumpidensyal na materyal na hindi mo karapatan na ibahagi, o nilalaman na hindi naaayon sa batas.
4. Credits at pagbili
Credit is prepaid and is consumed as matches run. Every match has a spending limit you set; reaching it pauses the match rather than continuing to spend. Balances are not transferable and, except where required by law, are non-refundable once consumed. Unused credit is refundable on request.
Kung kumonekta ka sa iyong sariling inference key, direktang babayaran mo ang iyong provider at hindi kami bibilhin ng bayad sa bawat token. Lumapas ang nakasaad na libreng allowance, ang isang infrastructural fee ay nalalapat upang masakop ang pagpapatakbo ng panel, mga tool at imbakan.
Maaari naming baguhin ang mga presyo sa pamamagitan ng paunawa. Ang mga pagbabago ay hindi kailanman nalalapat sa credit na nabili.
5. Katanggap-tanggap na paggamit
Huwag gamitin ang serbisyo upang makabuo ng nilalaman na nakakapinsala sa iba, upang subukan na kunin ang aming mga prompt o mga tagubilin sa system, upang makaligtaan ang mga limitasyon sa paggasta o rate, o upang muling magbenta ng access nang walang nakasulat na kasunduan. Ang tool sa pagpapatupad ng code ay para sa pagpapatunay ng mga claim; huwag gamitin ito upang atakihin ang anumang sistema.
6. Availability
Ang isang match na nasira dahil sa anumang dahilan ay paused at resumable; hindi namin singilin para sa trabaho na hindi nangyari. Hindi namin ginagarantiyahan ang walang-pagkakagambala availability, at isang modelo na ginamit mo bago ay maaaring maging hindi magagamit.
7. Responsibilidad
Sa pinakamalawak na lawak na pinahihintulutan ng batas, ang serbisyo ay ibinibigay bilang ay walang warranties ng anumang uri. Ang aming kabuuang pananagutan para sa anumang claim ay limitado sa halaga na iyong binayaran sa amin sa tatlong buwan bago ang claim ay nag-ugat. Hindi kami mananagot para sa hindi direkta o resultang pagkawala, kabilang ang anumang pagkawala na nagmumula sa pagtitiwala sa modelo output.
8. Pagtatapos
Maaari mong isara ang iyong account sa anumang oras; ibabalik namin ang hindi ginamit na credit. Maaari naming i-suspende ang mga account na lumalabag sa mga tuntuning ito o na naglalagay sa serbisyo sa panganib.
9. Mga pagbabago, wika at kontak
Maaari naming i-update ang mga tuntuning ito; ang mga pagbabagong materyal ay i-a-anunsyo sa site.
Ang mga pagsasalin ng pahinang ito ay ibinibigay para sa kaginhawahan at ginawa ng makina. Kung saan ang isang pagsasalin at ang bersyon sa Ingles ay naiiba, ang bersyon sa Ingles ang nag-aangkin.
Mga katanungan: Makipag-ugnay sa amin.