ပင်မမျက်နှာပြင်က တကယ်လုပ်နိုင်တာ

အားလုံးအခန်းကဏ္ဍ - အပါအဝင်အဆုံးသတ် - အလားတူ tools တွေကိုရ. အဆုံးသတ်တစ်ဦးတောင်းဆိုချက်ကိုစစ်ဆေးနိုင်ဖို့ရှိပါတယ်, ဒါဟာငြင်းခုံခဲ့သည်ဘယ်လိုသာမန်မဟုတ်.

စာပေရှာဖွေရေး

arXiv, OpenAlex, Crossref, Europe PMC နှင့် Semantic Scholar — အဓိကရင်းမြစ်များ, သူတို့ရဲ့ဘလော့ဂ် restatements မဟုတ်. သင်္ချာ, ရူပဗေဒ, CS, ဇီဝဗေဒ, ဆေးဝါး, စီးပွားရေး.

နေရာထိုင်ခုံများသူတို့ကိုယ်သူတို့ကြိုးစားရန်မတိုင်မီယခင်ကသက်သေပြထားသည်ကိုစစ်ဆေးဖို့ပြောဆိုကြသည်, အကြောင်းကို re-deriving အသိအမှတ်ပြုရလဒ်ကိုသင့်ရဲ့ငွေကိုစွန့်ပစ်.

Web လေ့လာမှု

တကယ့် site စည်းကမ်းချက်နှင့်အတူ Self-hosted ရှာဖွေရေး - arxiv.org အတွက်မေးမြန်းနှင့်သင် arxiv.org ရ, မဘာမှအင်ဂျင်ပြန်လာလိုခံစားရ.

စာမျက်နှာများ fetched နှင့်ဖတ်ရှုကြသည်, ဒါကြောင့်အရည်အသွေးတစ်ခုက၎င်း၏အမှန်တကယ်အပေါ်အခြေခံပြီး passage ကို quote နိုင်ပါတယ်.

သဲခွက်ထဲတွင် ထည့်ထားသော ကော်ဒယ်

sympy, mpmath နှင့် numpy နှင့်အတူ Python, ဒါကြောင့်တစ်နေရာတစ်ဘောင်စစ်ဆေးနိုင်ပါတယ်, counterexample ရှာဖွေသို့မဟုတ် asserting အစား algebraic ခြေလှမ်းကိုစစ်ဆေး။

network access မရှိဘဲ runs, capped CPU နှင့်မှတ်ဉာဏ်။

သင်္ ချာဟာ နောက်ထပ်တံခါးဆီသွားတယ်။

ဤ site ကို empirical တောင်းဆိုမှုများကို settles, အဘယ်မှာအထောက်အထားတစ်ခုအရင်းအမြစ်သို့မဟုတ်တစ်ဦးတိုင်းတာခြင်းဖြစ်ပါသည်. တစ်ဦးသိပ္ပံနည်းကျဖြစ်ရပ်တစ်ခုမဟုတ်ပါဘူး: ၎င်းသည်တစ်ဦး kernel ကိုလက်ခံရရှိသောသက်သေပြကာလလိုအပ်ပါတယ်, မကောင်းတဲ့ကောင်းစွာ-ငြင်းဆိုမှုဖြစ်ရပ်မဟုတ်.

ဒါကြောင့်သင်္ချာရည်မှန်းချက်ကျွန်တော်တို့ရဲ့ညီအစ်ကို site ပေါ်တွင်ပိုင်ဆိုင်, တူညီ panel ကို run ပြီးမှရလဒ်ကိုစစ်ဆေး Lean 4 ဆန့်ကျင် Mathlib. theorem.chat

ခန့်မှန်းခြင်းအစား တိုးပွားလာခြင်း

ဤတွင်၎င်းသည်တစ်ခုတည်းသောမေးခွန်းကို blocking နှင့်အဘယ်သူမျှမနေရာထိုင်ခင်းဖြေဆိုရန်အကောင်းဆုံးနေရာချထားသည်ကိုလက်ကိုနာမည်ပေး, အတူတူပင်အခုတော့ကြိုးစားခဲ့ဘာကို. အထူးပြုမေးခွန်းနှင့်သက်ဆိုင်သောတည်ထောင်ရလဒ်များကိုရ, မရအကျပ်အတည်းထုတ်လုပ်သောငြင်းခုံမှု, ထိုသို့အငြင်းပွားမှုထက်နည်းပါးသောကုန်ကျစရိတ်ကို stuck ဖြစ်နေ.

ပြီးရင် ဆုံးဖြတ်သူရဲ့ ကိရိယာတွေ

စည်းမျဉ်းစည်းကမ်းအပေါ်စည်းမျဉ်း, တစ်ဦးကို add ရည်မှန်းချက်ဆိုလိုသည်မှာ, နောက်တစ်ခေါက်ကိုညွှန်ကြား, သို့မဟုတ်ပွဲစဉ်ကိုရပ်တန့်. စည်းမျဉ်းစည်းကမ်းကိုတတိယပါတီတစ်ဦး re-စစ်ဆေးနိုင်ခဲ့ကြောင်းသက်သေအထောက်အထားမရှိဘဲတွေ့ဆုံမဆိုအမှတ်မပြုနိုင် - ဖော်ပြထားသော passage နှင့်အတူအသံထွက်, သို့မဟုတ်၎င်း၏အမှန်တကယ် output ကိုနှင့်အတူတွက်ချက်မှု. ငြင်းပယ်မှုကကုဒ်တွင်ကျင့်သုံးသည်, prompt ကိုတွင်ရိုးသားစွာအတွက်မမေး.