Mabanda ya Utumishi
1.
Tunapitisha dai na kiwango cha juu. Tunalifuatilia jopo la wanamitindo ambao unachagua, pamoja na kigezo cha refa kinachoshikilia kanuni za kufuata, na tunajaribu kuweka rasmi matokeo ya Lean 4 dhidi ya Mathlib. Upaji ni nakala, seti ya maamuzi, na mahali ambapo sheria zilijaribiwa, matokeo ya Lean.
2. Matokeo ni nini na si
Picha hutokezwa na violezo vya AI vya tatu na si ushauri. Si halali, kitiba, kifedha, uhandisi au ushauri wa kitaalamu wa aina yoyote, na hakuna uhusiano wowote wa kitaaluma unaofanyizwa kwa kutumia huduma hii.
Kanuni ya sheria iliyofanyiwa mkataba huo ni taarifa kuhusu uthibitisho uliopo katika maandishi ya kwamba watu match hawana uhakika wa usahihi. Lazima uthibitishe kwa kujitegemea chochote unachotaka kutegemea, hasa kabla ya kuichapisha, kuinyenyekea, au kuitenda. Hii ni chombo cha kufanyia kazi kazi ngumu, si kibadala cha ukaguzi wa binadamu.
Kutunga sheria kwa mafanikio kwa Lean kwamaanisha tafsiri ya Lean ya msingi iliyokubaliwa na taarifa ambayo haikuandikwa rasmi, dhidi ya toleo la Mathlib kwa matumizi wakati huo. Haimaanishi kwamba taarifa ni tafsiri ya uaminifu ya kile ulichoomba, na kuchagua taarifa rasmi ambayo haisemi kile ulichomaanisha ni njia ya kawaida sana ambayo matokeo rasmi hupotosha.
3.
Unamiliki madai unayodai na matokeo ya kazi uliyowapa. Unatupa chawa tu kinachohitajika ili kuendesha huduma: kufanya ujitiishe kwako, kuvipeleka kwa watengeneza - mitindo mliyochagua, na kuhifadhi watu match wanaotokea ili uweze kurudi kwenye huduma hiyo.
Matches are private by default. If you mark a match public it becomes visible to anyone with the link and may appear in our public gallery. Do not publish a match containing anything confidential.
Usipeleke habari za kibinafsi juu ya wengine, habari za siri ambazo wewe huna haki ya kushiriki, au habari ambayo si halali.
4.Arning and propagement
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.
Kama ukiunganisha ufunguo wako mwenyewe wa taarifa, unamlipa mtoa huduma moja kwa moja na hatulipi gharama yoyote kwa kila ada ya fedha iliyowekwa bure kuhusiana na mpango huo, nyenzo na hifadhi.
Mabadiliko ya mikopo ambayo tayari yalinunuliwa yanaweza kubadili bei.
5. Matumizi yanayokubalika
Usitumie huduma kuchochea maudhui yanayodhuru wengine, kujaribu kupata maagizo ya utendaji wetu au mfumo, kuepuka matumizi au kiwango cha usawa, au kurejesha makubaliano bila kuandika. Chombo cha sheria ni kwa ajili ya kuthibitisha madai; usitumie mbinu hiyo kushambulia mfumo wowote.
6. Kutoweza Kupona
We depend on third-party model providers. Providers go down, change models, and deprecate them. A match interrupted for any reason is paused and resumable; we do not charge for work that did not happen. We do not guarantee uninterrupted availability, and a model you used before may become unavailable.
7. Kueleweka
Kwa kadiri ambayo sheria imeruhusu, huduma hiyo inaandaliwa kama vile haina msingi wowote wa haki za binadamu.
M kanao wa 8.
Huenda ukafunga akaunti yako wakati wowote; tutarudisha tena mkopo ambao haukutumiwa.
9. Mabadiliko, lugha, na kuwasiliana
Tunaweza kuboresha maneno haya; mabadiliko ya vitu vya kimwili yatatangazwa kwenye tovuti hiyo.
Tafsiri za ukurasa huu huandaliwa kwa ajili ya manufaa na zinatokezwa kwa mashine. Mahali ambapo tafsiri na tafsiri ya Kiingereza hutofautiana, tafsiri ya Kiingereza huongoza.
Maswali: Tuwasiliane nasi.