Hvad panelet kan gøre

Hvert sæde! herunder dommeren ! får de samme værktøjer. Dommeren skal være i stand til at kontrollere en fordring, ikke bare veje, hvordan det blev fremført.

Litteratursøgning

arXiv, OpenAlex, Crossref, Europe PMC og Semantic Scholar • de primære kilder, ikke bloggen gentagelser af dem. Matematik, fysik, CS, biologi, medicin, økonomi.

Pladserne skal kontrollere, hvad der allerede er bevist, før de selv forsøger det, fordi genudførelse af et kendt resultat spilder dine penge.

Webforskning

Selv-hostet søgning med reelle websted begrænsning ! bede om arxiv.org og du får arxiv.org, ikke hvad motoren følte som vender tilbage.

Sider hentes og læses, så en henvisning kan citere den passage, den faktisk er afhængig af.

Kode i sandkasse

Python med sympy, mpmath og numpy, så en plads kan kontrollere en bundet, søge efter en counterexample eller verificere en algebraisk skridt i stedet for at hævde det.

Kører uden netværksadgang, lukket CPU og hukommelse.

Matematik går ind ved siden af

Dette site afregner empiriske krav, hvor beviserne er en kilde eller en måling. En sætning er ikke, at: det har brug for et bevis sigt en kerne accepterer, ikke en velargumenteret sag.

Så matematiske mål hører til på vores søskende site, som kører det samme panel og derefter kontrollerer resultatet i Lean 4 mod Mathlib. theorem.chat

Eskalering i stedet for at gætte

Hvert sæde kan også stoppe og bede om hjælp. En fast model normalt producerer et andet afsnit omhvile den sidste til fuld pris. Her det navngives det enkelte spørgsmål blokerer det og hænder, at til hvilken sæde er bedst placeret til at besvare, sammen med hvad det allerede har forsøgt. Eksperten får spørgsmålet og de relevante etablerede resultater, ikke argumentet, der produceret dødvandet, så at sidde fast koster mindre end argumenter.

Dommerens egne værktøjer.

Regel om et kriterium, tilføje en målet indebærer, direkte næste runde, eller afslutte kampen. Et kriterium kan ikke markeres uden bevis en tredjepart kunne re-check • en henvisning med passagen citeret, eller en beregning med sin reelle output. At afslag håndhæves i kode, ikke bedt om høfligt i en prompt.