څۀ چې چوکاټ په رښتيا کې کولای شي

arXiv، OpenAlex، Crossref، Europe PMC او Semantic Scholar - لومړني سرچینې، نه د دوی بلاګ بیا کتنه. ریاضي، فزیک، CS، بیولوژي، درمل، اقتصاد.

د څوکیو ویل کیږي چې د دې هڅې کولو دمخه چی دا په خپله ثابته کړي چی دا چی دا دمخه ثابته شوې ده، ځکه چې د یو پیژندل شوي پایلې بیا رامینځته کول ستاسو پیسې ضایع کوي.

د ریښتیني سایټ محدودیت سره د ځان کوربه لټون - د arxiv.org لپاره وغواړئ او تاسو arxiv.org ترلاسه کوئ، نه هر هغه څه چې انجن د بیرته راستنیدو په څیر احساس کوي.

مخونه ترلاسه کیږي او لوستل کیږي، نو یو حواله کولی شي هغه برخه نقل کړي چې په حقیقت کې په هغه تکیه کوي.

Python سره sympy، mpmath او numpy، نو د یوه څوکۍ کولای شي چې د يو bound چک، د يو counterexample لپاره لټون يا د يو algebraic ګام د تایید پر ځای د دې د ادعا.

د شبکې د لاسرسي سره نه چلوي، capped CPU او حافظه.

دا سایټ تجربوي ادعاوې حل کوي، چیرې چې شواهد یو سرچینه یا اندازه ده. یو تیورم دا نه دی: دا د ثبوت اصطلاح ته اړتیا لري چې یو کارنیل منلو ته اړتیا لري، نه یو ښه استدلال شوی قضیه.

نو د ریاضیاتو موخې زموږ د وروڼو په سایټ کې دي، کوم چې ورته پینل چلوي او بیا په Lean 4 کې د Mathlib په وړاندې پایله چک کوي. theorem.chat