خىزمەت شەرتلىرى
1. بۇ خىزمەتنىڭ مەقسىتى
سىز بىر تەلەپ ۋە بىر ئۆلچەمنى سۇنۇڭ. بىز ئۇنى تاللىغان AI مودىللىرى بىلەن بىرلىكتە ئېلىپ بارىمىز، شۇنداقلا قوبۇل قىلىش شەرتلىرىنى بەلگىلەيدىغان بىر رەھبەرلىك مودىلىنىمۇ يولغا قويىمىز، بىز Lean 4 گە قارشى Mathlib نىڭ نەتىجىسىنى رەسمىيلەشتۈرۈشكە تىرىشىمىز. چىقىم بىر تەرجىمە، بىر توپ ھۆكۈم، بىر ھۆكۈم، ۋە رەسمىيلەشتۈرۈشكە تىرىشقان جايدا، Lean نەتىجىسى بولىدۇ.
2. چىقىرىشنىڭ نېمە ئىكەنلىكى ۋە نېمە ئەمەسلىكى
3-ئايدا 3-ئايلىق پىلاننى تۈزۈپ، 3-ئايدا 3-ئايلىق پىلاننى تۈزۈپ، 3-ئايلىق پىلاننى تۈزۈپ، 3-ئايلىق پىلاننى تۈزۈپ، 3-ئايلىق پىلاننى تۈزۈپ، 3-ئايلىق پىلاننى تۈزۈپ، 3-ئايلىق پىلاننى تۈزۈپ، 3-ئايلىق پىلاننى تۈزۈپ، 3-ئايلىق پىلاننى تۈزۈپ، 3-ئايلىق پىلاننى تۈزۈپ، 3-ئايلىق پىلاننى تۈزۈپ، 3-ئايلىق پىلاننى تۈزۈپ، 3-ئايلىق پىلاننى تۈزۈپ، 3-ئايلىق پىلاننى تۈزۈپ، 3-ئايلىق پىلاننى تۈزۈپ، 3-ئايلىق پىلاننى تۈزۈپ، 3-ئايلىق پىلاننى تۈزۈپ، 3-ئايلىق پىلاننى تۈزۈپ، 3-ئايلىق پىلاننى تۈزۈپ، 3-ئايلىق پىلاننى تۈزۈپ، 3-ئايلىق پىلاننى تۈزۈپ، 3-ئايلىق پىلاننى تۈزۈپ، 3-ئايلىق پىلاننى تۈزۈپ، 3-ئايلىق پىلاننى تۈزۈپ، 3-ئايلىق پىلاننى تۈزۈپ، 3-ئايلىق پىلاننى تۈزۈپ، 3-ئايلىق پىلاننى تۈزۈپ، 4-ئايلىق پىلاننى تۈزۈپ، 4-ئايلىق پىلاننى تۈزۈپ، 4-ئايلىق پىلاننى تۈزۈپ، 4-ئايلىق پىلاننى تۈزۈپ، 4-ئايلىق پىلاننى تۈزۈپ، 4-ئايلىق پىلاننى تۈزۈپ، 4-ئايلىق پىلاننى تۈزۈپ، 4-ئايلىق پىلاننى تۈزۈپ، 4-ئايلىق پىلاننى تۈزۈپ، 4-ئايلىق پىلاننى تۈزۈپ، 4-ئايلىق پىلاننى تۈزۈپ، 4-ئايلىق پىلان بۇ قانۇن، دوختۇرخانا، پۇل، تېخنىكا ياكى باشقا كەسپىي مەسلىھەت ئەمەس، بۇ خىزمەتنى ئىشلىتىش ئارقىلىق كەسپىي مۇناسىۋەت شەكىللەنمەيدۇ.
نەتىجىگە ئېرىشكەن رېئاللىقنى باھالاشتا، رەھبەرلەر مۇسابىقىنىڭ خاتالىقلىرىغا ئاساسەن ھۆكۈم چىقىرىدۇ. بۇ توغرا بولۇشىغا كاپالەتلىك قىلمايدۇ. AI مودىللىرى خاتالىقلارنى سادىر قىلىدۇ، مەنبەلەرنى خاتا ئوقۇيدۇ، ۋە بۇيرۇققا قارىماي، دەلىللەرنى يالغۇز ياساپ چىقىرىدۇ. سىز ئىشەنچ قىلماقچى بولغان نەرسىنى سىز يالغۇز تەكشۈرۈپ بېقىشىڭىز كېرەكبۇ يازما سىزنىڭ يازما يازغان ۋاقتىڭىزدا، سىزنىڭ يازما يازغان ۋاقتىڭىزدا، سىزنىڭ يازما يازغان ۋاقتىڭىزدا، سىزنىڭ يازما يازغان ۋاقتىڭىزدا، سىزنىڭ يازما يازغان ۋاقتىڭىزدا، سىزنىڭ يازما يازغان ۋاقتىڭىزدا، سىزنىڭ يازما يازغان ۋاقتىڭىزدا، سىزنىڭ يازما يازغان ۋاقتىڭىزدا، سىزنىڭ يازما يازغان ۋاقتىڭىزدا، سىزنىڭ يازما يازغان ۋاقتىڭىزدا، سىزنىڭ يازما يازغان ۋاقتىڭىزدا، سىزنىڭ يازما يازغان ۋاقتىڭىزدا، سىزنىڭ يازما يازغان ۋاقتىڭىزدا، سىزنىڭ يازما يازغان ۋاقتىڭىزدا، سىزنىڭ يازما يازغان ۋاقتىڭىزدا، سىزنىڭ يازما يازغان ۋاقتىڭىزدا، سىزنىڭ يازما يازغان ۋاقتىڭىزدا، سىزنىڭ يازما يازغان ۋاقتىڭىزدا، سىزنىڭ يازما يازغان ۋاقتىڭىزدا، سىزنىڭ يازما يازغان ۋاقتىڭىزدا، سىزنىڭ يازما يازغان ۋاقتىڭىزدا، سىزنىڭ يازما يازغان ۋاقتىڭىزدا، سىزنىڭ يازما يازغان ۋاقتىڭىزدا، سىزنىڭ يازما يازغان ۋاقتىڭىزدا، سىزنىڭ يازما يازغان ۋاقتىڭىزدا، سىزنىڭ يازما يازغان ۋاقتىڭىزدا، سىزنىڭ يازما يازغان ۋاقتىڭىزدا، سىزنىڭ يازما يازغان ۋاقتىڭىزدا، سىزنىڭ يازما يازغان ۋاقتىڭىزدا، سىزنىڭ يازما يازغان ۋاقتىڭىزدا، سىزنىڭ يازما يازغان ۋاقتىڭىزدا، سىزنىڭ يازما يازغان ۋاقتىڭىزدا، سىزنىڭ يازما يازغان ۋاقتىڭىزدا، سىزنىڭ يازما يازغان ۋاقتىڭىزدا، سىزنىڭ يازما يازغان ۋاقتىڭىزدا، سىزنىڭ يازما يازغان ۋاقتىڭىزدا، سىزنىڭ يازما يازغان ۋاقتىڭىزدا، سىزنىڭ يازما يازغان ۋاقتىڭىزدا، سىزنىڭ يازما يازغان ۋاقتىڭىزدا،
Lean formalization مۇۋەپپەقىيەت قازىنىشى Lean kernel نىڭ ئۇ ۋاقىتتا ئىشلىتىلگەن Mathlib نەشرى بىلەن سېلىشتۇرغاندا formalized قىلىنغان سۆزنىڭ ئىسپاتىنى قوبۇل قىلغانلىقىنى كۆرسىتىدۇ. بۇ سۆز سىزنىڭ سورىغان سۆزىڭىزنىڭ راستچىل تەرجىمە ئىكەنلىكىنى كۆرسىتىپ بەرمەيدۇ، سىزنىڭ مەقسەت قىلغان سۆزىڭىزنى ئېيتمىغان formal statement نى تاللاش formal result نى خاتالاشتۇرۇشنىڭ ئەڭ كۆپ ئۇچرايدىغان يولى. formal statement نى ئوقۇڭ، پەقەت ھۆكۈمنى ئوقۇڭلار.
مەزمۇنىڭىز
سىز تاپشۇرغان ئىلتىماس ۋە سىز ئۈچۈن ياسالغان چىقىرىشنىڭ ئىگىسى بولىسىز. سىز بىزگە پەقەتلا بۇ خىزمەتنى باشقۇرۇشقا كېرەكلىك ئىجازەت بېرىسىز: تاپشۇرغان ئىلتىماسىڭىزنى ئىشلەش، ئۇنى تاللىغان مودېل تەمىنلىگۈچىگە يوللاش، ۋە سىز قايتا كىرەلەيدىغاندەك نەتىجىدە يارىتىلغان ماسلىقنى ساقلاش.
ماتېماتىكىلىق مۇسابىقىلەر ئالدىنقى ھالەتتە شەخسىي بولىدۇ. ئەگەر ماتېماتىكىلىق مۇسابىقىنى ئومۇمىي دەپ بەلگىلىسىڭىز، ئۇ تور بېتىگە باغلانغان ھەر قانداق كىشىگە كۆرۈنىدۇ ۋە ئومۇمىي گىلەمخانىمىزدا كۆرۈنىدۇ. مەخپىي ئۇچۇرلار بار ماتېماتىكىلىق مۇسابىقىنى ئېلان قىلماڭلار.
باشقا كىشىلەرنىڭ شەخسىي ئۇچۇرلىرىنى، سىز تارقىتىش ھوقۇقى يوق مەخپىي ماتېرىياللارنى ياكى قانۇنسىز مەزمۇنلارنى يوللىماڭلار.
پۇل ۋە ھېسابات
كرېدىت ئالدىن پۇل تۆلەيدۇ ۋە ئويۇنلار داۋاملىشىۋاتقاندا ئىشلىتىلىدۇ. ھەر بىر ئويۇننىڭ سىز بەلگىلىگەن چىقىم قىلىش چەكلىمىسى بار، بۇ چەكلىمىگە يېتىپ بارغاندا ئويۇننى توختىتىپ قويۇلىدۇ. كرېدىت ئالماشتۇرغىلى بولمايدۇ، قانۇنغا خىلاپلىق قىلمىغاندا، بىر قېتىم ئىشلىتىلگەندىن كېيىن قايتۇرغىلى بولمايدۇ. ئىشلىتىلمەيدىغان كرېدىت تەلەپ قىلىنغاندا قايتۇرۇلىدۇ.
ئەگەر ئۆزىڭىزنىڭ inference ئاچقۇچىنى قوشۇپ قويسىڭىز، سىز مۇلازىمېتىرىڭىزغا تۈپتىن ھەق تۆلەيسىز، بىز ھەر بىر توكى ئۈچۈن ھېچقانداق ھەق تەلەپ قىلمايمىز. ئېيتىلغان ھەقسىز چەكلىمىدىن ئاشقاندا، پانەل، قورال ۋە ساقلاشنى ئىشلىتىشكە ئاساسىي قاتلام ھەققى بېرىلىدۇ.
بىز باھالارنى ئۆزگەرتىشىمىز مۇمكىن. ئۆزگەرتىشلەر ئالدىن سېتىۋالغان پۇلغا ھېچقاچان تەسىر يەتكۈزەلمەيدۇ.
قوللىنىشقا بولىدۇ
بۇ خىزمەتنى باشقا كىشىلەرگە زىيان يەتكۈزىدىغان مەزمۇنلارنى ياساش ئۈچۈن، بىزنىڭ تەكلىپىمىزنى ياكى سىستېما بۇيرۇقىنى ئېلىش ئۈچۈن، خەجلەش ياكى باھا چەكلىمىلىرىنى يۆتكەش ئۈچۈن ياكى يېزىقچە كېلىشىمسىز كىرىش ھوقۇقىنى قايتا سېتىۋېلىش ئۈچۈن ئىشلىتىشكە بولمايدۇ. كود ئىجرا قىلىش قورالى تەكشۈرۈش ئۈچۈن ئىشلىتىلىدۇ، ھەر قانداق سىستېمىغا ھۇجۇم قىلىش ئۈچۈن ئىشلىتىلمەيدۇ.
قوللىنىشچان
بىز ئۈچىنچى تەرەپ مودېل تەمىنلىگۈچىگە تەۋەككۈل قىلىمىز. تەمىنلىگۈچىلەر يىراقلىشىدۇ، مودېللىرىنى ئۆزگەرتىدۇ، ئۇلارنى ئۆچۈرىدۇ. ھەرقانداق سەۋەبتىن توختىتىلغان ئويۇن توختىتىلىدۇ ۋە قايتا باشلىنىدۇ؛ بىز ئىشقا ئاشمىغان ئىشلار ئۈچۈن ھەق ئېلىشىمىز كېرەك ئەمەس. بىز توختىتىشسىز قولغا كەلگۈچىلەرگە كاپالەتلىك قىلمايمىز، سىز ئىلگىرى ئىشلىتىپ كەلگەن مودېللار قولغا كەلمەيدۇ.
مەسئۇلىيەت
قانۇننىڭ رۇخسەت قىلغان ئەڭ كەڭ دائىرىدە، بۇ خىزمەت ھەرقانداق خىل گارانتىيەسىز بېرىلىدۇ. بىزنىڭ ھەرقانداق بىر تەلەپ ئۈچۈن بولغان جەمئىي مەسئۇلىيىتىمىز، سىز بىزگە تۆلىگەن پۇلغا چەكلىنىدۇ. بىز سىزنىڭ سىز
ئاخىرلاشتۇرۇش
سىز ھېساباتىڭىزنى ھەر ۋاقىت تاقىۋېلىپ بولالايسىز، بىز ئىشلىتىلمەيدىغان پۇلنى قايتۇرۇپ بېرىمىز. بۇ شەرتلەرنى بۇزغان ياكى خىزمەتنى خەۋپكە ئۇچراتقان ھېساباتلارنى توختىتىپ قويالايمىز.
9. ئۆزگىرىشلەر، تىل ۋە ئالاقە
بىز بۇ شەرتلەرنى يېڭىلىيالايمىز؛ ماددىي ئۆزگىرىشلەر بۇ تور بېتىدە ئېلان قىلىنىدۇ.
بۇ توربەتنىڭ تەرجىمىلىرى پەقەت قولايلىق ئۈچۈنلا بېرىلگەن بولۇپ، ماشىنىلىق تەرجىمە قىلىنغان. تەرجىمە ۋە ئىنگىلىزچە نۇسخىسى ئوخشاش بولمىسا، ئىنگىلىزچە نۇسخىسى ئاساس قىلىنىدۇ.
سوئاللار: بىز بىلەن ئالاقە قىلىڭ.