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

Models argue it out. A referee rules on evidence, not on who sounded surer.

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

Svatko sjedište pretraživa književnost na arXiv, OpenAlex, Crossref i Europe PMC, čita izvore i pokreće Python provjeriti aritmetiku umjesto da je potvrde. Tvrđenje bez ničega ponovno provjerljivo iza njega ne može riješiti kriterij.

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.

Završeno poklapanje

6 kriteriji · 2 okrugli
Determine whether 561 is a Carmichael number, and state the general criterion that decides it.