Hva panelet kan gjøre

Hvert sete - inkludert referanse - får samme verktøy. referansen må kunne sjekke krav, ikke bare veie opp hva det ble påpekt.

Litteratursøk

arXiv, OpenAlex, Crossref, Europe PMC og Semantic Scholar — primærkildene, ikke bloggre- omarbeidinger av dem. Matematikk, fysikk, CS, biologi, medisin, økonomi.

Seter får beskjed om å sjekke hva som allerede er bevist før de forsøker det selv, fordi re-avstå et kjent resultat kaster bort pengene dine.

Nettforskning

Selvvært søk med ekte område begrensning - be om arxiv.org og du får arxiv.org, ikke hva motoren følte for å komme tilbake.

Sider hentes og leses, så en sitering kan sitere passasjen den faktisk er avhengig av.

Sandkassekode

Python med sympy, mpmath og numpy, så et sete kan sjekke en grense, søke etter et moteksempel eller verifisere et algebraisk steg i stedet for å hævde det.

Kjører uten nettverkstilgang, med prosessor/ minne- koblet sammen.

Matematikk går ved siden av.

Dette stedet gjør opp empiriske krav, der bevisene er en kilde eller måling. Et teorem er ikke det: det trenger et bevisbegrep som en kjerne aksepterer, ikke et velargumentt tilfelle.

Så matematiske mål tilhører vår søsken side, som kjører samme panel og deretter sjekker resultatet i Lean 4 mot Mathlib. theorem.chat

Utjevne i stedet for å gjette

Hvert sete kan også stoppe og be om hjelp. En fast modell gir normalt et annet avsnitt som omarbeider det siste – til full pris. Her navngir den det ene spørsmålet som blokkerer det og gir det det som er best å svare på, sammen med det den allerede har prøvd. Eksperten får spørsmålet og de relevante etablerte resultatene, ikke argumentet som ga dødsforvaring, så det blir satt mindre kostnader enn krangel.

Og referansens egne verktøy

Regel om et kriterium, legg til et mål som betyr, rett neste runde, eller avslutt kampen. Et kriterium kan ikke markeres uten dokumentasjon på at en tredjepart kan sjekke på nytt – en henvisning med den oppgitte passagen, eller en beregning med dens virkelige utdata. Dette avslaget blir håndhevet i kode, ikke bedt om høflig i en hurtighet.