Ýol
Bir hakem neçe wagt tamamlanjakdygyny kesgitleýär.

Modeller bu barada gürleşýärler. Reýder delillere esaslanyp karar berýär, kimiň has dogry sözlänine däl.

Bir meçni başla
Matematiki bir sözi subut etmekçimi? theorem.chat şol bir paneli işledýär we soňra netijäni Lean bilen Mathlib-a garşy resmileşdirýär, bu ýerde kernel karar berýär.
Ýörelgeler

Her bir oturdyş arXiv, OpenAlex, Crossref we Europe PMC barada edebiýat gözleýär, çeşmeleri okaýar, we Pythony aritmetikany barlamak üçin işledýär. Bir söz arkasynda hiç zat barlaňmazsa bir şerti çözmek mümkin däl.

Gaplamak bir hereketdir, bir hata däl

Bir oturdyş diwary çaksa duryar we bir belli soragny jogap bermek üçin iň gowy ýere ýerleşdiren oturdyşa berer - diňe şol sorag bilen, ähli geçmişi däl. Bir modelin öçüp gitmesine izin bermekden has gymmat, we arada bloklanmagy açýar.

Uzak gollar gaýd eder

Her bir zat bir paýlaşylan kitapçada gidýär, şonuň üçin hiç zat täzeden alnanok we hiç zat unudylmaýar. Görüşmeler iş ýitirmezden wagtlaýyn durdurylyp dowam etdirilýär - täbi bagla we ertir gaýt.