Fixează scopul.
Un arbitru decide când se face.

Modelele argumentează, un arbitru reguli privind dovezile, nu cine suna mai sigur.

Pornește o potrivire
Provând o cerere matematică? theorem.chat rulează același panou și apoi formalizează rezultatul în Lean împotriva Mathlib, unde se decide krusale.
Dovezi, nu opinii

Fiecare scaun caută literatura pe arXiv, OpenAlex, Crossref și Europe PMC, citește sursele, și rulează Python pentru a verifica aritmetic în loc de a-l afirma. O afirmație cu nimic re-chelcareabil în spatele ei nu poate stabili un criteriu.

Încurcat este o mișcare, nu un eșec

Când un scaun loveşte un perete, opreşte şi o întreabă specifică la orice scaun este cel mai bine plasat să-l răspundă — cu doar această întrebare, nu întregul istorie. Mai ieftin decât să lase un model thrash, şi de obicei se deblocă.

Obiecte lungi supraviețuiesc

Totul stabilit merge într-un ghid comun, deci nimic nu este re-deridat și nimic nu este uitat. Se potrivește pauză și reluează fără a pierde munca — închide tab și întoarce mâine.