مەرجەکانی خزمەتگوزاری
خزمەتگوزاری چی دەکات
تۆ داواکارییەک و ستانداردێک پێشکەش دەکەیت. ئێمە دەیکەین بە پانێلێکی مۆدێلی AI کە هەڵیدەبژێریت، هەروەها مۆدێلی دادگایی کە یاساکانی لەسەر مەرجەکانی قبوڵکردن، وە هەوڵ دەدەین ئەنجامەکەمان لە Lean 4 دژ بە Mathlib. دەرکەوتنەکە بریتییە لە وەرگێڕان، کۆمەڵێک بڕیار، بڕیار، و لەو شوێنەی کە هەوڵی یاسایی درا، ئەنجامی لیەن.
٢. چی دەرئەنجامە و چی نیە
دەرکەوتن لەلایەن مۆدێلی AI ی سێیەم دروست دەکرێت و ڕاوێژ نییە. ئەمە هیچ ئامۆژگارییەکی یاسایی، پزیشکی، دارایی، ئەندازیاری یان پیشەیی نییە، هیچ پەیوەندییەکی پیشەیی دروست نابێت بە بەکارهێنانی ئەم خزمەتگوزارییە.
دادوەرێک کە بڕیار دەدات لەسەر مەرجێک کە گونجاو بێت، ڕای خۆی دەربارەی بەڵگە لەسەر تۆماری ئەو یارییە دەردەبڕێت. ئەمە گومانێکی ڕاست نییە. مۆدێلی AI هەڵە دەکات، سەرچاوەی هەڵە دەخوێنێتەوە، وە دەتوانێت ئاماژە بە زانیارییەکان بکات لەکاتێکدا وتووێژەکان نایانەوێت. پێویستە تۆ بە سەربەخۆیی هەموو شتێکی کە تۆ دەتەوێت پشت بەخۆت ببەستیت تاقی بکەیتەوەئەمانە ئامرازێکن بۆ تاقیکردنەوەی کارەکان، نەک جێگیرکەری پشکنینی مرۆڤی پسپۆڕ.
A successful Lean formalisation means the Lean kernel accepted a proof of the statement that was formalised, against the version of Mathlib in use at that time. It does not mean that statement is a faithful translation of what you asked, and choosing a formal statement that does not say what you meant is the most common way a formal result misleads. Read the formal statement, not only the verdict.
بابەتەکانت
تۆ خاوەنداریت لە داواکاریەکانت کە پێشکەش دەکەیت و دەرئەنجامی بەرهەمهێنان بۆ تۆ. تۆ تەنها مۆڵەتی پێویستمان پێ دەدەیت بۆ کارکردن لەسەر خزمەتگوزاری: بۆ پەرەپێدانی پێشکەشکردنەکەت، گەیاندن بۆ مۆدێلی دابینکەر کە هەڵیبژاردووە، و تۆمارکردنی ئەنجامی هاوسەنگی بۆ ئەوەی بگەڕێتەوە بۆی.
بە پێی پێشنیار، هاوتاییەکان تایبەتن. ئەگەر هاوتایییەکت بە گشتی نیشان بدەیت ئەوا بۆ هەرکەسێک کە لینکی هەبێت دیار دەبێت و لەوانەیە لە گالری گشتیدا دەربکەوێت. هاوتایییەک بڵاو مەکەتەوە کە هیچ شتێکی نهێنی تێدا بێت.
زانیارییە تایبەتەکانت دەربارەی کەسانی تر نانێرێت، شتێکی نهێنی کە مافی هاوبەشکردنیت نەبێت، یان بابەتێک کە یاسایی نەبێت.
بڕی پارە و بڕی پارە
کرێدی پێشتر دابین کراوە و بەکاردەهێنرێت کاتێک یاریەکە بەڕێوەدەچێت. هەموو یارییەک سنووری خەرجی هەیە کە دیاریت کردوە؛ گەیشتن بە ئەو سنوورە یاریەکە ڕادەگرێت نەک بەردەوام بێت لە خەرجکردن. پارە ناگۆڕێت و، جگە لەوەی کە یاسا داوا دەکات، ناگەڕێتەوە کاتێک بەکاردەهێنرێت. کرێدی بەکارنەهاتوو لەسەر داواکاری دەگەڕێتەوە.
ئەگەر تۆ بەستەری کلیلی خۆت ببەستیت، تۆ ڕاستەوخۆ پارە دەدەیت بە دابینکەرەکەت و ئێمە هیچ پارەیەکیش بۆ هەر توكێنێک نادەین. دوای ئەوەی کە پارە بەبێ پارە دابەشکرا، پارەی بنەڕەتی بەکاردەهێنرێت بۆ دابینکردنی کارپێکردنی پانێل، ئامرازەکان و پارێزەرەکە.
دەتوانین نرخەکان بگۆڕین بە ئاگادارکردنەوە. گۆڕانکارییەکان هەرگیز بە کرێی کڕینەکان ناچێت
بەکارھێنانی پەسەندکراو
ئەم خزمەتگوزارییە بەکار مەهێنه بۆ دروستکردنی بابەتێک کە زیان بە کەسانی تر بگەیەنێت، بۆ هەوڵدان بۆ دەرهێنانی داواکاریەکانمان یان ڕێنماییەکانی سیستەم، بۆ دورخستنەوەی خەرجی یان سنووری ڕێژەی، یان بۆ فرۆشتنێکی تر بەبێ ڕێککەوتنێکی نوسراو. ئامێری جێبەجێکردنی کۆد بۆ پشتڕاستکردنەوەی داواکاریەکانە، بەکاری مەهێنه بۆ هێرشکردنە سەر هیچ سیستەمێک.
_دەستکاری
ئێمە پشت بە سێیەم لایەنی دابینکەری مۆدێل دەبەستین. دابینکەران هەڵدەوەشێنەوە، مۆدێلەکان دەگۆڕن، وە بەکاریان ناهێنن. هاوکێشەیەک کە بۆ هەر هۆکارێک تێکچووبێت ڕادەگیرێت و بەردەوام دەبێت؛ ئێمە پارە نادەین بۆ کارێک کە ڕوون نەبووەتەوە. ئێمە دڵنیانین لە بوونی بێ وەستانەوە، وە مۆدێلێک کە پێشتر بەکارت هێناوە لەوانەیە نەبێت
بەرپرسیارێتی
بۆ گشت ئەو شوێنانەی کە یاسا ڕێگە پێدەدات، خزمەتگوزاری بە شێوەیەکی بێ هیچ جۆرێک لە دڵنیایی دابین دەکرێت. بەرپرسیارێتی گشتی ئێمە بۆ هەر داوایەک سنووردار کراوە بە پارەی کە تۆ لە سێ مانگ پێش داواکە دروست بووت. ئێمە بەرپرسیار نین بۆ زیانی ناڕاستەوخۆ یان ئەنجامی، لەوانەش هەر زیانێک کە لە پشتگیری لە دەرچوونی مۆدێلەکە دروست دەبێت.
کۆتایی هێنان
دەتوانیت لە هەر کاتێکدا حسابەکەت دابخەیت، ئێمە پارەی بەکارنەهاتوو دەگەڕێنینەوە، دەتوانین ئەو حسابانە دابخەین کە ئەم مەرجانە پێشێل دەکەن یان خزمەتگوزاریەکە لە مەترسیدا دەخەنەڕوو.
9. گۆڕانکاریەکان، زمان و پەیوەندییەکان
ئێمە دەتوانین ئەم مەرجانە نوێ بکەینەوە؛ گۆڕانکارییە مادییەکان لەسەر ماڵپەڕەکە ڕادەگەیەنرێت.
وەرگێڕانی ئەم لاپەڕەیە بۆ ئاسانکاری دابین کراوە و بە ئامێری دروست کراوە. کاتێک وەرگێڕان و وەرگێڕانی ئینگلیزی جیاوازن، وەرگێڕانی ئینگلیزی سەرکردایەتی دەکات.
پرسیار: پەیوەندیمان پێبکە.