Mit tehet a panel?

Minden ülés, beleértve a bírót is, ugyanazt az eszközt kapja, a bírónak képesnek kell lennie ellenőrizni a követelést, nem csak azt, hogy hogyan érvelt.

Irodalomkeresés

arXiv, OpenAlex, Crossref, Europe PMC és Semantic Scholar · az elsődleges források, nem blog újrafogalmazása őket. Matematika, fizika, CS, biológia, orvostudomány, közgazdaságtan.

Az üléseknek azt kell ellenőrizniük, hogy mit bizonyítanak be, mielőtt maguk megpróbálnák, mert egy ismert eredmény újradiválása elvesztegeti a pénzüket.

Webes kutatás

Önálló keresés valós webhely korlátozás • kérje arxiv.org és kap arxiv.org, nem bármit, amit a motor úgy érezte, hogy visszatér.

Az oldalakat lehozzák és elolvassák, így egy idézés idézheti azt a részt, amire valójában támaszkodik.

Homokozós kód

Python szimpiával, mpmath-tal és numpy-val, így az ülés le tudja ellenőrizni a kötöttséget, ellenpéldát keres, vagy az algebrai lépést ellenőrzi ahelyett, hogy azt érvényesítené.

Hálózati hozzáférés, csúcs CPU és memória nélkül fut.

A matematika a szomszédban van.

Ez a webhely rendezi az empirikus állításokat, ahol a bizonyíték forrás vagy mérés. A tétel nem az: kell egy bizonyíték kifejezés a kernel elfogadja, nem egy jól vitatott eset.

Tehát matematikai célok tartoznak a testvéri oldalunkon, amely ugyanazt a panelt futtatja, majd ellenőrzi az eredményt Lean 4 ellen Mathlib. theorem.chat

Kitalálás helyett kockára teszi

Minden ülés megállhat és segítséget kérhet. A beragadt modell általában egy másik bekezdést is előállít, amely az utolsót teljes áron újra megismétli. Itt az egyetlen kérdést, amely blokkolja és a kézbe veszi, hogy melyik helyet a legjobb válaszolni, valamint azt, amit már megpróbált. A szakértő megkapja a kérdést és a vonatkozó eredményeket, nem pedig azt az érvet, amely a patthelyzetet okozta, így a megakadt költségek kevesebb, mint a vita.

És a bíró saját szerszámai

A kritériumra vonatkozó szabály, a cél hozzáadása, a következő kör irányítása vagy a mérkőzés befejezése. Egy kritérium nem lehet bizonyítani, hogy egy harmadik fél újra ellenőrizhetné a ^ egy idézést a idézett szakaszból, vagy a tényleges kimenetet. Ezt az elutasítást kódba kell hajtani, nem kérve udvariasan egy gyors.