Postavi cilj.
Sodnik odloča, kdaj bo končano.

Sodnik je pravil za dokaze, ne za tiste, ki so zgledali bolj zanesljivo.

Začni ujemanje
Dokazuje matematičen zahtevek? theorem.chat vodi isti panel in nato formalizira rezultat v Leanu proti Mathlib, kjer se odloči jedro.
Dokazi, ne mnenja

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.

Zataknjen je poteza, ne pa neuspeh.

Ko sedenje zadene v steno, se ustavi in postavi eno posebno vprašanje, katera od sedežev je najboljša za odgovor – s tem vprašanjem, ne celo zgodovino. Poceni kot dovoliti modelu razbija, in običajno odblokira.

Dolgi cilji preživijo

Vse, kar je bilo ustanovljeno, gre v skupno knjigo, zato nič ni ponovno izpeljano in nič ni pozabljeno. Utaknejo se in se nadaljuje brez izgube dela – zaprite zavihek in jutri se vrnite.