Hvað spjaldið getur í raun gert

Hver sæti - þar á meðal dómara - fær sömu verkfæri.Dómarinn verður að vera fær um að athuga kröfu, ekki aðeins vega hvernig það var rökstutt.

Bókmenntaleit

arXiv, OpenAlex, Crossref, Europe PMC og Semantic Scholar — aðal heimildir, ekki blog endurtekningar þeirra.Stærðfræði, eðlisfræði, CS, líffræði, læknisfræði, hagfræði.

Sæti eru sagt að athuga hvað er þegar sannað áður en að reyna það sjálfir, vegna þess að endurheimta þekkt niðurstaða sóar peningum þínum.

Vefrannsóknir

Sjálfstýrð leit með raunverulegum takmörkunum á vefsvæði - biðja um arxiv.org og þú færð arxiv.org, ekki hvað sem vélin fannst eins og að koma aftur.

Síður eru sóttar og lesnar, þannig að tilvitnun getur vitnað í þá leið sem hún byggist á.

Sandkassi kóði

Python með sympy, mpmath og numpy, þannig að sæti getur athugað takmörk, leitað að mótdæmi eða staðfest algebraískt skref í stað þess að fullyrða það.

Keyrir án nettengingar, takmarkað CPU og minni.

Stærðfræði fer við hliðina

Þessi síða fjallar um reynslubundnar fullyrðingar, þar sem sönnunargögn eru uppspretta eða mæling. Setning er ekki það: hún þarfnast sönnunargildis sem kjarninn samþykkir, ekki vel rökstudds máls.

Svo stærðfræðileg markmið tilheyra systursíðu okkar, sem keyrir sama spjaldið og athugar síðan niðurstöðuna í Lean 4 gegn Mathlib. theorem.chat

Escaling í stað þess að giska

Hvert sæti getur einnig stoppað og beðið um hjálp. Föst líkan framleiðir venjulega aðra málsgrein sem endurtekur síðasta — á fullu verði. Hér nefnir það eina spurninguna sem lokar því og sendir það til þess sætis sem er best til að svara, ásamt því sem það hefur þegar reynt. Sérfræðingurinn fær spurninguna og viðeigandi staðfestar niðurstöður, ekki röksemdina sem framleiddi blindgötuna, þannig að vera fastur kostar minna en að rífast.

Og eigin verkfæri dómara

Regla á grundvelli viðmiðunar, bæta við viðmiðun sem markmiðin fela í sér, stjórna næstu umferð eða ljúka leiknum. Ekki er hægt að merkja viðmiðun sem uppfyllta án þess að þriðji aðili geti endurskoðað hana - tilvitnun með tilvitnuðu kaflanum, eða útreikning með raunverulegri útkomu. Þessi synjun er framfylgt í kóða, ekki beðið um það kurteislega í kveikju.