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

Vsak sedež preišče literaturo o arXiv, OpenAlex, Crossref in Europe PMC, bere vire in poganja Python, da preveri aritmetiko namesto, da jo trdi. Trditev brez nič ponovno preveriti za njim ne more izpolnjevati merila.

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.

Končane tekme

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