ဝန်ဆောင်မှု၏စည်းကမ်းချက်များ
1. ဝန်ဆောင်မှုလုပ်နေတာဘာလဲ
သင်ကတောင်းဆိုချက်နှင့်စံနှုန်းတင်သွင်း. ကျနော်တို့သင်ရွေးချယ် AI ကိုမော်ဒယ်များ၏ panel ကိုတစ်ဦးအပြီး run, plus ကိုလက်ခံရရှိစံချိန်စံညွှန်းများအပေါ်စည်းမျဉ်းစည်းကမ်းများတစ်ဦးအကဲဖြတ်မော်ဒယ်, နှင့်ကျနော်တို့ Lean 4 တွင်ရလဒ်ကို formalise ကြိုးစား Mathlib အပေါ်. ထုတ်လုပ်မှု transcript တစ်ခုဖြစ်ပါသည်, ဆုံးဖြတ်ချက်တစ်စုံတစ်ဦး, ဆုံးဖြတ်ချက်, နှင့် formalization စမ်းသပ်ခဲ့သည်နေရာ, the Lean result.
2. output ကိုဖြစ်ပါတယ်နှင့်မဟုတ်ပါဘူးဘာလဲ
ထုတ်လုပ်မှုတတိယပါတီ AI ပုံစံများအားဖြင့်ထုတ်လုပ်သည်နှင့်အကြံပြုချက်မဟုတ်ပါ. ဒါဟာဥပဒေမဟုတ်ပါဘူး, ဆေးဘက်ဆိုင်ရာ, ငွေကြေး, အင်ဂျင်နီယာသို့မဟုတ်မည်သည့်အမျိုးအစား၏ပရော်ဖက်ရှင်နယ်အကြံပေးချက်, နှင့်အဘယ်သူမျှမပရော်ဖက်ရှင်နယ်ဆက်ဆံရေးကိုအသုံးပြုခြင်းအားဖြင့်ဤဝန်ဆောင်မှုဖန်တီးထားသည်။
အဆိုပါအကဲဖြတ်သူတစ်ဦးစံချိန်စံညွှန်းကိုတွေ့ဆုံစည်းမျဉ်းစည်းကမ်းကိုဆုံးဖြတ်ချက်သည်ထို match တွင်မှတ်တမ်းတင်အထောက်အထားအကြောင်းကိုကြေညာချက်ဖြစ်ပါသည်. ဒါဟာမှန်ကန်မှု၏အာမခံချက်မဟုတ်ပါဘူး. AI ကိုမော်ဒယ်များအမှားလုပ်, misread အရင်းအမြစ်များ, နှင့်မညွှန်ကြားချက်ရှိသော်လည်းအသံထွက်ဖန်တီးနိုင်. သင်သည်သင်၏အကြံပြုချက်ကို အခြေခံ၍ မည်သည့်အရာကိုမဆို လွတ်လပ်စွာစစ်ဆေးသင့်သည်။, အထူးသဖြင့်ဒါကိုထုတ်ဝေမတိုင်မီ, ဒါကိုတင်သွင်း, သို့မဟုတ်ဒါအပေါ်အမှုဆောင်. ဤသည်ဖိအား-စမ်းသပ်အလုပ်အတွက် tool ကိုဖြစ်ပါသည်, အသိအမှတ်ပြုလူသားပြန်လည်သုံးသပ်ဖို့အစားထိုးမဟုတ်.
အောင်မြင်သော Lean formalization ဆိုတာ Lean kernel ကို formalized ခဲ့ကြောင်းကြေညာချက်၏သက်သေခံလက်ခံရရှိ, ထိုအချိန်တွင်အသုံးပြုမှုအတွက် Mathlib ၏ဗားရှင်းကိုဆန့်ကျင်. ဒါဟာကြေညာချက်ကိုသင်မေးခဲ့တယ်ဘာကိုယုံကြည်စိတ်ချရသောဘာသာပြန်ဆိုဖြစ်ပါတယ်ဆိုလိုခြင်းမဟုတ်ပါ, နှင့်သင်ဆိုလိုတာဘာကိုမပြောပါဘူးတဲ့တရားဝင်ကြေညာချက်ကိုရွေးချယ်ခြင်းသည်အများဆုံးလူကြိုက်များနည်းလမ်းတစ်ခုတရားဝင်ရလဒ် misleads ဖြစ်ပါတယ်။ တရားဝင်ကြေညာချက်ကိုဖတ်ရှု, ဆုံးဖြတ်ချက်သာမဟုတ်.
3. သင့်ရဲ့အကြောင်းအရာ
သင်သည်သင်၏တင်သွင်းမှုစီမံခန့်ခွဲရန်လိုအပ်သောလိုင်စင်ကိုသာကျွန်တော်တို့ကိုပေးအပ်: သင့်ရဲ့တင်သွင်းမှုစီမံခန့်ခွဲရန်, သင်ရွေးချယ်ထားတဲ့မော်ဒယ်ပေးသွင်းသူတွေကိုပေးပို့, နှင့်ရလဒ်ကိုသိမ်းဆည်း match ဒါကြောင့်သင်ကပြန်လာနိုင်ပါတယ်.
Matches များမှာ default အားဖြင့်ပုဂ္ဂလိကဖြစ်ကြသည်။ သင်ကအမှတ် match အများပြည်သူလျှင်၎င်းသည် link ကိုနှင့်အတူမည်သူမဆိုမြင်နိုင်ဖြစ်လာပြီးကျွန်ုပ်တို့၏အများပြည်သူ gallery တွင်ပေါ်လာနိုင်သည်။ တစ်ခုခုကိုလျှို့ဝှက်ပါဝင်သော match ကိုထုတ်ဝေမလုပ်ပါ.
အခြားသူများအကြောင်းကိုပုဂ္ဂိုလ်ရေးဆိုင်ရာအချက်အလက်များ, သင်မျှဝေဖို့အခွင့်အရေးမရှိသောလျှို့ဝှက်ပစ္စည်းများ, သို့မဟုတ်တရားမဝင် content ကိုတင်သွင်းမထားပါ။
4. Credits နှင့် bill ပေးသွင်းခြင်း
Credit ကို prepaid ဖြစ်ပြီး matches အဖြစ် run စားသုံးသည်။ အားလုံး match သင်သတ်မှတ်ထားသည့်ကုန်ကျစရိတ်အကနင်းရှိသည်။ ကုန်ကျစရိတ်ကိုဆက်လက်မသုံးစွဲရန်ထက် match ကိုရပ်တန့်စေသည်။ ငွေကြေးလွှဲပြောင်းနိုင်ခြင်းမရှိပါ၊ ဥပဒေအရလိုအပ်သည့်နေရာများမှလွဲ၍ တစ်ကြိမ်သုံးစွဲပြီးနောက်ပြန်လည်ပေးချေခြင်းမရှိပါ။ မသုံးစွဲသော credit သည်တောင်းဆိုချက်အပေါ်ပြန်လည်ပေးချေနိုင်သည်။
သင်သည်သင်၏ကိုယ်ပိုင် inference key ကိုချိတ်ဆက်လျှင်, သင်သည်သင်၏ provider ကိုတိုက်ရိုက်ပေးဆောင်နှင့်ကျွန်တော်တို့ဟာ per-token နှုန်းထားမရှိ bill. ကျော်ပြောဆိုအခမဲ့ထောက်ပံ့ငွေတစ်ဦးအခြေခံအဆောက်အအုံအခကြေးငွေ panel ကို running ကိုဖုံးလွှမ်းဖို့သက်ဆိုင်, tools များနှင့်သိုလှောင်မှု.
ကျနော်တို့အသိပေးချက်နှင့်အတူစျေးနှုန်းများပြောင်းလဲနိုင်ပါတယ်. ပြောင်းလဲမှုများကယခင်ကဝယ်ယူထားငွေပေးချေမှုမှမဆိုသက်ရောက်မှုမရှိ.
5. လက်ခံနိုင်သောအသုံးပြုမှု
အခြားသူများကိုထိခိုက်စေသော content ကိုထုတ်လုပ်ရန်ဝန်ဆောင်မှုကိုမသုံးပါ, ကျွန်တော်တို့ရဲ့ prompts များကိုသို့မဟုတ်စနစ်ညွှန်ကြားချက်များကို extract လုပ်ဖို့ကြိုးစားရန်, ကုန်ကျစရိတ်သို့မဟုတ်နှုန်းထားအကနင်းကိုကျော်လွှားရန်, သို့မဟုတ်စာရေးသားသဘောတူညီချက်မရှိဘဲ access ကို resell.
6. ရရှိနိုင်မှု
ကျွန်တော်တို့ဟာတတိယပါတီမော်ဒယ်ပေးသွင်းအပေါ်မူတည်. Providers down ကိုသွား, မော်ဒယ်များပြောင်းလဲ, နှင့်သူတို့ကို deprecate. တစ် match မည်သည့်အကြောင်းပြချက်အတွက်ကြားဖြတ်ရပ်နားခြင်းနှင့် resumable ဖြစ်ပါတယ်; ကျွန်တော်တို့ဟာဖြစ်ပျက်မခဲ့သောအလုပ်အတွက်ခမျာမပေးဆောင်. ကျွန်တော်တို့ဟာဆက်လက်ရရှိနိုင်အာမခံမပေး, နှင့်သင်ကယခင်ကအသုံးပြုခဲ့သောမော်ဒယ်တစ်ခုရရှိနိုင်ဖြစ်လာနိုင်ပါတယ်.
7. တာဝန်
ဥပဒေအရခွင့်ပြုထားသောအပြည့်အဝအကွာအဝေး, ဝန်ဆောင်မှုမည်သည့်အမျိုးအစား၏အာမခံချက်မရှိဘဲဖြစ်ပါတယ်အဖြစ်ပေးအပ်သည်. မည်သည့်တောင်းဆိုမှုများအတွက်ကျွန်တော်တို့ရဲ့စုစုပေါင်းတာဝန်ဝတ္တရားကိုသင်ကတောင်းဆိုမှုပေါ်ပေါက်လာမတိုင်မီသုံးလအတွင်းကျွန်တော်တို့ကိုပေးဆောင်ငွေပမာဏကိုကန့်သတ်ထားသည်. ကျနော်တို့မဆိုမတိုက်ရိုက်သို့မဟုတ်ဆက်စပ်ဆုံးရှုံးမှုအတွက်တာဝန်ရှိကြဘူး, မော်ဒယ် output ကိုအပေါ်အလွဲသုံးစားမှုမှပေါ်ပေါက်လာသောမည်သည့်ဆုံးရှုံးမှုအပါအဝင်.
ရပ်ဆိုင်းခြင်း
သင်သည်သင်၏အကောင့်ကိုမည်သည့်အချိန်တွင်ပိတ်နိုင်ပါတယ်; ကျနော်တို့အသုံးပြုခြင်းမရှိသေးတဲ့ခရက်ဒစ်ပြန်ပေးလိမ့်မည်။ ကျနော်တို့ဒီစည်းမျဉ်းစည်းကမ်းတွေကိုချိုးဖောက်သို့မဟုတ်အန္တရာယ်ရှိသောဝန်ဆောင်မှုထည့်သွင်းသောအကောင့်များကိုရပ်ဆိုင်းနိုင်သည်။
9. ပြောင်းလဲမှုများ, ဘာသာစကားနှင့်ဆက်သွယ်
ကျနော်တို့ဒီစည်းကမ်းချက်များကို update လုပ်နိုင်ပါတယ်; ပစ္စည်းအပြောင်းအလဲများကို site ပေါ်တွင်ကြေညာလိမ့်မည်။
ဒီစာမျက်နှာ၏ဘာသာပြန်ဆိုမှုအဆင်ပြေအတွက်ပေးအပ်ကြပြီးစက်-ထုတ်လုပ်နေကြသည်. ဘာသာပြန်ချက်နှင့်အင်္ဂလိပ်ဘာသာပြန်ချက်ကွဲပြားခြားနားသောနေရာတွင်, အင်္ဂလိပ်ဘာသာပြန်ချက်အုပ်ချုပ်.
မေးခွန်းများ: ကျွန်တော်တို့ကိုဆက်သွယ်ပါ.