Vad panelen faktiskt kan göra

Varje säte — inklusive domaren — får samma verktyg, och domaren måste kunna kontrollera ett anspråk, inte bara väga hur det hävdades.

Litteratursökning

arXiv, OpenAlex, Crossref, Europe PMC och Semantic Scholar – de primära källorna, inte bloggredigeringar av dem. Maths, fysik, CS, biologi, medicin, ekonomi.

Man säger åt sina platser att kontrollera vad som redan bevisats innan de själva försöker, eftersom det är slöseri med pengar att återbevara ett känt resultat.

Webbforskning

Själv-värdig sökning med verkliga webbplats begränsning — be om arxiv.org och du får arxiv.org, inte vad motorn kände för att återvända.

Sidor hämtas och läses, så en citering kan citera det avsnitt som den faktiskt förlitar sig på.

Sandlåda

Python med sympy, mpmath och numpy, så en plats kan kontrollera en bunden, söka efter ett motexempel eller verifiera en algebraic steg i stället för att hävda det.

Körs utan nätverksåtkomst, kapad CPU och minne.

Matematik går till grannen

Denna webbplats avgör empiriska påståenden, där bevisen är en källa eller en mätning. Ett teorem är inte det: det behöver en bevisbegrepp en kärna accepterar, inte ett välargumenterat fall.

Så matematiska mål hör hemma på vår syskonsida, som kör samma panel och sedan kontrollerar resultatet i Lean 4 mot Mathlib. theorem.chat

Att eskalera istället för att gissa

Varje sittplats kan också stanna och be om hjälp. En fast modell producerar normalt en annan punkt som upprepar den sista – till fullt pris. Här namnger den enda frågan som blockerar den och händer att till vilken sittplats som helst är bäst lämpad att svara, tillsammans med vad den redan försökt. Experten får frågan och relevanta etablerade resultat, inte argumentet som skapade dödläget, så att fastna kostar mindre än att argumentera.

Och domarens egna verktyg

Regel på ett kriterium, lägga till ett mål innebär, rikta nästa runda, eller avsluta matchen. Ett kriterium kan inte markeras utan bevis en tredje part kunde kontrollera - en hänvisning med den citerade passagen, eller en beräkning med dess verkliga utdata. Denna vägran upprätthålls i kod, inte be artigt i en snabb.