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