Postavite cilj.
Sudija odluči kad je to učinjeno.

-Sudija je propisao dokaze, a ne tko je zvučao sigurnije.

Pokreni poklapanje
Dokaz matematičkog zahtjeva? theorem.chat pokreće isti panel i zatim formalizira rezultat u Lean protiv Mathlib, gdje jezgra odluči.
Dokazi, ne mišljenja

Every seat searches the literature on arXiv, OpenAlex, Crossref and Europe PMC, reads the sources, and runs Python to check arithmetic instead of asserting it. A claim with nothing re-checkable behind it cannot settle a criterion.

Zaglavio je potez, a ne neuspjeh.

Kada sjedalo udari u zid, zaustavlja se i stavlja jedno posebno pitanje na koje je mjesto najbolje za odgovor — samo s tim pitanjem, ne cijelu povijest. Jeftiniji nego dopustiti modelu tush, i obično odblokira.

Dugi ciljevi preživljavaju

Sve se utvrđuje u zajedničkoj knjizi, tako da ništa nije ponovno izvedeno i ništa se ne zaboravlja. Uklapa se i nastavi bez gubitka posla – zatvori karticu i vrati se sutra.