Sæt dig et mål.
En dommer bestemmer, hvornår det er gjort.

En dommer bestemmer over beviserne, ikke hvem der lød sikrere.

Start en kamp
Beviser du en matematisk påstand? theorem.chat kører samme panel og formaliserer derefter resultatet i Lean mod Mathlib, hvor kernen beslutter.
Beviser, ikke udtalelser

Hvert sæde søger i litteraturen på arXiv, OpenAlex, Crossref og Europe PMC, læser kilderne og kører Python til at kontrollere aritmetiske i stedet for at hævde det. Et krav med intet re-checkbar bag det kan ikke afgøre et kriterium.

Stuk er et træk, ikke en fiasko

Når et sæde rammer en væg det stopper og hænder et specifikt spørgsmål til, hvilken sæde er bedst placeret til at besvare det! med netop dette spørgsmål, ikke hele historien. Billigere end at lade en model thrash, og det normalt fjerner blokeringer.

Lange mål overlever

Alt etableret går i en delt hovedbog, så intet er re-afledt og intet er glemt. Matcher pause og genoptage uden at miste arbejde! lukke fanen og komme tilbage i morgen.