X’jista’ jagħmel il-bord fil-fatt

Kull post — inkluż ir-referì — jingħata l-istess għodod. Ir-referì jrid ikun jista’ jiċċekkja pretensjoni, mhux biss jiżen kif ġiet argumentata.

Tiftix fil-letteratura

arXiv, OpenAlex, Crossref, Europe PMC u Semantic Scholar — is-sorsi primarji, mhux blog restatements tagħhom.Matematika, fiżika, CS, bijoloġija, mediċina, ekonomija.

Is-sedili huma mitluba biex jiċċekkjaw dak li huwa diġà ppruvat qabel ma jippruvaw lilhom infushom, minħabba li jerġgħu jirriżultaw riżultat magħruf jaħli l-flus tiegħek.

Riċerka fuq il-web

Self-hosted tfittxija b'restrizzjoni sit reali — titlob għal arxiv.org u inti tikseb arxiv.org, mhux dak li l-magna ħass bħal ritorn.

Il-paġni jinġabru u jinqraw, u għalhekk ċitazzjoni tista' tikkwota l-passaġġ li fil-fatt tiddependi fuqu.

Kodiċi sandboxed

Python ma sympy, mpmath u numpy, sabiex sedil jistgħu jiċċekkjaw marbuta, tfittxija għal counterexample jew jivverifikaw pass algebraic minflok ma jaffermaw dan.

Runs bl-ebda aċċess għan-netwerk, CPU limitati u memorja.

Matematika tmur bieb li jmiss

Teorema mhijiex dik: teħtieġ prova li l-kernel jaċċetta, mhux każ argumentat tajjeb, u għalhekk ma tistax tkun verifikata b'mod empiriku, iżda tista' tkun verifikata b'mod empiriku biss jekk il-prova tkun verifikata b'mod empiriku.

Għalhekk għanijiet matematiċi jappartjenu fuq is-sit sibling tagħna, li timxi l-istess panel u mbagħad tiċċekkja r-riżultat fil Lean 4 kontra Mathlib. theorem.chat

Escalating minflok guessing

Kull sedil jista’ wkoll jieqaf u jitlob għall-għajnuna. Mudell imwaħħal normalment jipproduċi paragrafu ieħor li jerġa’ jfakkar l-aħħar wieħed — bi prezz sħiħ. Hawnhekk huwa jsemmi l-mistoqsija waħda li timblokkaha u jagħtiha lil kull sedil li jkun l-aħjar li jwieġeb, flimkien ma’ dak li diġà ppruvaw. L-espert jikseb il-mistoqsija u r-riżultati stabbiliti rilevanti, mhux l-argument li pproduċa l-impasse, għalhekk li tkun imwaħħal jiswa inqas milli tiġġudika.

U l-għodod tar-referee stess

Ir-regola fuq kriterju, żid wieħed li l-għan jimplika, iddawwar ir-rawnd li jmiss, jew għeluq il-logħba. Kriterju ma jistax jiġi mmarkat li ntlaħaq mingħajr evidenza li parti terza tista' tiċċekkja mill-ġdid — ċitazzjoni bil-passaġġ ikkwotat, jew kalkolu bl-output reali tiegħu. Dak ir-rifjut huwa infurzat fil-kodiċi, mhux mitlub politement f'prompt.