Postavite cilj.
Sudija odlučuje kada je to gotovo.

Sudija odlučuje na osnovu dokaza, a ne na osnovu toga ko je zvučao sigurnije.

Započnite meč
Dokazivanje matematičke tvrdnje? theorem.chat pokreće isti panel i onda formalizira rezultat u Lean protiv Mathlib, gdje kernel odlučuje.
Dokazi, a ne mišljenja

Svako sjedište traži literaturu na arXiv, OpenAlex, Crossref i Europe PMC, čita izvore, i pokreće Python da provjeri aritmetiku umjesto da je tvrdi. Tvrdnja bez ničeg što se može ponovno provjeriti iza nje ne može odrediti kriterij.

Zaglaviti je potez, a ne neuspjeh

Kad sjedalo udari u zid, zaustavlja se i daje jedno specifično pitanje onome sjedalu koje je najbolje pozicionirano da odgovori na njega - samo sa tim pitanjem, ne sa cijelom poviješću.

Dugi ciljevi preživljavaju

Sve što je uspostavljeno ide u zajedničku knjigu, tako da se ništa ne izrađuje i ništa se ne zaboravlja. Podudarnosti se pauziraju i nastavljaju bez gubitka posla - zatvorite karticu i vratite se sutra.