Sätt upp målet.
En domare bestämmer när det är klart.

En domare har regler om bevis, inte vem som lät säkrare.

Starta en matchning
Bevisar du ett matematiskt påstående? theorem.chat kör samma panel och formaliserar sedan resultatet i Lean mot Mathlib, där kärnan bestämmer.
Bevis, inte åsikter

Varje säte söker igenom litteraturen på arXiv, OpenAlex, Crossref och Europe PMC, läser källorna, och kör Python för att kontrollera aritmetisk istället för att hävda det. Ett påstående utan något som kan kontrolleras på nytt bakom det kan inte avgöra ett kriterium.

Stuck är ett drag, inte ett misslyckande

När en stol träffar en vägg stannar den och ger en specifik fråga till vilken plats som helst som är bäst lämpad att svara på den — med just den frågan, inte hela historien. Billigare än att låta en modell thrash, och det brukar brytas.

Långa mål överlever

Allt som etablerats går i en gemensam liggare, så ingenting är åter härledd och ingenting glöms bort. Matchar paus och återupptar utan att förlora jobbet – stäng notan och kom tillbaka imorgon.